CONSECUENCIA

* Decimos que un enunciado es consecuencia de un conjunto de enunciados que sirven de hipótesis si, y sólo si, no existe ninguna situación en la que cada una de las hipótesis sea verdadera y la conclusión sea falsa; es decir, cuando el conjunto formado por las hipótesis y la negación de la conclusión sea inconsistente. (ingl.: Consequence)

CONSISTENCIA

* Decimos que un conjunto de enunciados es consistente cuando existe al menos una situación que los hace simultáneamente verdaderos. (ingl: Consistency)

CONTINGENTE

* Decimos que un enunciado es contingente cuando no es una tautología ni una contradicción, o lo que es lo mismo, cuando es verdadero en algunas situaciones y falso en otras. (ingl.: Contingente sentence)

CONTRADICCIÓN

* Decimos que un enunciado es una contradicción si, y sólo si, no existe ninguna situación en la que el enunciado sea verdadero. (ingl.: Contradiction)