Exercise · ZW-MODUS-PONENS-009 · ★★☆ Intermediate

Select the valid application of modus ponens.

Choose one option.

Show answer

Explanation

It is the only one with the form \(P\Rightarrow Q\), \(P\), hence \(Q\). The others affirm the consequent, use a disjunction, or deny the 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}\]