Modus ponens
From CS2800 wiki
Revision as of 19:17, 17 February 2018 by {{GENDER:Mdg39|'"7
If you know "if then ", and you also know , you can conclude . 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".
