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

From P ⇒ Q and ¬P, modus ponens allows concluding...

Choose one option.

Show answer
  • B. Nothing about Q through that rule

Explanation

From \(P\Rightarrow Q\) and \(\neg P\), modus ponens allows no conclusion about \(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-003 ZW-MODUS-PONENS-005 →