modus tollens

modus tollens englanniksi

1. A valid form of argument in which the consequent of a conditional proposition is denied, thus implying the denial of the antecedent. Modus tollens has this form:

1. If P, then Q.

2. Not Q.

3. Therefore, not P.