закон де моргана

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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.

Просмотров: 1714
Категория: Словари и энциклопедии » Философия » Словарь логики

Другие новости по теме:

"ЧТО ДЕЛАТЬ?"

“ИЛИ — ИЛИ”

“ЧТО ТАКОЕ ФИЛОСОФИЯ?”

«ФЕДОН», или «О душе»

«ФЕДР», или «О красоте»

«ЧТО ДЕЛАТЬ»

«ЧТО ТАКОЕ ДРУЗЬЯ НАРОДА И КАК ОНИ ВОЮЮТ ПРОТИВ СОЦИАЛДЕМОКРАТОВ»

АГАМА, или СИДДХАНТА

Велиар или Велиал

двойного отрицания закон

Закон «все или ничего» (all-or-none law)

закон двойного отрицания

ЗАКОНЫ ДЕ МОРГАНА

знание-как и знание-что

Или, Или. лама савахфани

ИМЕТЬ ИЛИ БЫТЬ?

МАРДУК или АЗАРУ

Моисеево пятикнижие, или закон

ОБ ИСТОЛКОВАНИИ, или Герменевтика

Полимния или Полигимния

ПРАКРИТИ, или прадхана

СМИРЕНИЕ, покорность-добродетель, которая может возникнуть от сознания, что совершенство

Что значит быть летучей мышью?

ЧТО ТАКОЕ ФИЛОСОФИЯ?

Эон или Эоны

закон де моргана
---

Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

Код для вставки на сайт или в блог:
Код для вставки в форум (BBCode):
Прямая ссылка на эту публикацию: