Relacin de incompatibilidad o contrariedad: dos formas de enunciado son incompatibles o

contrarias si no resultan ambas simultneamente verdaderas, cualquiera sea la combinacin de valores

de verdad asignada a las variables proposicionales que las componen.
Relacin de contradictoriedad: dos formas de enunciado son contradictorias si no resultan ambas
verdaderas ni tampoco ambas falsas, cualquiera sea la combinacin de valores de verdad asignada a
las variables proposicionales que las componen.
Relacin de implicacin lgica: una forma de enunciado A implica lgicamente otra forma B si no
sucede que A sea verdadera y B falsa en ninguna combinacin posible de valores de verdad asignada a
las variables proposicionales de A y B.
Relacin de deducibilidad: una forma de enunciado A se deduce de otra forma B si no sucede que A
sea falsa y B verdadera en ninguna combinacin posible de valores de verdad asignada a las variables
proposicionales de A y B.
Equivalencia lgica: Dos enunciados son lgicamente equivalentes cuando el enunciado de la
equivalencia es una tautologa. Como en p ~ ~ p:
p

~~p p ~~p