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