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