Правило де Моргана

Правило де Моргана

Правило отрицания — применяется для построения отрицаний высказываний, содержащих кванторы, и имеет вид:

\lnot (\forall x)P(x) = (\exists x) \lnot P(x)
\lnot (\exists x)P(x) = (\forall x) \lnot P(x)

Правило отрицания называют также правилом де Моргана.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "Правило де Моргана" в других словарях:

  • Канон Ллойда-Моргана — известного также как «правило экономии» является одним из важнейших принципов зоопсихологии. Он гласит: …то или иное действие ни в коем случае нельзя интерпретировать как результат проявления какой либо высшей психической функции, если его можно… …   Википедия

  • Логические элементы — Логические элементы  устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого  «1» и низкого  «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… …   Википедия

  • Семантическая оптимизация запросов СУБД — процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие представлений; Преобразование подзапросов в …   Википедия

  • Предоптимизация запросов СУБД — Семантическая оптимизация запросов СУБД процесс валидации и преобразования синтаксического дерева запроса в форму, пригодную для дальнейших шагов оптимизации. На этой стадии выполняется: Преобразование запросов в каноническую форму; Раскрытие… …   Википедия

  • Федеральная резервная система США — (Federal Reserve System) Федеральная резервная система США это система банков, выполняющая роль центробанка США Федеральная резервная система США: предпосылки и история создания, закон о Федеральном Резерве, функции, Центробанк США, связи с ЦБ РФ …   Энциклопедия инвестора

  • Костюм эпохи Позднего Средневековья (Франция) — Костюм эпохи Позднего Средневековья выполнял во многом социальную функцию. Ношение платья в XIV XVI веках определялось понятием «луковицы», когда верхнее платье надевалось поверх нижнего, и количество слоёв зависело от социального статуса хозяина …   Википедия

  • ПЕРВОБЫТНООБЩИННЫЙ СТРОЙ — (общиннородовой, первобытно коммунистический) первая в истории человеческого общества социально экономич. формация. Охватывает, согласно общепринятым в марксистской науке представлениям, эпоху от возникновения человека и человеч. общества до… …   Советская историческая энциклопедия

  • УАЙТ —         (White) Лесли Элвин (1900 1975) амер. антрополог, культуролог. Первые годы студенч. жизни У. прошли в Луизиан. и Колумбийском ун тах, где он специализировался в психологии и философии. Написал магистерскую дис. по психологии под… …   Энциклопедия культурологии

  • Международная финансовая помощь — (International financial assistance) Международная финансовая помощь это помощь, которая предоставляется государствам при соблюдении определенных экономических условий Международная финансовая помощь государству предоставляется для развития… …   Энциклопедия инвестора

  • ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»