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:

es.wikipedia.org · CC-BY-SA

In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other. Illustrating a general tendency in applied logic, Aristotle's law of noncontradiction states that "One cannot say of something that it is and that it is not in the same respect and at the same time." By extension, outside of classical logic, one can speak of contradictions between actions when one presumes that their motives contradict each other.

en.wikipedia.org · CC-BY-SA