Что такое исчисление высказываний в логике?

Исчисление высказываний в логике — это формальная теория, ориентированная на формализацию понятий логического закона и логического следования. spravochnick.ru

Это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. ru.wikipedia.org

В основе исчисления высказываний лежит понятие высказывания. spravochnick.ru Высказыванием называют повествовательное предложение, для которого можно определить, истинно оно или ложно. spravochnick.ru

Классическое исчисление высказываний оперирует двумя истинностными значениями: 0 — ложь, 1 — истина. spravochnick.ru Существуют разработки, в которых вводятся дополнительные значения (трёхзначная, четырёхзначная и т.д. символьные логики), но базовым, традиционным и общепризнанным вариантом является приведённый выше. spravochnick.ru