Значение ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ в Большой советской энциклопедии, БСЭ

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

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

Большая советская энциклопедия, БСЭ.