## You are here

Homemodus tollens

## Primary tabs

# modus tollens

The law of *modus tollens* is the inference rule which allows one to
conclude $\neg P$ from $P\Rightarrow Q$ and $\neg Q$. The name “modus
tollens” refers to the fact that this rule allows one to take away the
conclusion of a conditional statement and conclude the negation of the
condition. As an example of this rule, we may cite the following:

${{\hbox{If the postman is at the door, the doorbell will ring twice}\atop\hbox% {The bell is not ringing.}}\over\hbox{The postman is not at the door.}}$ |

The validity of this rule may be established by means of the following truth table:

$P$ | $Q$ | $P\Rightarrow Q$ | $\neg P$ | $\neg Q$ |
---|---|---|---|---|

F | F | T | T | T |

F | T | T | T | F |

T | F | F | F | T |

T | T | T | F | F |

This rule can be used to justify the popular technique of proof by contradiction. In this technique, one assumes a hypothesis $P$ and then derives a conclusion $Q$. This is tantamount to showing that $P\Rightarrow Q$. Next one demonstrates $\neg Q$. Applying modus tollens, one then concludes $\neg P$.

Type of Math Object:

Definition

Major Section:

Reference

Parent:

Groups audience:

## Mathematics Subject Classification

03B22*no label found*03B35

*no label found*03B05

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier