Исчисление высказываний —
Исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных...
Большая советская энциклопедия
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ —
ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — раздел математической логики, аксиоматическое построение логики высказываний.
Большой энциклопедический словарь