modus tollens
if X implies Y, and Y isn't true, then neither is X
Press Enter · cited answer in seconds
0 sources
modus tollens
Summary
modus tollens is a theorem[1]. It ranks in the top 6% of theorem entities by monthly Wikipedia readership (3,454 views/month).[2]
Key Facts
- modus tollens's instance of is recorded as theorem[3].
- modus tollens's instance of is recorded as rule of inference[4].
- modus tollens's described by source is recorded as Q140169500[5].
- modus tollens's maintained by WikiProject is recorded as WikiProject Mathematics[6].
Body
Definition and Type
Recorded instance of include theorem[3] and rule of inference[4].
Why It Matters
modus tollens ranks in the top 6% of theorem entities by monthly Wikipedia readership (3,454 views/month).[2] It has Wikipedia articles in 20 language editions, a strong signal of global cultural recognition.[7] It is known by 21 alternative names across languages and contexts.[8]