Exercise · ZW-MODUS-PONENS-010 · ★★☆ Intermediate
If P⇒Q and P are true, then Q is...
Choose one option.
Show answer
- D. True
Explanation
By modus ponens, with \(P\Rightarrow Q\) and \(P\) true, \(Q\) is true.
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-006 The scheme of modus ponens is...
- 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...