Modus ponens
De Wikisofia
La revisió el 11:55, 22 ago 2017 per Jaumeortola (discussió | contribucions) (bot: -veure exemple +veg. exemple)
La revisió el 11:55, 22 ago 2017 per Jaumeortola (discussió | contribucions) (bot: -veure exemple +veg. exemple)
Expressió llatina que significa «manera que afirma» i que s'aplica a la regla d'inferència de lògica d'enunciats, que té el següent esquema:
- Si dorm, Anna somia
- Anna dorm
- ____________________
- Anna somia