15_Logic_Truth Functional Proofs MP, S, C.ppt