Modus Ponens (MP)
Template
Sample argumentSymbolic Form
If Ted (r)ecovered then Ann (s)miled.
Ted recovered.
-----------------------
Ann smiled.
r > s
r
--------
s