modus ponens
if X implies Y, and X is true, then Y is true
Press Enter · cited answer in seconds
0 sources
modus ponens
Summary
modus ponens is a rule of inference[1]. It ranks in the top 8% of rule_of_inference entities by monthly Wikipedia readership (707 views/month).[2]
Key Facts
- modus ponens's instance of is recorded as rule of inference[3].
- modus ponens's subclass of is recorded as cut rule[4].
- modus ponens's Freebase ID is recorded as /m/04s21[5].
- modus ponens's Encyclopædia Britannica Online ID is recorded as topic/modus-ponens[6].
- modus ponens's defining formula is recorded as P \to Q,\; P\;\; \vdash\;\; Q[7].
- modus ponens's defining formula is recorded as \frac{P \to Q,\; P}{\therefore Q}[8].
- modus ponens's admissible rule in is recorded as classical logic[9].
- modus ponens's admissible rule in is recorded as intuitionistic logic[10].
- modus ponens's admissible rule in is recorded as minimal logic[11].
- modus ponens's MathWorld ID is recorded as ModusPonens[12].
- modus ponens's Quora topic ID is recorded as Modus-Ponens[13].
- modus ponens's nLab ID is recorded as modus ponens[14].
- modus ponens's maintained by WikiProject is recorded as WikiProject Mathematics[15].
- modus ponens's Microsoft Academic ID is recorded as 193885149[16].
- modus ponens's Encyclopedia of Mathematics article ID is recorded as Modus_ponens[17].
- modus ponens's Lex ID is recorded as modus_ponens[18].
- modus ponens's Treccani's Enciclopedia della Matematica ID is recorded as modus-ponens[19].
- modus ponens's Treccani's Dizionario delle Scienze Fisiche ID is recorded as modus-ponens[20].
- modus ponens's OpenAlex ID is recorded as C193885149[21].
- modus ponens's ScienceDirect topic ID is recorded as mathematics/modus-ponens[22].
- modus ponens's Encyclopedia of China is recorded as 106646[23].
- modus ponens's Great Russian Encyclopedia portal ID is recorded as modus-ponens-ee5dac[24].
- modus ponens's Metamath statement ID is recorded as ax-mp[25].
Why It Matters
modus ponens ranks in the top 8% of rule_of_inference entities by monthly Wikipedia readership (707 views/month).[2] It has Wikipedia articles in 21 language editions, a strong signal of global cultural recognition.[26] It is known by 25 alternative names across languages and contexts.[27]