Answer Happy

Natural deduction: State what is being done to each line to get
to the answer. Use assumption, material implication, DeMorgan's
Law, Double Negation, Simplification, Modus tollens, conjunction,
indirect proof, addition, disjunctive syllogism, exportation, and
or conditional proof.
Ex. 1. A → B
2. B → ~C
3. C v D
4. ~D
Answer: ~A
Therefore,
5. C
D.S. lines 3,4
6. A → ~C
H.S. lines 1,2
7. ~A
M.T. lines 5,6
Questions to answer:
A.
1. (A & ~B) v
(C & ~D)
2. D & E
3. ~(A ->B) ->
(E ->~F)
Answer: ~F
Therefore, ?
B.
1. (C v D) -> ~( E v F)
2. (C & G) v ~H
3. H
Answer: ~E
Therefore, ?