Значение ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ в Современном толковом словаре, БСЭ

Что такое ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

БСЭ. Современный толковый словарь, БСЭ.