общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюнкцию («или»). Названы именем англ. логика XIX в. А. де Моргана.
(законДеМоргана, распределительный закон для И, закон идемпотенции, операция переменной с её инверсией... (законДеМоргана, закон поглощения, распределительный закон для И).... (законДеМоргана, переместительный, операция с константами).
Упростим выражение: Рисунок 11.... (законДе Могргана, распределительный).... (правило деМоргана, выносим за скобки общий множитель, правило операций переменной с её инверсией).
В статье дается аксиоматика конечномерной геометрической структуры, использующая только отношение перпендикулярности. Эта структура оказывается проективным пространством, в котором выполняется геометрический аналог логических законов де Моргана. Указывается связь построения с аксиомой Веблена и разбиением на пары четырехэлементного множества различными способами. Исследование связано с теорией орторешеток, матроидами, связями Галуа и квантовой логикой.
Исчисление высказываний – это формальная теория, ориентированная на формализацию понятий логического закона... деМоргана.... ЗаконыдеМоргана устанавливают связь между парами логических операций при помощи отрицания:
отрицание... Различают полный закон контрапозиции, прямой и обратный законы контрапозиции.... Законы дистрибутивности. Также эти законы называются распределительными.
В данной работе формулируется задача и предлагается метод реконфигурации систем организационного управления на основе синтеза функциональной структуры, оказывающей влияние на облик всей системы, в значительной мере определяющей порядок ее функционирования, объединяющей в единое целое средства технического и математического, программного и информационного обеспечения. Цель исследования заключается в необходимости повышения эффективности управления организационными системами на основе комплексной разработки, внедрения и освоения средств автоматизированного управления ее элементами. Методы исследования. Для синтеза подобных структур применяются экспертные системы на основе декларативных языков программирования. В качестве инструмента для определения базы знаний об области реструктуризации структуры управления использовано вычисление выражений и язык логики предикатов, то есть математическая логика первого порядка. Тогда задачу реконфигурации иерархической структуры системы управления м...
один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.
