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

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — раздел математической логики, аксиоматическое построение логики высказываний.

Значения в других словарях

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