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