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