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

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