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 "...")
 
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
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]]".
+
<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]]".

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".