Modus tollens

if X implies Y, and Y isn't true, then neither is X From Wikipedia, the free encyclopedia

Remove ads

Modus tollendo tollens (Latin: the way that denies by denying)[1] is a valid, simple argument form in classical logic. It is referred to as denying the consequent. It is closely related to another valid form of argument, modus ponens or affirming the antecedent. Modus tollens is a very common rule of inference, and takes this form:

If P, then Q.
Not Q.
Therefore, not P.[2]

References

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads