Contradicción

De Wikipedia, la enciclopedia libre
(Redirigido desde «Contradictorio»)
Saltar a: navegación, búsqueda
Contradicción
Venn0000.svg
Diagrama de Venn de
Venn 0000 0000.svg
Diagrama de Venn de
Nomenclatura
Lenguaje formal
Operador booleano
Operador de conjuntos
Puerta Lógica
Tabla de verdad

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena, pero llueve y truena» expresan contradicciones.

En lógica proposicional, una contradicción se define como una fórmula que resulta falsa para cualquier interpretación, es decir para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas. Por ejemplo, la siguiente tabla demuestra una contradicción:

Dada esta definición, toda contradicción es la negación de una tautología, y toda tautología es la negación de una contradicción. Siguiendo el ejemplo anterior, al negar la contradicción obtenemos una tautología:

Véase también[editar]

Notas y referencias[editar]