III. Use the eighteen rules of inference to derive the conclusion of the following symbolized arguments.
- 1. G ⊃ E 2. ~(F•F) /~T
Below is the answer to my question from 7.3, section III, number 5:
- H ⊃ ~A
- A / ~(Hv ~A)
- ~~ A 2, DN
- ~H 1,3, MT
- ~H 3, 4, Conj
- ~(Hv ~A) 5,DM
Sample Solution