Exercise · ZW-MODUS-PONENS-003 · ★☆☆ Basic

Modus ponens needs as a premise an...

Choose one option.

Show answer

Explanation

The key premise is an implication \(P\Rightarrow Q\), together with the affirmation of its antecedent.

Let \(P\) and \(Q\) be propositions. Modus ponens allows concluding \(Q\) from \(P\Rightarrow Q\) and \(P\).

\[\frac{P\Rightarrow Q,\quad P}{Q}\]