1 J ⊃ (K ⊃ M)
2 $\lor$ ∼M
3 J

1. J ⊃ (K ⊃ M)
2. L $\lor$ ∼M
3. J $\lor$ (K • ∼L)
-Consider assuming 'J' for conditional proof. Which of the following propositions is an immediate (one-step) consequence in PL of the given premises with that further assumption for conditional proof?

A) K ⊃ M
B) K
C) M
D) K • ∼L
E) ∼L

Correct Answer:

Verified

Unlock this answer now
Get Access to more Verified Answers free of charge

Access For Free