Обобщение исчисления высказываний, позволяющие использовать параметры в высказываниях называется:
(Отметьте один правильный вариант ответа.)
Варианты ответа
исчислением высказываний
исчислением пределов
исчислением функций
исчисление предикатов(Верный ответ)