Modus ponens
De Wikisofia
La revisió el 23:20, 20 març 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "inferència, regles de" a "inferència, regles d'")
La revisió el 23:20, 20 març 2015 per Jorcor (discussió | contribucions) (Text de reemplaçament - "inferència, regles de" a "inferència, regles d'")
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