" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПРОТИВОРЕЧИЯ ЗАКОН

Значение ПРОТИВОРЕЧИЯ ЗАКОН в математической энциклопедии:

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

В. Н. Гришин.