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