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

If 'if it rains then I carry an umbrella' and it rains, you conclude...

Choose one option.

Show answer

Explanation

With the rule 'if it rains, I carry an umbrella' and rain, one concludes I carry an umbrella.

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

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