Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Expresión latina que significa «modo que afirma» y que se aplica a la regla de inferencia de lógica de enunciados, que tiene el siguiente esquema:
- Si duerme, Ana sueña
- Ana duerme
- ____________________
- Ana sueña