Question

Natural Deduction Proof

1.

1 ~Y ⇒ ~L
2 W v ~Y
3 W ⇒ ~B
/ ~B v ~L

2.

1 ~U • (G = ~T)
2 (~U v D) ⇒ (W • ~R)
/ W • ~U

3.


1 (M ⇒ P) ⇒ ~P
2 H ⇒ P
3 M ⇒ H
/ ~H

4.

1 ~Z
2 S
3 Zv(S ⇒ H)
/ H