(M ⊃ N) ⊃ [(N ⊃ O) ⊃ (M ⊃ O)]
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) (M ⊃ N) ⊃ [(N ⊃ O) ⊃ (M ⊃ O)]
B) (M ⊃ N) ⊃ [(N ⊃ O) ⊃ M ]
C) (M ⊃ N) ⊃ (N ⊃ O)
D) M ⊃ N
E) M

Question

Quizplus · Accepted Answer

To prove the given well-formed formula (wff) as a logical truth in propositional logic (PL) using conditional proof, one typically assumes the antecedent of the main conditional statement. In this case, the antecedent is "M ⊃ N", which is exactly what option D states. This assumption allows us to derive the consequent through logical deductions.