Математическая энциклопедия - противоречия закон

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

В. Н. Гришин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985