Кон’юнктивна система

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

Булеві вирази — Теоретично дискретних функціональних систем булевої функцією називають функцію типу , де бульова безліч, а n невід'ємне ціле число, яке називають арністю або місцевістю функції. Елементи 1 (одиниця) та 0 (нуль) стандартно інтерпретують… … Вікіпедія

Логіка висловлювань — Для покращення цієї статті бажано?: Проставивши виноски, внести точніші вказівки на джерела. Логіка висловлювань (чи … Вікіпедія

Обчислення висловлювань — Логіка висловлювань (або пропозиційна логіка) це формальна теорія, основним об'єктом якої є поняття логічного висловлювання. З погляду виразності, її можна охарактеризувати як класичну логіку нульового порядку.

Пропозиційна логіка - Логіка висловлювань (або пропозиційна логіка) це формальна теорія, основним об'єктом якої є поняття логічного висловлювання. З погляду виразності, її можна охарактеризувати як класичну логіку нульового порядку.