Question
Having trouble with these two
1.
1 ~J
2 (B ⊃ M) ⊃ (~J ⊃ B)
3 ~J ⊃ (B ⊃ M)
/ B
2.
1 ~L
2 V v (A v L)
3 (V v A) ⊃ ~V
/ A
1.
1 ~J
2 (B ⊃ M) ⊃ (~J ⊃ B)
3 ~J ⊃ (B ⊃ M)
/ B
2.
1 ~L
2 V v (A v L)
3 (V v A) ⊃ ~V
/ A