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

Similar Questions

Natural Deduction Proof1. 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. 0 answers
a) Prove that (p ⊃ q) ⊃ [(p ⊃ ~q) ⊃ (p ⊃ r)] is a theorem by giving a proof in our natural deductionsystem
1. 0 answers
What is the truth about a 401k deduction?It is a contribution to the workers retirement account. It is subtracted from the gross
1. 1 answer
What is a true statement about a 401k deduction?It is a contribution to the workers retirement account It is subtracted from the
1. 1 answer