Contradicción
Una contradicción es cuando hay dos o más afirmaciones que no pueden ser todas verdaderas al mismo tiempo.
Una historia que muestra lo que es una contradicción proviene de China. En esta historia, hay un comerciante que vende tanto lanzas como escudos. Dice que sus lanzas son tan afiladas que pueden atravesar cualquier escudo. Al mismo tiempo, dice que sus escudos son tan fuertes que pueden bloquear cualquier lanza. Esto es una contradicción porque estas dos afirmaciones no pueden ser ciertas. O la lanza rompe el escudo o el escudo bloquea la lanza, pero no ambas cosas. Por esta razón, la palabra para contradicción en chino es máodùn (矛盾), que significa literalmente "lanza y escudo".
En la lógica de Aristóteles se dice que dos proposiciones contradictorias no pueden ser ambas verdaderas. Por ejemplo, las proposiciones "A es B" y "A no es B" se excluyen mutuamente. Por ejemplo, las afirmaciones "el Papa es católico" y "el Papa no es católico" no pueden ser ambas verdaderas. Sólo una de las afirmaciones, y no la otra, es verdadera.
Preguntas y respuestas
P: ¿Qué es una contradicción?
R: Una contradicción es cuando hay dos o más afirmaciones que no pueden ser todas verdaderas al mismo tiempo.
P: ¿Qué es una afirmación autocontradictoria?
R: Un enunciado autocontradictorio es un enunciado que denota una contradicción en lógica y a veces se denota con el símbolo "⊥" o "0".
P: ¿Puede una lanza atravesar cualquier escudo y un escudo bloquear cualquier lanza al mismo tiempo?
R: No, se trata de una contradicción porque estas dos afirmaciones no pueden ser ambas verdaderas.
P: ¿Cuál es la palabra para contradicción en chino?
R: La palabra para contradicción en chino es máodùn (矛盾), que significa literalmente "lanza y escudo".
P: Según la lógica de Aristóteles, ¿pueden dos proposiciones contradictorias ser ambas verdaderas?
R: No, dos proposiciones contradictorias no pueden ser ambas verdaderas.
P: ¿Se excluyen mutuamente los enunciados "A es B" y "A no es B"?
R: Sí, las afirmaciones "A es B" y "A no es B" son mutuamente excluyentes, lo que significa que sólo una, y no las dos, puede ser verdadera.
P: ¿Pueden ser verdaderas tanto "el Papa es católico" como "el Papa no es católico"?
R: No, sólo una de las afirmaciones, y no la otra, es verdadera.
