RationalWiki's 2019 Fundraiser

There is no RationalWiki without you. We are a small non-profit with no staff – we are hundreds of volunteers who document pseudoscience and crankery around the world every day. We will never allow ads because we must remain independent. We cannot rely on big donors with corresponding big agendas. We are not the largest website around, but we believe we play an important role in defending truth and objectivity.

If everyone who saw this today donated $5, we would meet our goal for 2019.

Fighting pseudoscience isn't free.
We are 100% user-supported! Help and donate $5, $20 or whatever you can today with PayPal Logo.png!

Donations so far: $4200Goal: $6000

Modus tollens

From RationalWiki
Jump to: navigation, search
Part of the series on
Logic and rhetoric
Icon logic.svg
Key articles
General logic
Bad logic

Modus tollens ("mode of taking") is a logical argument, or rule of inference. (Compare with modus ponens, or "mode of putting.")

As an argument[edit]

A modus tollens argument has the following form:


P1: If X, then Y.
P2: Not Y.
C1: Therefore, not X.

For example:


P1: If it is raining, the ground is wet.
P2: The ground is not wet.
C1: Therefore, it is not raining.

As a rule of inference[edit]

In propositional logic:

\left\{X\rightarrow Y,\neg Y\right\} \models \neg X

In first-order logic:

\models_{\mathfrak{A}}\forall x.\left(X(x)\rightarrow Y(x)\right) \wedge \models_{\mathfrak{A}}\exists x.\left(\neg Y(x)\right) \implies \models_{\mathfrak{A}}\exists x.\left(\neg X(x)\right)

See also[edit]

External links[edit]