Элементарная дизъюнкция

Элементарная дизъюнкция

В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов:

l_1 \lor \cdots \lor l_n, где l_i — литералы.

В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause).

См. также

Ссылки



Wikimedia Foundation. 2010.

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

Смотреть что такое "Элементарная дизъюнкция" в других словарях:

  • Элементарная конъюнкция — В логике высказываний элементарной конъюнкцией называется конъюнкция литералов: , где   литералы. См. также Элементарная дизъюнкция Дизъюнктивная нормальная форма Конъюнктивная нормальная форма Ссылки …   Википедия

  • Конъюнкт — В логике высказываний элементарной конъюнкцией называется конъюнкция литералов: , где li литералы. См. также Элементарная дизъюнкция Дизъюнктивная нормальная форма Конъюнктивная нормальная форма Ссылки …   Википедия

  • СКНФ — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактиро …   Википедия

  • Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ЛОГИКА КЛАССОВ —         раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… …   Философская энциклопедия

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

  • Математическая логика — (теоретическая логика, символическая логика)  раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… …   Википедия

  • Операция (математика) — У этого термина существуют и другие значения, см. Операция. Операция  отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к… …   Википедия

  • Дизъюнкт — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где li литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная конъюнкция ДНФ… …   Википедия


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

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