FILE SELECTED // FILE 00
Modus Tollens
“Sometimes a missing consequence defeats the condition that was supposed to produce it.”
01 / SUMMARY
In short
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 / SCENE
In the wild
If the server is on, it answers the local health check. It does not answer. Under those premises, it is not on.
04 / LIMIT
The limit
The conclusion fails if the conditional allowed exceptions or the observation of not-B was faulty.
FINAL NOTE
What remains
Reason from an absent consequence only when it truly had to be present.