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

If P ⇒ Q and P are true, modus ponens allows concluding...

Choose one option.

Show answer
  • A. Q

Explanation

With \(P\Rightarrow Q\) and \(P\) true, modus ponens 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-002 →