ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН

ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН, см.: Закон двойного отрицания.


Смотреть больше слов в «Словаре по логике»

ДВУЗНАЧНАЯ ЛОГИКА →← ГОМОМОРФИЗМ, ИЗОМОРФИЗМ

Смотреть что такое ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН в других словарях:

ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН

- логический принцип, согласно к-рому "если неверно, что неверно А, то верно Л". Д. о. з. наз. также законом снятия двойного отрицания. В формализован... смотреть

ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН

законы исчисления высказываний и алгебры логики, выражающие нек-рые свойства отрицания, связанные в нек-рых случаях также с импликацией. В классич. исчислении высказываний они выражаются следующими формулами: (здесь "-" - знак отрицания, а "-> - знак импликации, т.е. логич. следования). Две последние из этих формул верны также и в интуиционистском исчислении высказываний (см. Интуиционистская логика и Конструктивная логика). В классич. алгебре логики Д. о. з. выражаются следующими тождествами: (здесь И - знак истины). Содержательный общелогич. смысл Д. о. з. состоит в том, что двойное отрицание (т.е. повторенное два раза отрицание, отрицание отрицания), грубо говоря, есть почти то же самое, что и утверждение, равносильно последнему; хотя при более тонком анализе выясняется, что переход от двойного отрицания (нек-рого высказывания) к утверждению (того же высказывания) в общем случае является, в отличие от обратного перехода, в нек-ром смысле неконструктивным. А. Кузнецов. Москва. ... смотреть

ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН

см.: Закон двойного отрицания.

ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН

падвойнага адмаўлення закон

T: 195