Modus ponens
From CS2800 wiki
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".
