Ley de la contradicción

La ley de la contradicción ( la ley de la no contradicción ) es la ley de la lógica , que establece que dos proposiciones incompatibles ( contradictorias u opuestas ) no pueden ser verdaderas al mismo tiempo, al menos una de ellas es falsa [1] .

Notación matemática en forma de fórmula que siempre tiene un valor falso [2] :

dónde:

• " " - signo de conjunción (Y);
• " " es un signo de negación .

La ley de la contradicción es la ley lógica fundamental sobre la que se construyen todas las matemáticas modernas . Su negación es una tautología de la lógica clásica , así como de la mayoría de las lógicas no clásicas , incluida la lógica intuicionista . Sin embargo, hay sistemas lógicos no triviales en los que no se respeta, por ejemplo, la lógica de Kleene .

Véase también

• prueba por contradicción

Notas

1. ↑ Kirillov V. I., Starchenko A. A. Lógica: un libro de texto para facultades de derecho.
2. ↑ Edelman, 1975 , pág. 21

Literatura

• Edelman S. L. Lógica matemática. - M. : Escuela superior, 1975. - 176 p.

diccionarios y enciclopedias	gran ruso Britannica (en línea)