Implicación

Se trata de otra forma de expresar las implicaciones. Las frases siguientes tienen el mismo sentido:

• ;

• para que sea verdadera, es necesario que sea verdadera;

• es una condición necesaria para que ;

• para que sea verdadera, basta que sea verdadera;

• es una condición suficiente para que

La misma implicación puede entonces escribirse

• ya sea como una condición suficiente, "para que la conclusión sea verdadera, basta que la hipótesis sea verdadera",

• ya sea como una condición necesaria, "para que la hipótesis sea verdadera, es necesario que la conclusión sea verdadera".