A rule of Inference in propositional logic, used to break up a conditional statement. Basically:
If P, Then Q.
~Q (Not Q)
Therefore, ~P.
If Socrates is a god, then he is immortal.
It is not the case that Socrates is immortal.
Therefore Socrates is not a god.
Often abbreviated to MT. Don't confuse with Denying the Antecedent.
Also see Modus Ponens and Hypothetical Syllogism
| 
