Sentido de la implicación
Se puede considerar que las frases siguientes tienen el mismo sentido:
si la proposición
es verdadera, entonces la proposición
es verdadera,
si
entonces
implica
El sentido de la frase formal
es éste: o bien
es falso o bien
y
son verdaderos al mismo tiempo.
Atención :
La proposición Si
entonces
no dice que la hipótesis
es verdadera; ella dice solamente que si la hipótesis
es verdadera, entonces la conclusión
lo es también. Esto se expresa entonces con la ayuda de los símbolos de conjunción y de disyunción por una u otra de las frases siguientes:
Las fórmulas siguientes son entonces equivalentes:
