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