Glosario Lógica / Término

Contradicción

Sentencia del lenguaje formal para la que no existe ninguna interpretación que la haga verdadera. Es contradicción si, y sólo si, no existe ninguna situación en la que sea verdadero.


(1) Una contradicción es la conjunción de cualquier proposición con su negación. (2) También es la negación de una tautología; es decir, una contradicción es una fbf que es falsa para cualquiera de sus posibles interpretaciones (i.e. su tabla de verdad sólo tiene Fs o ceros en la columna correspondiente a la conectiva principal). Los enunciados contradictorios se dice que son insatisfacibles. (Véase contingencia, insatisfacibilidad, tautología).

Enlace permanente: Contradicción - Fecha de actualización: 2019-04-17 - Fecha de creación: 2018-11-14


< Contingente Glosario Lógica Contradicción, Principio de >

Glosarios especializados

Este sitio web es posible gracias a que muestra publicidad en línea a sus visitantes.
Por favor, ayude a que pueda seguir existiendo deshabilitando su bloqueador de anuncios (adblocker).
Muchas gracias.