1. (G • I) ⊃ H
2. (I ⊃ H) ⊃ F
-Which of the following propositions is an immediate (one-step) consequence in PL of the given premises?
A) G ⊃ (I ⊃ H)
B) (G ⊃ I) ⊃ H
C) (I • H) ⊃ F
D) I ⊃ (H ⊃ F)
E) I ⊃ (H • F)

Question

Quizplus · Accepted Answer

A) G ⊃ (I ⊃ H) is an immediate consequence because it directly follows from the distribution of implication in the first premise, (G • I) ⊃ H, by applying the exportation rule which allows us to reframe conjunctions and implications.