Condicional material
La implicación (también conocida como consecuencia lógica, implica o si... entonces) es una operación lógica. Es la relación entre enunciados que se mantiene cuando uno se "deduce" lógicamente de otro u otros.
Las implicaciones toman dos argumentos. Devuelve falso si y sólo si el primer término es verdadero y el segundo es falso.
Esto puede ser problemático, porque significa que de una proposición falsa puede seguirse cualquier cosa.
Ejemplos
A continuación se muestra una implicación (válida)
- Todos los humanos son mortales (mueren).
- Aristóteles es humano
- Por lo tanto, Aristóteles es mortal
Ahora mira las implicaciones Prometo que si estoy sano, vendré a clase. Hay cuatro posibilidades:
- Estoy sano y vengo a clase. He cumplido mi promesa.
- Estoy sano y no vengo a clase. No he cumplido mi promesa.
- No estoy sano, y sí vengo a clase. He cumplido mi promesa.
- No estoy sano y no vengo a clase. He cumplido mi promesa.
En el segundo escenario, la implicación prometida era falsa y la promesa se rompió.
