- предикативная формула
- мат. predicative formula
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
НЕПРЕДИКАТИВНОЕ ОПРЕДЕЛЕНИЕ — определение, осмысленность к рого предполагает наличие определяемого объекта. Образование множества всех множеств непредикативно. Определение наименьшей верхней грани произвольного множества действительных чисел также непредикативно. Любое Н. о.… … Математическая энциклопедия
Тетрация — (гипероператор 4) в математике итерационная функция экспоненты, следующий гипероператор после возведения в степень. Тетрация используется для описания больших чисел. Термин «тетрация», состоящий из слов «тетра » (четыре) и «итерация»… … Википедия
ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать … Современный философский словарь