Modus Ponens and Modus Tollens

These are common forms of deductive reasoning.