Diferència entre revisions de la pàgina «Modus ponens»
De Wikisofia
(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...».) |
m (Text de reemplaçament - "inferència, regles de" a "inferència, regles d'") |
||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Expressió llatina que significa «manera que afirma» i que s'aplica a la [[inferència, regles | + | Expressió llatina que significa «manera que afirma» i que s'aplica a la [[inferència, regles d'|regla d'inferència]] de [[lògica|lògica d'enunciats]], que té el següent esquema: |
<center>[[File:2533.png|400px]]</center> | <center>[[File:2533.png|400px]]</center> | ||
Revisió del 23:20, 20 març 2015
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