IDEA FOUND // IDEA 112
Modus Tollens
“Sometimes a missing consequence defeats the condition that was supposed to produce it.”
01 / PLAINLY
What it means, plainly
Modus tollens reasons that if A requires B and B did not happen, then A did not happen either. The conclusion relies on B truly being required.
02 / CONTEXT
A little more
The form is: if A, then B; not B; therefore not A. It is valid because B is necessary for A within the accepted conditional.
03 / WHY IT MATTERS
Why it matters
It lets you rule out hypotheses through signs that should be present, without treating every missing sign as a disproof.
04 / EXAMPLE
A familiar example
If the server is on, it answers the local health check. It does not answer. Under those premises, it is not on.
05 / LIMIT
What it does not mean
The conclusion fails if the conditional allowed exceptions or the observation of not-B was faulty.
06 / NOTICE
Notice it in your day
Imagine an alarm that always activates under one condition. Write what you would conclude if it stays off, then name the assumption you must verify.
FINAL NOTE
The idea worth keeping
Reason from an absent consequence only when it truly had to be present.
QUESTIONS / 02
Questions people still have
What is the pattern of modus tollens?
The complete pattern is: if A, then B; B does not occur; therefore A does not occur.
When can its real-world use go wrong?
When the conditional has exceptions or the absence of B was observed incorrectly.