High Quality Content by WIKIPEDIA articles! Логика высказываний (или пропозициональная логика от англ. propositional logic, или исчисление высказываний) — это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка.