Логика высказываний

Логика высказываний, пропозициональная логика (лат. propositio — «высказывание»[1]) или исчисление высказываний[2], также логика нулевого порядка — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные[3]. Несмотря на свою важность и широкую сферу применения, логика высказываний является простейшей логикой и имеет очень ограниченные средства для исследования суждений[2]. Содержание 1 Язык логики высказываний 1.1 Алфавит языка логики высказываний 1.2 Пропозициональные переменные 1.3 Пропозициональные формулы 1.4Соглашения о скобках 1.5 Формализация и интерпретация 2 Аксиомы и правила вывода формальной системы логики высказываний 3 Таблицы истинности основных операций 4 Тождественно истинные форму