¿Cómo es?
El primer paso para poder formalizar correctamente las condiciones es saberlas distinguir entre condición necesaria (Expresan que algo es una condición suficiente para otra cosa) y condiciones necesaria (Aquellas que expresan que algo es una condición necesaria para otra cosa). Después, hay que tener claro el significado que la lógica de enunciados otorga a la conectiva “→”.
Ninguna frase con el significado ‘A es necesario para B’ puede ser formalizada A → B porque ‘A es necesario para B’ no es lo mismo que ‘A es suficiente para B’. Sin embargo, ‘A es necesario para B’ puede ser expresado en términos de una condición suficiente, de una de estas dos formas:
-
Cuando decimos que ‘A es necesario para B’ expresamos que ‘sin A no se tiene B’ o, lo que es lo mismo, que la ausencia de A es suficiente para la ausencia de B’. Esto nos lleva a la formalización siguiente:
⌐A -> ⌐B -
Cuando decimos que ‘A es necesario para B’ expresamos que ‘la presencia de B es suficiente para la presencia de A’ (si ‘A es necesario para B’, es seguro que cuando se dé B, también se dará lo que es necesario para tenerlo, es decir, Esto nos lleva a la formalización:
B -> A
Lo que la implicación no expresa
-
Relaciones causa-efecto: A → B no permite afirmar ni que A sea la causa de B, ni que no lo sea. Tampoco permite afirmar que B sea la causa de A, ni lo contrario.
-
Relaciones temporales: A → B no permite afirmar que A preceda en el tiempo a B. Sin embargo, tampoco permite afirmar lo contrario.
Partes de una condición
La parte izquierda de una implicación se denomina antecedente y la parte derecha consecuente.