Difference between revisions of "Modus ponens"

From CS2800 wiki
 
Line 1: Line 1:
[[Category:Proof techniques]]
+
<noinclude>[[Category:Proof techniques]]</noinclude>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]]".
 

Latest revision as of 09:00, 28 May 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".