Modus Ponendo Tollens

Modus Ponendo Tollens
Modus ponendo tollens is a valid argument in types of logic dealing with conjunctions $\land$ and negation $\neg$.

This includes propositional logic and predicate logic, and in particular natural deduction.

Variants
The following forms can be used as variants of this theorem:

Also see

 * Definition:Conjunction

The following are related argument forms:
 * Modus Ponendo Ponens
 * Modus Tollendo Ponens
 * Modus Tollendo Tollens