[F ⊃ (G $ \lor $ H)] ⊃ [∼G ⊃ (F ⊃ H)]
Which of the following propositions is a proper assumption for conditional proof to prove that the above wff is a logical truth of PL?
A) [F ⊃ (G $ \lor $ H)] ⊃ [∼G ⊃ (F ⊃ H)]
B) [F ⊃ (G $ \lor $ H)] ⊃ (∼G ⊃ F)
C) [F ⊃ (G $ \lor $ H)] ⊃ ∼G
D) F ⊃ (G $ \lor $ H)
E) F

Question

Quizplus · Accepted Answer

Conditional proof requires assuming an antecedent in order to derive a consequent. In this case, the antecedent that can be assumed is the premise of the given wff, which is "F ⊃ (G $ \lor $ H)". Therefore, option D is the proper assumption for using conditional proof to prove the given wff. The other options do not include the entire premise and would not allow for a direct proof of the entire wff.

[F ⊃ (G ∨ \lor ∨ H)] ⊃ [∼G ⊃ (F ⊃ H)] Which of the (F

[F ⊃ (G $\lor$ H)] ⊃ [∼G ⊃ (F ⊃ H)]
Which of the (F