modus tollens

Summary

modus tollens is a theorem^[1]. It ranks in the top 6% of theorem entities by monthly Wikipedia readership (476 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 Freebase ID is recorded as /m/04s2j^[5].
• modus tollens's Encyclopædia Britannica Online ID is recorded as topic/modus-tollens^[6].
• modus tollens's Encyclopædia Britannica Online ID is recorded as topic/modus-ponens^[7].
• modus tollens's defining formula is recorded as \frac{P \to Q, \neg Q}{\therefore \neg P}^[8].
• modus tollens's defining formula is recorded as P\to Q, \neg Q \vdash \neg P^[9].
• modus tollens's MathWorld ID is recorded as ModusTollens^[10].
• modus tollens's JSTOR topic ID is recorded as modus-tollens^[11].
• modus tollens's maintained by WikiProject is recorded as WikiProject Mathematics^[12].
• modus tollens's Microsoft Academic ID is recorded as 134822415^[13].
• modus tollens's Treccani's Dizionario di Filosofia ID is recorded as modus-tollens^[14].
• modus tollens's Lex ID is recorded as modus_tollens^[15].
• modus tollens's Great Russian Encyclopedia portal ID is recorded as modus-tollens-47c61a^[16].

Why It Matters

modus tollens ranks in the top 6% of theorem entities by monthly Wikipedia readership (476 views/month).^[2] It has Wikipedia articles in 20 language editions, a strong signal of global cultural recognition.^[17] It is known by 13 alternative names across languages and contexts.^[18]