IDEA ENCONTRADA // IDEA 111
Modus ponens
“Es el paso más directo de un condicional: se cumple la condición, así que sigue su consecuencia.”
01 / DIRECTO
Qué significa, sin vueltas
Modus ponens usa la forma: si ocurre A, ocurre B; ocurre A; entonces ocurre B. Es una regla válida de la lógica clásica.
02 / CONTEXTO
Un poco más
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 / UTILIDAD
Por qué importa
Reconocer esta forma ayuda a seguir instrucciones, revisar explicaciones y distinguir un paso lógico correcto de una premisa dudosa.
04 / EJEMPLO
Un ejemplo cercano
Si la llave correcta gira, la puerta se abre. La llave correcta gira. Por tanto, la puerta se abre.
05 / LÍMITE
Lo que no significa
La regla no demuestra por sí sola que el primer condicional describa bien el mundo.
06 / OBSERVA
Míralo en tu día
Completa este esquema con una situación cotidiana: si A, entonces B; A; por tanto, B. Luego pregunta qué prueba el primer enunciado.
NOTA FINAL
La idea que conviene guardar
Reconoce la forma, pero audita también el vínculo entre condición y consecuencia.
DUDAS / 02
Preguntas que suelen quedar
¿Cuál es la forma de modus ponens?
La forma completa es: si A, entonces B; ocurre A; por tanto, ocurre B.
¿La regla prueba que ‘si A, entonces B’ es cierto?
No. Solo muestra qué conclusión sigue si aceptas ese condicional y A.