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