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 then ", and you also know , you can conclude . This technique is sometimes referred to as "modus ponens".
