80-211 Spring 2003
Assignment #4
Due on Friday, February, 14th .
1. With just the 10 basic rules prove the following sequent:
(a) ~P→Q ├ P v Q
2. Prove the following sequents using either the 10 basic rules or derived rules (whenever a derived rule is used, the name or number from the book must be given).
(a) P & Q ├ P & (P ↔ Q)
(b) ├ ((P→Q)→P)→P
(c) ~Q ├ P→(Q→R)
(d)
(P & Q) → (R
v S) ├ (P→R) v (Q → S)
(e) ~(P v Q) v ~(~P v ~Q)
├ P↔Q
(f) ~Q ├ (P v Q)↔P
3. Do problems 1(e), 1(g) and 1(i) on page 73. Be
sure to state whether they are tautologous,
contingent or inconsistent.