Logical Validity And Soundness Definition