Validity And Soundness In Logic