Exercise · ZW-MODUS-PONENS-006 · ★★☆ Intermediate
The scheme of modus ponens is...
Choose one option.
Show answer
- D. P⇒Q, P; therefore Q
Explanation
The scheme is \(P\Rightarrow Q\), \(P\), therefore \(Q\): the antecedent is affirmed and the consequent concluded.
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-001 If P ⇒ Q and P are true, modus ponens allows concluding...
- ZW-MODUS-PONENS-002 Which is the correct form of modus ponens?
- ZW-MODUS-PONENS-003 Modus ponens needs as a premise an...
- ZW-MODUS-PONENS-004 From P ⇒ Q and ¬P, modus ponens allows concluding...
- ZW-MODUS-PONENS-005 Modus ponens is a rule of...
- ZW-MODUS-PONENS-007 If 'if it rains then I carry an umbrella' and it rains, you conclude...
- ZW-MODUS-PONENS-008 In modus ponens, the second premise asserts...
- ZW-MODUS-PONENS-009 Select the valid application of modus ponens.