Исчисление Высказываний

Исчисление Высказываний в Энциклопедическом словаре:
Исчисление Высказываний - раздел математической логики, аксиоматическоепостроение логики высказываний.

Определение «Исчисление Высказываний» по БСЭ:
Исчисление высказываний - исчисление суждений, раздел математической логики, в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок
«и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.

Исчисление    Исчисление Высказываний    Исчисление Классов