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