Modus ponens
De Wikisofia
La revisió el 01:01, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Expressió llatina que significa «manera que afirma» i que s'aplica a la regla d'inferència de lògica|lògica d'enun...».)
La revisió el 01:01, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} Expressió llatina que significa «manera que afirma» i que s'aplica a la regla d'inferència de lògica|lògica d'enun...».)
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