ARCHIVO ELEGIDO // FILE 00
Modus ponens
“Es el paso más directo de un condicional: se cumple la condición, así que sigue su consecuencia.”
01 / RESUMEN
En corto
La forma es: si A, entonces B; A; por tanto, B. En lógica clásica es una regla válida, siempre que el condicional y la afirmación de A se mantengan.
03 / ESCENA
En escena
Si la llave correcta gira, la puerta se abre. La llave correcta gira. Por tanto, la puerta se abre.
04 / LÍMITE
Hasta aquí
La regla no demuestra por sí sola que el primer condicional describa bien el mundo.
NOTA FINAL
Qué queda
Reconoce la forma, pero audita también el vínculo entre condición y consecuencia.