10 likes | 78 Views
Dive deep into constructing CL5 proofs based on key formulas like ¬P∨(P∨P) and others from episodes 14 and 15. Enhance your logical skills and understanding effectively.
E N D
Homework 10 (July 19) Material covered: Episodes 14 and 15. Construct CL5-proofs of the following formulas: 1. P(PP) 2. (((PQ)U) (U(RS))) (((PR)W) (W(QS))) 3. (((PP)P) (P(PP))) (((PP)P) (P(PP)))