ДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫ
- ДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫ
- ДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫ
-
законы исчисления высказываний и алгебры логики, выражающие нек-рые свойства отрицания, связанные в нек-рых случаях также с импликацией. В классич. исчислении высказываний они выражаются следующими формулами:
(здесь "-" -
знак отрицания, а "-> - знак импликации, т.е. логич. следования). Две последние из этих формул верны также и в интуиционистском исчислении высказываний (см. Интуиционистская
логика и Конструктивная логика). В классич. алгебре логики Д. о. з. выражаются следующими тождествами:
(здесь И - знак истины).
Содержательный общелогич.
смысл Д. о. з. состоит в том, что двойное
отрицание (т.е. повторенное два раза отрицание,
отрицание отрицания), грубо говоря, есть почти то же самое, что и
утверждение, равносильно последнему; хотя при более тонком анализе выясняется, что переход от двойного отрицания (нек-рого высказывания) к утверждению (того же высказывания) в общем случае является, в отличие от обратного перехода, в нек-ром смысле неконструктивным.
А. Кузнецов. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия.
Под редакцией Ф. В. Константинова.
1960—1970.
.
Полезное
Смотреть что такое "ДВОЙНОГО ОТРИЦАНИЯ ЗАКОНЫ" в других словарях:
Закон двойного отрицания — положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то А верно». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики высказываний закон двойного… … Википедия
Исключение двойного отрицания — Закон двойного отрицания положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то верно А». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики… … Википедия
Закон отрицания отрицания — Диалектическая логика в широком смысле есть философская наука, систематически развёрнутое изложение диалектики, понимаемой как логика (наука о мышлении) и теория познания объективного мира. В узком смысле, логическая дисциплина о формах… … Википедия
ОТРИЦАНИЕ — филос. категория, выражающая опре дел. тип отношения между двумя последоват. стадиями, состояниями развивающегося объекта. О. является необходимым моментом процесса развития. Диалектика в «...позитивное понимание существующего... включает … Философская энциклопедия
КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО — понятие логики (см. Умозаключение апагогическое). Философский энциклопедический словарь. 2010. КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — косвенное доказательство, при котором истинность тезиса обосновывается не прямо с помощью аргументов, а посредством антитезиса положения, противоречащего тезису. Показывая, что антитезис ложен, мы тем самым обосновываем истинность… … Философская энциклопедия
Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… … Википедия
Конъюнктивная нормальная форма — (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… … Википедия
Двойное отрицание — Закон двойного отрицания положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то верно А». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики… … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
(здесь "-" - знак отрицания, а "-> - знак импликации, т.е. логич. следования). Две последние из этих формул верны также и в интуиционистском исчислении высказываний (см. Интуиционистская логика и Конструктивная логика). В классич. алгебре логики Д. о. з. выражаются следующими тождествами:
(здесь И - знак истины).Содержательный общелогич. смысл Д. о. з. состоит в том, что двойное отрицание (т.е. повторенное два раза отрицание, отрицание отрицания), грубо говоря, есть почти то же самое, что и утверждение, равносильно последнему; хотя при более тонком анализе выясняется, что переход от двойного отрицания (нек-рого высказывания) к утверждению (того же высказывания) в общем случае является, в отличие от обратного перехода, в нек-ром смысле неконструктивным.А. Кузнецов. Москва.