Логика высказываний (или
пропозициональная логика) — это
формальная теория, основным объектом которой служит понятие
логического высказывания. С точки зрения выразительности, её можно охарактеризовать как
классическую логику нулевого порядка. Логика высказываний является простейшей логикой, максимально близкой к человеческой логике неформальных рассуждениях и известна ещё со времён
античности. Также она является базой для более выразительных логик, таких как
логика первого порядка а также логик высших порядков.