El
principio de no contradicción, o a veces llamado
principio de contradicción, es un
principio clásico de la
lógica y la
filosofía, según el cual una
proposición y su negación no pueden ser ambas verdaderas al mismo tiempo y en el mismo sentido. El principio también tiene una versión
ontológica: nada puede ser y no ser al mismo tiempo y en el mismo sentido; y una versión
doxástica: nadie puede creer al mismo tiempo y en el mismo sentido una proposición y su negación. El principio de no contradicción es, junto con el
principio de identidad y el
principio del tercero excluido, una de las leyes clásicas del pensamiento lógico.