modus ponens (Q655742)
Jump to navigation
Jump to search
if X implies Y, and X is true, then Y is true
- modus ponendo ponens
- MP
- implication elimination
- affirming the antecedent
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | modus ponens |
if X implies Y, and X is true, then Y is true |
|
Statements
0 references
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(30 entries)
- arwiki قياس استثنائي
- bgwiki Модус поненс
- cawiki Modus ponendo ponens
- cswiki Modus ponens
- dawiki Modus ponens
- dewiki Modus ponens
- enwiki Modus ponens
- eswiki Modus ponendo ponens
- etwiki Modus ponens
- euwiki Modus ponendo ponens
- fawiki وضع مقدم
- frwiki Modus ponens
- hewiki מודוס פוננס
- hrwiki Modus ponens
- huwiki Modus ponens
- idwiki Modus ponens
- iswiki Jákvæð játunarregla
- itwiki Modus ponens
- jawiki モーダスポネンス
- kowiki 전건 긍정
- nlwiki Modus ponens
- plwiki Modus ponendo ponens
- ptwiki Modus ponens
- ruwiki Modus ponens
- simplewiki Modus ponens
- skwiki Modus ponens
- srwiki Модус поненс
- svwiki Modus ponens
- ukwiki Modus ponens
- zhwiki 肯定前件