Difference between revisions of "Modus ponens"

From CS2800 wiki
(Created page with "If you know "if <math>P</math> then <math>Q</math>", and you also know <math>P</math>, you can conclude <math>Q</math>. This technique is sometimes referred to as "...")
 
Line 1: Line 1:
 +
[[Category:Proof techniques]]
 +
 
If you know "[[if]] <math>P</math> [[then]] <math>Q</math>", and you also know <math>P</math>, you can conclude <math>Q</math>.  This technique is sometimes referred to as "[[modus ponens]]".
 
If you know "[[if]] <math>P</math> [[then]] <math>Q</math>", and you also know <math>P</math>, you can conclude <math>Q</math>.  This technique is sometimes referred to as "[[modus ponens]]".

Revision as of 19:17, 17 February 2018


If you know "if [math]P [/math] then [math]Q [/math]", and you also know [math]P [/math], you can conclude [math]Q [/math]. This technique is sometimes referred to as "modus ponens".