- одноместный предикат
- мат. monadic predicate, one-place predicate, unitary predicate
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Предикат — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина … Википедия
Предикат (лингвистика) — У этого термина существуют и другие значения, см. Предикат. В Викисловаре есть статья «предикат» Предикат … Википедия
СВОЙСТВО — (греч. idion; лат. proprium) то, что присуще к. л. предмету и характеризует его само по себе, а не говорит о его отношении с некоторыми др. объектами. В логике Аристотеля С. то, что присуще всем членам некоторого вида и специфично для них; в… … Философская энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ЛОГИКА ПРЕДИКАТОВ — раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. Логика высказываний ), то Л. п. можно рассматривать … Современный философский словарь
семантическая категория — класс языковых выражений, взаимная замена которых в предложении сохраняет его грамматический статус, т. е. предложение остается предложением. Если, напр., в предложении Волга впадает в Каспийское море слово Волга мы заменим словом Нева , то… … Словарь терминов логики
КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… … Философская энциклопедия
ФАКТ — (от лат. factum сделанное, совершившееся) 1) синоним понятий «истина», «событие», «результат»; нечто реальное в противоположность вымышленному; конкретное, единичное в отличие от абстрактного и общего; 2) в философии науки особого рода п … Философская энциклопедия
ЗЕНОН ЭЛЕЙСКИЙ — (род. ок. 490, Элея, Нижняя Италия – ум. 430 до Р. X.) первый древнегреч. философ, писавший прозаические соч. и пользовавшийся приемами косвенного доказательства, за что и назван был «изобретателем диалектики», прославился своими парадоксами.… … Философская энциклопедия
АВТОМАТОВ ПОЛНЫЕ СИСТЕМЫ — специальные подмножества заданного класса Мавтоматов, на к ром определено нек рое множество операций со значениями в М. Эти подмножества обладают следующим основным свойством (свойством полноты): множество всех автоматов, к рые получаются путем… … Математическая энциклопедия
Натуральное число — Натуральные числа можно использовать для счёта (одно яблоко, два яблока и т. п.). Натуральные числа (естественные числа) числа, возникающие естественным образом при счёте (как в смысле перечисл … Википедия