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