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 (2,068 views/month).[2]
Key Facts
- modus ponens's instance of is recorded as rule of inference[3].
- modus ponens is a type of cut rule[4].
- modus ponens's admissible rule in is recorded as classical logic[5].
- modus ponens's admissible rule in is recorded as intuitionistic logic[6].
- modus ponens's admissible rule in is recorded as minimal logic[7].
- modus ponens's maintained by WikiProject is recorded as WikiProject Mathematics[8].
Body
Definition and Type
modus ponens's instance of is recorded as rule of inference[3]. It is a type of cut rule[4].
Why It Matters
modus ponens ranks in the top 8% of rule_of_inference entities by monthly Wikipedia readership (2,068 views/month).[2] It has Wikipedia articles in 21 language editions, a strong signal of global cultural recognition.[9] It is known by 25 alternative names across languages and contexts.[10]