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