8 відносини: Кон'юнктивна нормальна форма, Числення секвенцій, Математична логіка, Значення істинності, Булева алгебра, Диз'юнктивна нормальна форма, Логічний сполучник, Логіка першого порядку.
Кон'юнктивна нормальна форма
Кон'юнкти́вна норма́льна фо́рма (КНФ) в булевій логіці - нормальна форма в якій булева формула має вид кон'юнкції декількох диз'юнктів (де диз'юнктами називаються диз'юнкції декількох пропозиційних символів або їх заперечень).
Новинка!!: Основні проблеми числення висловлень і Кон'юнктивна нормальна форма · Побачити більше »
Числення секвенцій
Чи́слення секве́нцій — система формального виведення формул логіки першого порядку (і як часткового випадку логіки висловлень) запропонована німецьким логіком Генріхом Генценом.
Новинка!!: Основні проблеми числення висловлень і Числення секвенцій · Побачити більше »
Математична логіка
Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.
Новинка!!: Основні проблеми числення висловлень і Математична логіка · Побачити більше »
Значення істинності
Значення істинності (логічне значення) — в логіці та математиці, значення, що показує відношення висловлювання до істини.
Новинка!!: Основні проблеми числення висловлень і Значення істинності · Побачити більше »
Булева алгебра
Булева алгебра утворена підмножинами множини x,y,z Бу́лева а́лгебра — це алгебраїчна структура, що є доповненою дистрибутивною ґраткою, та частина математики яка вивчає подібні структури.
Новинка!!: Основні проблеми числення висловлень і Булева алгебра · Побачити більше »
Диз'юнктивна нормальна форма
Диз'юнкти́вна норма́льна фо́рма (ДНФ) в булевій логіці — нормальна форма в якій булева формула має вид диз'юнкції декількох кон'юнктів (де кон'юнктами називаються кон'юнкції декількох пропозиційних символів або їх заперечень).
Новинка!!: Основні проблеми числення висловлень і Диз'юнктивна нормальна форма · Побачити більше »
Логічний сполучник
Логі́чний сполу́чник – логічний термін, функція якого полягає в утворенні складних висловлювань.
Новинка!!: Основні проблеми числення висловлень і Логічний сполучник · Побачити більше »
Логіка першого порядку
Логіка першого порядку (числення предикатів) — це формальна система в математичній логіці, в якій допускаються висловлення відносно змінних, фіксованих функцій, і предикатів.
Новинка!!: Основні проблеми числення висловлень і Логіка першого порядку · Побачити більше »