Исчисление высказываний
Исчисле́ние высказываний
Исчисление суждений, раздел математической логики (См. Математическая логика), в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.
Источник:
Большая советская энциклопедия
на Gufo.me
Значения в других словарях
- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ – см. Логика высказываний [ЛОГИКА ВЫСКАЗЫВАНИЙ]. Новая философская энциклопедия
- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — раздел математической логики, аксиоматическое построение логики высказываний. Большой энциклопедический словарь