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