1 (E $\lor$ F) ⊃ G
2

1. (E $\lor$ F) ⊃ G
2. J ⊃ (G ⊃ H)
3. ∼(I ⊃ ∼E)
-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) (J ⊃ G) ⊃ H
B) ∼I ⊃ ∼∼E
C) E ⊃ (F ⊃ G)
D) All of the above
E) None of the above

Correct Answer:

Verified

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

Access For Free