1. Большой энциклопедический словарь

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ

ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — исчисление, символы и правила которого могут быть интерпретированы в терминах логики.

Источник: Большой энциклопедический словарь на Gufo.me

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

  1. Логическое исчисление — Исчисление (формальная система), интерпретируемое в терминах какого-либо фрагмента дедуктивной логики (См. Логика). Различные Л. и. служат базой для построения более богатых «нелогических» (например, математических) теорий. Примерами Л. Большая советская энциклопедия