Logical Validity and Soundness