Категория:Исчисление высказываний

Основная статья для этой категории - Пропозициональное исчисление.

Пропозициональная логика (также называемая сентенциальной логикой) относится к форме логики, в которой формулы, известные как "предложения", могут быть сформированы путем объединения других более простых предложений с использованием логических связок, а система формальных правил доказательства позволяет устанавливать определенные формулы как теоремы.

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