WEEK 3 :: Homework

Using ∃LOGIC construct annotated derivations showing that the following arguments are valid.


1:3 ¬P. (Q→P) ∴ ¬Q

1:4 ¬¬(P→Q). P ∴ Q

1:5 P. (R→¬Q). (P→Q) ∴ ¬R

1:9 (R→Q). (R→¬Q) ∴ ¬R

1:10 (P→(Q→¬R)). Q ∴ (P→¬R)

1:12 (P→¬P) ∴ ¬P

1:13 (T→¬P). (¬T→¬P) ∴ ¬P

1:14 (T→(P→Q)). ¬(P→Q) ∴ ¬T

1:18 (P→(Q→R)). (P→(R→S)) ∴ (P→(Q→S))

1:19 (¬P→Q). (P→Q) ∴ Q

   

http://www.elogic.brianrabern.net/