Исчисле́ние выска́зываний — это формальная теория , в которой осуществляется попытка формализации понятий логического закона и логического следования. Высказывание — это повествовательное предложение, которое истинно или ложно. В классическом исчислении высказываний значимым является лишь истинностное значение высказывания («истина» — 1, «ложь» — 0), поэтому используемые в дальнейшем высказывательные (пропозициональные) переменные могут принимать одно из этих значений.
Исчисле́ние выска́зываний — это формальная теория , в которой осуществляется попытка формализации понятий логического закона и логического следования. Высказывание — это повествовательное предложение, которое истинно или ложно. В классическом исчислении высказываний значимым является лишь истинностное значение высказывания («истина» — 1, «ложь» — 0), поэтому используемые в дальнейшем высказывательные (пропозициональные) переменные могут принимать одно из этих значений.