E ⊃ (F ⊃ E)
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) E ⊃ (F ⊃ E)
B) E ⊃ F
C) E

Question

Quizplus · Accepted Answer

To prove the conditional statement E ⊃ (F ⊃ E) as a logical truth using conditional proof, we assume E as the antecedent and try to show that the consequent (F ⊃ E) must be true. Therefore, the assumption E is required for the proof. Option A is the statement we are trying to prove, so it cannot be assumed. Option B is not necessarily true and does not help us prove the original statement.