Diferència entre revisions de la pàgina «Modus ponens»
De Wikisofia
m (Text de reemplaçament - "inferència, regles de" a "inferència, regles d'") |
m (bot: -veure exemple +veg. exemple) |
||
| Línia 5: | Línia 5: | ||
<div class='mw-collapsible mw-collapsed'> | <div class='mw-collapsible mw-collapsed'> | ||
| − | <center>''' | + | <center>'''veg. exemple ↓'''</center> |
<div class="mw-collapsible-content"> | <div class="mw-collapsible-content"> | ||
:Si dorm, Anna somia | :Si dorm, Anna somia | ||
Revisió de 11:55, 22 ago 2017
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