Practice Questions for Test 1: MP, MT, and DN

A.

1. (A>~B)>(C>(~D>E))
2. A>(A>~B)
3. A
4. ~(~D>E)
5. ~~~C>E     /:. E

B. There are two ways to solve this prove. One short and one long. Both are correct.

1. ~(~P>~Q)>~(R>S)
2. ~(R>S)>P
3. R>~P
4. R
5. ~Q>~R     /:. P

C.

1. A>(B>~C)
2. A
3. C
4. ~D>B
5. D>(A>F)    /:. F

D. 

1. ~(P>(~R>~S))>(~R>~S)
2. (~R>~S)>~(P>~S)
3. ~(P>~S)>T
4. ~T
5. ~T>P
6. P>S       /:. R