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 (bot: -veure exemple +veg. exemple) |
||
| (Una revisió intermèdia per un altre usuari que no es mostra) | |||
| 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> | ||
<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