В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов:
, где 
— литералы.
В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause).
 |
Wikimedia Foundation. 2010.
Элементарная конъюнкция — В логике высказываний элементарной конъюнкцией называется конъюнкция литералов: , где литералы. См. также Элементарная дизъюнкция Дизъюнктивная нормальная форма Конъюнктивная нормальная форма Ссылки … Википедия
Конъюнкт — В логике высказываний элементарной конъюнкцией называется конъюнкция литералов: , где li литералы. См. также Элементарная дизъюнкция Дизъюнктивная нормальная форма Конъюнктивная нормальная форма Ссылки … Википедия
СКНФ — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактиро … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
ЛОГИКА КЛАССОВ — раздел логики, в котором рассматриваются классы (множества) предметов, задаваемые характеристическими свойствами этих предметов (элементов классов). В совр. логике Л. к. может пониматься как «алгебра множеств», т. е. интерпретироваться… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
Математическая логика — (теоретическая логика, символическая логика) раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… … Википедия
Операция (математика) — У этого термина существуют и другие значения, см. Операция. Операция отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к… … Википедия
Дизъюнкт — В логике высказываний элементарной дизъюнкцией называется дизъюнкция литералов: , где li литералы. В англоязычной литературе для обозначения элементарной дизъюнкции используется термин клоз (англ. clause). См. также Элементарная конъюнкция ДНФ… … Википедия
