Логика высказываний
Материал из Wiki Mininuniver
Версия от 18:17, 24 марта 2011; Смирнов Евгений (обсуждение | вклад) (Новая: Логика высказываний (или пропозициональная логика) — это формальная теория, основным объектом котор...)
Логика высказываний (или пропозициональная логика) — это формальная теория, основным объектом которой служит понятие логического высказывания. С точки зрения выразительности, её можно охарактеризовать как классическую логику нулевого порядка. Логика высказываний является простейшей логикой, максимально близкой к человеческой логике неформальных рассуждений и известна ещё со времён античности.
