Аксиоматическая логическая система, интерпретацией которой является алгебра высказываний
Ассоциативный закон
Бесконечные множества
Выводимость формул исчисления высказываний
Высказывание
Дизъюнктивная нормальная форма (ДНФ)
Исчисление высказываний
Кванторные операции
Коммутативный закон
Конечные множества
Конъюнктивная нормальная форма (КНФ)
Логические операции над предикатами
Многоместный предикат
Множество
Нормальные формы формул алгебры логики
Объединение множеств
Одноместный предикат
Операции над множествами
Пересечение множеств
Понятие предиката
Простое высказывание
Равносильные высказывания
Разность множеств
Символы исчисления высказываний (алфавит)
Сложное высказывание
Стадийный подход
Типы множеств
Формулы алгебры логики
Формулы исчисления высказываний
Элементарная дизъюнкция
Элементарная конъюнкция