Contradicción lógica

Contradicción lógica. Una fórmula [v fórmula bien formada] o enunciado molecular [v] o compuesta es una contradicción si y sólo si, al realizar la combinación de los valores veritativos de sus proposiciones atómicas [v] o simples componentes, el resultado de valores de su conectivo principal es en todos los casos falsa. Es importante señalar que existe una prueba de la consistencia de las premisas [v]; ya que de un conjunto de premisas inconsistentes puede deducirse cualquier fórmula.

Ejemplo:

                          p  & -p           p  <--> -p

                          v   f   f             v     f      f

                          f    f  v             f      f      v