Логика высказываний, пропозициональная логика (лат. propositio — «высказывание») или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Несмотря на свою важность и широкую сферу применения, логика высказываний является простейшей логикой и имеет очень ограниченные средства для исследования суждений.
Источник: Википедия
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: байронист — это что-то нейтральное, положительное или отрицательное?
Самой известной и используемой работой по логике является трактат «Summulae logicales»,содержащий ряд новых идей в области логики высказываний.
Оформленная прустовскими необычно выстроенными предложениями, грамматическая информация должна быть связана со значениями отдельных слов, и при этом нужно не потерять общую логику высказываний и контекст отрывка.
Хотя вначале он не мог понять логики высказывания, потом пришло понимание: мысль – это свет, всё остальное – тьма, то есть бессмысленность.