Противоречия Закон

Логический закон, утверждающий, что никакое высказывание не может быть истинным одновременно со своим отрицанием. В языке исчисления высказываний П. з. выражается формулой Эта формула выводима как в классическом, так и в интуиционистском исчислении высказываний. В. Н. Гришин.