1. (ii) ((QP)P)(P(PQ))
Homework 7 (June 21)
Material covered: Slides ,
Make sure you understand and remember what Theorems b say.
Construct CL5-proofs of the following formulas.
(i) P(PP)
(ii) ((QP)P)(P(PQ))
Remember the meanings of the following terms from Slide 14.2: elementary formula; literal; surface occurrence; elementarization; stable.
What is the elementarization of the formula ((p⊓Q)p)  ((P⊔Q)P)  z(⊓x⊔yR(x,y,z)  xy(y=g(x,z))) ?
Make sure you understand and remember the four rules of CL4.
Construct CL4-proofs of the following formulas:
PP
P(P⊓P)
xy(y=f(x))