1. F ⊃ [(G $ \lor $ H) ⊃ I]
-Consider assuming 'F' 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) G $ \lor $ H
B) (G $ \lor $ H) ⊃ I
C) [F • (G $ \lor $ H)] ⊃ I
D) All of the above
E) Options B and C, but not option A

Question

Quizplus · Accepted Answer

The Answer of 1. F ⊃ [(G $ \lor $ H) ⊃ I]
-Consider assuming 'F' 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) G $ \lor $ H
B) (G $ \lor $ H) ⊃ I
C) [F • (G $ \lor $ H)] ⊃ I
D) All of the above
E) Options B and C, but not option A

1 F ⊃ [(G ∨ \lor ∨ H) ⊃ I] -Consider Assuming 'F' for Conditional Proof

1 F ⊃ [(G $\lor$ H) ⊃ I]
-Consider Assuming 'F' for Conditional Proof