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