Предикат
предикат
(лат. praedicatum — высказанное).
1) Логическое сказуемое — то, что в суждении высказывается о его субъекте.
2) То же, что грамматическое сказуемое.
Словарь лингвистических терминов Розенталя
предикат
Предика́т/.
Морфемно-орфографический словарь
ПРЕДИКАТ
ПРЕДИКАТ — в грамматике — сказуемое.
ПРЕДИКАТ (от лат. praedicatum — сказуемое) — в узком смысле — то же, что свойство; в широком смысле — отношение, т. е. свойство нескольких предметов. В логике — пропозициональная функция, т.
Большой энциклопедический словарь
предикат
предикат
I м.
Понятие, определяющее предмет суждения — субъект — и раскрывающее его содержание (в логике).
II м.
Член предложения, обозначающий признак, отнесенный во времени; сказуемое (в лингвистике).
III м. устар.
Признак, характерная черта.
Толковый словарь Ефремовой
предикат
-а, м.
1. лог.
То, что в суждении высказывается о предмете суждения; логическое сказуемое.
2. грамм.
То же, что сказуемое.
[лат. praedicatum]
Малый академический словарь
Предикат
См. Сказуемое.
Энциклопедический словарь Брокгауза и Ефрона
предикат
(лог.)
(лат. praedicatum)
Логическое сказуемое, то, что в суждении высказывается о предмете суждения.
Словарь лингвистических терминов Жеребило
предикат
Предикат, предикаты, предиката, предикатов, предикату, предикатам, предикат, предикаты, предикатом, предикатами, предикате, предикатах
Грамматический словарь Зализняка
предикат
ПРЕДИК’АТ, предиката, ·муж. (·лат. praedicatum — сказуемое) (научн.).
1. В логике — понятие, определяющее предмет суждения — субъект и раскрывающее его содержание (филос.).
2. То же, что сказуемое (грам.).
Толковый словарь Ушакова
предикат
ПРЕДИКАТ, а, м.
1. В логике: понятие, определяющее предмет суждения (субъект).
2. В грамматике: член предложения, обозначающий отнесённый ко времени признак (действие или состояние).
| прил. предикатный, ая, ое и предикативный, ая, ое (ко 2 знач.).
Толковый словарь Ожегова
Предикат
ПРЕДИКАТ (лат.). То же, что̀ сказуемое.
Словарь литературных терминов
предикат
сущ., кол-во синонимов: 5 отношение 30 признак 36 свойство 32 сказуемое 2 характерная черта 2
Словарь синонимов русского языка
ПРЕДИКАТ
ПРЕДИКАТ – см. Логика предикатов.
Новая философская энциклопедия
предикат
Предиката, м. [лат. praedicatum – сказуемое] (науч.). 1. В логике – понятие, определяющее предмет суждения – субъект и раскрывающее его содержание (филос.). 2. То же, что сказуемое (грам.).
Большой словарь иностранных слов
предикат
ПРЕДИКАТ -а; м. [лат. praecdicatum]
1. Лог., лингв. То, что в суждении высказывается о предмете суждения; логическое сказуемое, указывающее на свойства предмета, его состояние и отношение к другим предметам.
2. Лингв. = Сказуемое.
◁ Предикатный, -ая, -ое.
Толковый словарь Кузнецова
Предикат
I
Предика́т (от позднелат. praedicatum— сказанное)
то же, что свойство; в узком смысле — свойство отдельного предмета, например «быть человеком», в широком смысле — свойство пары, тройки, вообще n-ки предметов, например «быть родственником».
Большая советская энциклопедия
предикат
орф.
предикат, -а
Орфографический словарь Лопатина
Предикат
Функция, значениями к-рой являются высказывания об n-ках объектов, представляющих значения аргументов; при n=1 П. наз. "свойством", при n>1 — "отношением", единичные высказывания могут рассматриваться как нульместные...
Математическая энциклопедия
предикат
ПРЕДИКАТ а, м. prédicat m. сказуемое. един. Титул после имени венценосной особы. Король в своеручной грамоте после отъезда маркиза Лопиталя неоднократно ея Величеству предикат Императорский писал.
Словарь галлицизмов русского языка
как предикат
нареч, кол-во синонимов: 2 в качестве предиката 2 предикативно 2
Словарь синонимов русского языка
предикатив
орф.
предикатив, -а
Орфографический словарь Лопатина
предикатив
Периферийный падеж, выражающий класс объектов, свойства которых приписываются другому имени (работать контролером; выглядеть франтом).
Словарь лингвистических терминов Жеребило
логический предикат
То же, что «логическое сказуемое».
Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003
Толковый переводоведческий словарь
Рекурсивный Предикат
Предикат Р(х 1, . . .,х п), определенный на натуральных числах и такой, что функция f, заданная
Математическая энциклопедия
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ – см. Логика предикатов [ЛОГИКА ПРЕДИКАТОВ].
Новая философская энциклопедия
Разрешимый Предикат
Такой n-местный предикат Р, заданный на нек-ром множестве конструктивных объектов (напр
множества Мнайти значение (И или Л) предиката Рна этом наборе. Иными словами, предикат является
рекурсивной функции или какое-либо эквивалентное понятие, то вместо "Р. п." обычно употребляется термин "рекурсивный предикат". В. Е. Плиско.
Математическая энциклопедия
логика предикатов
ЛОГИКА ПРЕДИКАТОВ — раздел символической логики, изучающий рассуждения и др. языковые контексты
для которых справедливо содержащееся в высказывании утверждение. Язык логики предикатов содержит квантор
различают логики предикатов первого порядка и высших порядков. В первопорядковой логике имеется лишь
денотатов у единичных терминов. В неклассических логиках предикатов в той или иной форме происходит
и синтаксическую неполноту исчислений предикатов (возможность добавления в качестве новых аксиом
Энциклопедия эпистемологии и философии науки
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — раздел математической логики, логическое исчисление, в алфавит знаков
охарактеризовать связи вещей, свойств и отношений; служит аксиоматизацией логики предикатов.
Большой энциклопедический словарь
в качестве предиката
нареч, кол-во синонимов: 2 как предикат 2 предикативно 2
Словарь синонимов русского языка
Исчисление предикатов
субъектно-предикатной структуры предложений) правила оперирования с Кванторами. См. Высказывание, Логика предикатов.
Большая советская энциклопедия
Логика предикатов
объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е
В более сложных исчислениях предикатов описываются логические законы, связывающие объекты
исследования с отношениями между этими объектами.
В классическом исчислении предикатов употребляются следующие
языка исчисления предикатов.
Вхождение предметной переменной х в формулу φ называется связанным
следующих видов принимаются в качестве аксиом классического исчисления предикатов:
1. (φ⊃(ψ⊃η)),
2. ((φ
Большая советская энциклопедия
предикат
Предикат
נָשׂוּא ז'; פּרֶדִיקָט ז'
Русско-ивритский словарь
предикат
М predikat (1. məntiqdə: mühakimə obyektini-subyekti müəyyən edən anlayış; 2. qrammaqtikada: xəbər)
Русско-азербайджанский словарь
предикат
Батлах, тогтоох
Русско-монгольский словарь
предикат
• predikát
• přísudek
Русско-чешский словарь
предикат
Муж.; филос. грам. predicate м. predicate; ~ивный predicative; ~ивное прилагательное predicative adjective.
Полный русско-английский словарь
предикат
м. лог., грам.
predicado m
Большой русско-испанский словарь
предикат
m; kiel
predikaatti
Русско-финский словарь
предикат
Прэдыкат
Русско-белорусский словарь
предикат
імен. чол. роду
лінгв.
предикат
Украинско-русский словарь
предикат
сущ. муж. рода
лингв.
предикат
Русско-украинский словарь
предикат
1. predikaat
2. öeldis
Русско-эстонский словарь
предикат
Predicato м.
Русско-итальянский словарь
предикатив
імен. чол. роду
Украинско-русский словарь
предикатив
Муж.; линг. predicate noun
Полный русско-английский словарь
предикат предикатов
Мат. predicate of predicates
Полный русско-английский словарь
выполняющий предикат
Мат. satisfying predicate
Полный русско-английский словарь
ассоциированные предикаты
Мат. associated predicates
Полный русско-английский словарь
дополнение предиката
Мат. complement of predicate
Полный русско-английский словарь
квазирекурсивный предикат
Мат. quasirecursive predicate
Полный русско-английский словарь
предикат вычислимости
Мат. computability predicate
Полный русско-английский словарь
фильтрующийся предикат
Мат. filtered predicate
Полный русско-английский словарь
формульный предикат
Мат. formula predicate
Полный русско-английский словарь
сохраняющий предикат
Мат. predicate preserving
Полный русско-английский словарь
полиномиальный предикат
Мат. polynomial predicate
Полный русско-английский словарь
полный предикат
Мат. complete predicate
Полный русско-английский словарь
перечислимый предикат
Мат. enumerable predicate
Полный русско-английский словарь
ограниченный предикат
Мат. bounded predicate
Полный русско-английский словарь
инвариантный предикат
Мат. invariant predicate
Полный русско-английский словарь
метаматематический предикат
Мат. metamathematical predicate
Полный русско-английский словарь
выразимый предикат
Мат. expressible predicate
Полный русско-английский словарь
алгебраический предикат
Мат. algebraic predicate
Полный русско-английский словарь
аналитический предикат
Мат. analytic predicate
Полный русско-английский словарь
неразрешимый предикат
Мат. undecidable predicate
Полный русско-английский словарь
симметрический предикат
Мат. symmetric predicate
Полный русско-английский словарь
полувычислимый предикат
Мат. semicomputable predicate
Полный русско-английский словарь
предикат тождественности
Sameness predicate
Полный русско-английский словарь
преобразователь предикатов
Predicate transformer
Полный русско-английский словарь
переменный предикат
Мат. variable predicate
Полный русско-английский словарь
одноместный предикат
Мат. monadic predicate, one-place predicate, unitary predicate
Полный русско-английский словарь
нульарный предикат
Мат. nullary predicate
Полный русско-английский словарь
исчисление предикатов
• predikátový kalkulus
Русско-чешский словарь
логика предикатов
• predikátová logika
Русско-чешский словарь
гиперарифметический предикат
Мат. hyperarithmetical predicate
Полный русско-английский словарь
генерируемый предикат
Мат. generable predicate
Полный русско-английский словарь
арифметический предикат
Мат. arithmetical predicate
Полный русско-английский словарь
определимый предикат
Мат. definable predicate
Полный русско-английский словарь
рекурсивный предикат
Мат. recursive predicate
Полный русско-английский словарь
полуарифметический предикат
Мат. semiarithmetical predicate
Полный русско-английский словарь
примитивный предикат
Мат. primitive predicate
Полный русско-английский словарь
предикат равенства
Мат. equality predicate
Полный русско-английский словарь
простой предикат
Мат. prime predicate
Полный русско-английский словарь
отобразимый предикат
Resolvable predicate
Полный русско-английский словарь
индивидный предикат
Мат. individual predicate
Полный русско-английский словарь
иерархия предикатов
Мат. predicate hierarchy
Полный русско-английский словарь
арифметика предикатов
Predicative arithmetic
Полный русско-английский словарь
риторический предикат
Rhetorical predicate
Полный русско-английский словарь
разложимый предикат
Мат. reducible predicate
Полный русско-английский словарь
разрешимый предикат
Decidable predicate
Полный русско-английский словарь
смысловой предикат
Мат. truth predicate
Полный русско-английский словарь
сильный предикат
Мат. strong predicate
Полный русско-английский словарь
область предикатов
Мат. predicate domain
Полный русско-английский словарь
трехместный предикат
Мат. triadic predicate
Полный русско-английский словарь
теоретический предикат
Мат. theoretic predicate
Полный русско-английский словарь
унарный предикат
Мат. unary predicate
Полный русско-английский словарь
универсальный предикат
Мат. universal predicate
Полный русско-английский словарь
частичный предикат
Мат. partial predicate
Полный русско-английский словарь
устойчивый предикат
Мат. persistent predicate, stable predicate
Полный русско-английский словарь
эквивалентные предикаты
Мат. equivalent predicates
Полный русско-английский словарь
язык предикатов
Predicate language
Полный русско-английский словарь