Natural Deduction Proof Help?
Having trouble with these two
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
Having trouble with these two
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