Answers to quiz 7

Note: I will be using ">" to represent the horseshoe and "//" to represent the conclusion. There is more than one way of correctly proving these conclusions.

1) ~(C v D)
2) ~A > C
3) ~(A • T) // ~T
4) ~C • ~D 1 DEM
5) ~C 4 SIMP
6) ~~A 2,5 MT
7) ~A v ~T 3 DEM
8) ~T 6,7 DS

1) (A v B) > ~(C v D)
2) (A • E) v F
3) ~F // ~D
4) A • E 2,3 DS
5) A 4 SIMP
6) A v B 5 ADD
7) ~(C v D) 1,6 MP
8) ~C • ~D 7 DEM
9) ~D 8 SIMP

Return to Handouts page.