Exercise · ZW-MODUS-PONENS-011 · ★★★ Advanced

Given \(P\Rightarrow Q\), \(Q\Rightarrow R\) and \(P\), applying modus ponens twice one concludes...

Choose one option.

Show answer
  • C. \(R\)

Explanation

First, from \(P\) and \(P\Rightarrow Q\) one gets \(Q\); then, from \(Q\) and \(Q\Rightarrow R\) one gets \(R\).

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-010