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

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

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

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