Modus Tollens (MT)

Template
Sample argument	Symbolic Form
If Ted (r)ecovered then Ann (s)miled. Ann did not smile. ----------------------- Ted did not recover.	r > s ~s -------- ~r