# modus tolens

Modus Tolens

A logical argument of the form shown below. This is essentially the argument employed in proof by contradiction.