Accions

Modus ponens

De Wikisofia

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:

2533.png
veg. exemple ↓
Si dorm, Anna somia
Anna dorm
____________________
Anna somia