80-211 Spring 2003
Homework #1
Due on Friday, January 24th.
1. Complete the following sentence: “A pattern of
argument is invalid whenever…”
2. Show that the following sequents are invalid patterns of argument by finding actual propositions for P and Q such that the assumptions are true and the conclusion is false.
(a) P® Q, Q ├ P
(b) P® ~Q , ~P ├ Q
3. Explain why the strategy used to show the invalidity of the sequents in problem 2 cannot be used to show validity.
4. Prove the following sequents using rules A, MPP, MTT, DN and CP:
(a) P→ ~ ~Q, P ├ Q
(b) P → Q ├ ~Q → ~P
(c) P→Q, Q→R ├ P→ R
(d) P→(Q→R) ├
(P→Q)→(P→R)
(e) P ├
(P→Q)→Q
(f) ~P ├
(~(Q→R)→P) → (~R→~Q)