Rules of inference

III. Use the eighteen rules of inference to derive the conclusion of the following symbolized arguments.

3. 1. G ⊃ E 2. ~(F•F) /~T

Below is the answer to my question from 7.3, section III, number 5:

1. H ⊃ ~A
2. A / ~(Hv ~A)
3. ~~ A 2, DN
4. ~H 1,3, MT
5. ~H 3, 4, Conj
6. ~(Hv ~A) 5,DM

Sample Solution