Professional Documents
Culture Documents
(PQ)
Add a case to the proof of metatheorem 6.3.1 that the resulting proof
system is sound. (Note: you are not being asked to prove that this
is an acceptable derived rule by producing a derivation it abbreviates.
Add a case to the proof of 6.3.1)
1
3. Prove that if is a maximally consistent in SD set of sentences of SL
then:
(P & Q)
if and only if:
P and Q