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