Философская Энциклопедия (в 5 томах)

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

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

  1. двойного отрицания закон—логический принцип согласно крому если неверно что неверно Аi то верно Л. Д. о. з. наз. также законом снятия двойного отрицания. В формализованном языке логики высказыван...Математическая энциклопедия
  2. двойного отрицания закон—падвойнага адмалення закон...Русско-белорусский математический словарь
  3. двойного отрицания закон—см. Закон двойного отрицания....Словарь логики
  4. двойного отрицания закон—ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН см. Закон двойного отрицанияi....Словарь по логике