04_Logic_Validity and Soundness.ppt