Logic Lecture Notes - Validity & Soundness