Logical Validity And Soundness Practice