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

Which is the correct form of modus ponens?

Choose one option.

Show answer
  • D. P ⇒ Q, P; therefore Q

Explanation

The correct form takes \(P\Rightarrow Q\) and \(P\) as premises and concludes \(Q\).

Open the ZWMath map →

Review the concept: Modus ponens

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

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

More practice problems: modus ponens

← ZW-MODUS-PONENS-001 ZW-MODUS-PONENS-003 →