Значение слова ИСЧИСЛЕНИЕ в Большом российском энциклопедическом словаре

ИСЧИСЛЕНИЕ

ИСЧИСЛ́ЕНИЕ ПРЕДИКАТОВ, раздел матем. логики, логич. исчисление, в алфавит знаков к-рого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений "все" и "некоторые" (кванторы), позволяющие количественно охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов .

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