Что такое предикат

29.08.202229.08.2022 admin 0 Комментариев

Что такое предикат

Значение слова «предикат»

1. Лог. То, что в суждении высказывается о предмете суждения; логическое сказуемое.

Источник (печатная версия): Словарь русского языка: В 4-х т. / РАН, Ин-т лингвистич. исследований; Под ред. А. П. Евгеньевой. — 4-е изд., стер. — М.: Рус. яз.; Полиграфресурсы, 1999; (электронная версия): Фундаментальная электронная библиотека

Предикат в программировании — выражение, использующее одну или более величину с результатом булева типа.

Далее в этой статье слово предикат используется в значении высказывательной формы.

ПРЕДИКА’Т, а, м. [латин. praedicatum — сказуемое] (науч.). 1. В логике — понятие, определяющее предмет суждения — субъект и раскрывающее его содержание (филос.). 2. То же, что сказуемое (грам.).

Источник: «Толковый словарь русского языка» под редакцией Д. Н. Ушакова (1935-1940); (электронная версия): Фундаментальная электронная библиотека

предика́т

1. лог. понятие, определяющее предмет суждения (субъект) и раскрывающее его содержание

2. лингв. член предложения, обозначающий действие или состояние, имеющий признаки глагола; сказуемое ◆ Если на поверхностно-синтаксическом уровне актанты и сирконстанты одинаково подчиняются некоторому предикатному слову (обычно глаголу), то на семантическом уровне ситуация меняется: актанты продолжают подчиняться исходному предикатному слову, а сирконстанты начинают подчиняться другому глубинному предикату. В. С. Храковский, «Понятие сирконстанта и его статус», 1999 г. (цитата из НКРЯ) ◆ Но есть множество ситуаций, когда существительное выступает не как субъект (подлежащее), а, например, как предикат (сказуемое), объект (прямое или косвенное дополнение), атрибут (определение) или обстоятельство. Дмитрий Горбатов, «Шёнберг в «вертикальном срезе»», 2003 г. // «Лебедь(Бостон)» (цитата из НКРЯ)

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я обязательно научусь отличать широко распространённые слова от узкоспециальных.

Насколько понятно значение слова пережданный (прилагательное):

Источник

Предикаты и кванторы

Вы будете перенаправлены на Автор24

Понятие предиката

Предикатом в программировании является функция, которая принимает один или более аргументов и возвращает значения булева типа.

Предикат называется тождественно-истинным, если на любом наборе аргументов он принимает истинное значение:

$P (x_1, \dots, x_n)=1$

Предикат называется тождественно-ложным, если на любом наборе аргументов он принимает ложное значение:

$P (x_1, \dots, x_0)=0$

Предикат называется выполнимым, если хотя бы на одном наборе аргументов он принимает истинное значение.

Примеры предикатов

Таким образом, предикатом является все то, что утверждается или отрицается о субъекте суждения.

Готовые работы на аналогичную тему

Операции над предикатами

Рассмотрим применение операций алгебры логики к предикатам.

Логические операции:

Над предикатами помимо логических операций можно выполнять квантовые операции: применение квантора всеобщности, квантора существования и т.д.

Кванторы

Чаще всего используют кванторы:

В математической логике существует понятие связывание или квантификация, которые обозначают приписывание квантора к формуле.

Примеры применения кванторов

С помощью квантора всеобщности можно записать следующие ложные высказывания:

который будет иметь вид:

Для записи истинных высказываний используем квантор существования:

Запись будет иметь вид:

Таким образом, предикат можно превратить в высказывание, если поставить перед предикатом квантор.

Операции над кванторами

Для построения отрицания высказываний, которые содержат кванторы, применяется правило отрицания кванторов:

Рассмотрим предложения и выделим среди них предикаты, указав область истинности каждого из них:

Нужны еще материалы по теме статьи?

Воспользуйся новым поиском!

Найди больше статей и в один клик создай свой список литературы по ГОСТу

Автор этой статьи Дата написания статьи: 07.04.2016

Источник

Предикат

Что такое предикат

Предикат (с латинского praedicatum означает «заявленное, упомянутое, сказанное») — понятие в логике, которым называют утверждение, высказанное о том или ином субъекте. Субъект высказывания — это та вещь или явление, о котором или которой делается утверждение.

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

Предикаторы, в свою очередь, показывают функции, у которых вероятные аргументы — это универсальные в рассмотрении объекты, а значения — истинные оценки. В классической логике они называются «истина» и «ложь». К примеру, возьмем предикатор «человек», который представляет функцию, определяемую как истина каждым отдельным человеком, а каждым отличным от человека существом — как ложь.

Осторожно! Если преподаватель обнаружит плагиат в работе, не избежать крупных проблем (вплоть до отчисления). Если нет возможности написать самому, закажите тут.

Другой пример : функция, которая соответствует предикатору «больше», сопоставляет истину каждой паре объектов или субъектов, один из которых больше. Например, такая пара, как «слон, мышь». Но всем остальным парам, по типу «мышь, слон» и «мышь, мышь», такая функци будет сопоставлять оценку «ложь».

Предикаторы могут быть:

Логические операции над предикатами

Так как предикаты принимают два значения, «истина» и «ложь» (1 и 0), к ним можно применить все операции алгебры логики.

Представим, что в неком множестве N определены два предиката P(x) и Q(x). Рассмотрим все операции с ними по-отдельности.

Область истины в этом случае — объединение областей истинности обоих утверждений.

Область истины здесь — дополнение множества истинности утверждения P(x) до множества N, иначе говоря \(I_overline

=N\I_P=CI_P.\)

Кванторные операции над предикатами

Прежде чем изучить квантовые операции, нужно разобраться, что из себя представляет сам квантор.

Квантор — общее название для логических операций, ограничивающих область истинности какого-либо предиката и создающих высказывание.

Кванторы впервые были определены немецким математиком Готлобом Фреге. Он упомянул их в своей работе «Begriffsschrift» («Исчисление понятий», 1879 года). Однако сам термин был изобретен английским логиком Чарльзом Пирсом в 1885 году. Вместе со словом «квантор» он ввел также и термин «квантификация», который означает измерение качеств признаков.

Обозначение кванторов

Символическое обозначение кванторов придумал итальянский математик Дж. Пеано в 90-е годы XIX века. Выглядят эти символы так:

$\forall$ — «для любого», «для каждого», «для всех»;

$\exists$ — «существует», «найдётся».

! – «единственный»;

: – «такой, что»;

| – «такой, что».

Знак «:» обычно используется в формулировках определений или теорем, которые записываются с помощью кванторов. Знак «|» применяется в определениях множеств.

Виды кванторов

Квантор общности $\forall$

Оно истинно только в том случае, когда $P(x)$ — тождественно истинен. В ином случае данное высказывание ложно.

Оно истинно только в том случае, когда одноместный предикат $P(x, a_2, …, a_n)$ на множестве $N_1$ тождественно истинен. В противном случае оно ложно.

Квантор существования $ \exists$

Примеры применения

Использование предикатов

Использование кванторов

Пусть предикат «x кратно 5». Тогда с помощью квантора общности можно записать ложные высказывания:

В этом случае решение будет выглядеть так:

Чтобы обозначить истинные высказывания, используем квантор существования:

В записи оно будет выглядеть так:

На множестве x простых чисел существует предикат: «Простое число является нечетным». Если мы поставим перед предикатом слово «любое», то получим ложное высказывание «Любое простое число является нечетным». Если мы поставим перед предикатом слово «существует», то получим истинное высказывание «Существует простое число, которое является нечетным».

Так, предикат можно превратить в высказывание, если поставить перед ним квантор.

Источник

Предикат

Полезное

Смотреть что такое «Предикат» в других словарях:

ПРЕДИКАТ — (от лат. praedicatum сказанное) языковое выражение, обозначающее к. л. свойство или отношение. П., указывающий на свойство отдельного предмета (напр., «зеленый», «теплый»), называется одноместным. П., обозначающий отношение, называется… … Философская энциклопедия

ПРЕДИКАТ — (лат.). Сказуемое в предложении; то, что говорится о предмете. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ПРЕДИКАТ 1) сказуемое; 2) титул, почетное звание. Словарь иностранных слов, вошедших в состав русского… … Словарь иностранных слов русского языка

предикат — свойство, отношение, сказуемое Словарь русских синонимов. предикат сущ. • сказуемое Словарь русских синонимов. Контекст 5.0 Информатик. 2012 … Словарь синонимов

предикат — а, м. prédicat m. сказуемое. един. Титул после имени венценосной особы. Король в своеручной грамоте после отъезда маркиза Лопиталя неоднократно ея Величеству предикат Императорский писал. О сей ошибке в титулятуре не оставлено будет здесь и у вас … Исторический словарь галлицизмов русского языка

Предикат — (лат.). То же, что̀ сказуемое. Литературная энциклопедия: Словарь литературных терминов: В 2 х т. / Под редакцией Н. Бродского, А. Лаврецкого, Э. Лунина, В. Львова Рогачевского, М. Розанова, В. Чешихина Ветринского. М.; Л.: Изд во Л. Д. Френкель … Литературная энциклопедия

предикат — Лингвистический объект, аналогичный глаголу, сообщающий что либо о сущностях, обозначенных термами. [ГОСТ 34.320 96] предикат Функция, возвращающая логическое значение. [http://www.morepc.ru/dict/] Тематики базы данныхинформационные технологии в… … Справочник технического переводчика

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

ПРЕДИКАТ — (от лат. praedicatum сказуемое) в узком смысле то же, что свойство; в широком смысле отношение, т. е. свойство нескольких предметов. В логике пропозициональная функция, т. е. выражение с неопределенными терминами (переменными), при выборе… … Большой Энциклопедический словарь

ПРЕДИКАТ — ПРЕДИКАТ, предиката, муж. (лат. praedicatum сказуемое) (научн.). 1. В логике понятие, определяющее предмет суждения субъект и раскрывающее его содержание (филос.). 2. То же, что сказуемое (грам.). Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 … Толковый словарь Ушакова

ПРЕДИКАТ — ПРЕДИКАТ, а, муж. 1. В логике: понятие, определяющее предмет суждения (субъект). 2. В грамматике: член предложения, обозначающий отнесённый ко времени признак (действие или состояние). | прил. предикатный, ая, ое и предикативный, ая, ое (ко 2… … Толковый словарь Ожегова

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

ПРЕДИКАТ

Полезное

Смотреть что такое «ПРЕДИКАТ» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

предикат

Смотреть что такое «предикат» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

предикат

Смотреть что такое «предикат» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

Предикат

Содержание

Определение

Предика́т (n-местный, или n-арный) — это функция с множеством значений (или «ложь» и «истина»), определённая на множестве . Таким образом, каждый набор элементов множества M характеризуется либо как «истинный», либо как «ложный».

Предикат можно связать с математическим отношением: если (m1,m2. mn) принадлежит отношению, то предикат будет возвращать на ней 1. В частности, одноместный предикат определяет отношение принадлежности некоторому множеству.

Предикат — один из элементов логики первого и высших порядков. Начиная с логики второго порядка, в формулах можно ставить кванторы по предикатам.

Предикат называют тождественно-истинным и пишут:

если на любом наборе аргументов он принимает значение 1.

Предикат называют тождественно-ложным и пишут:

если на любом наборе аргументов он принимает значение 0.

Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1.

Так как предикаты принимают только два значения, то к ним применимы все операции булевой алгебры, например: отрицание, импликация, конъюнкция, дизъюнкция и т. д

Примеры

Например, обозначим предикатом EQ(x, y) отношение равенства («x = y»), где x и y принадлежат множеству вещественных чисел. В этом случае предикат EQ будет принимать истинное значение для всех равных x и y.

Более житейским примером может служить предикат ПРОЖИВАЕТ(x, y, z) для отношения «x проживает в городе y на улице z» или ЛЮБИТ(x, y) для «x любит y», где множество M — это множество всех людей.

Предикат — это то, что утверждается или отрицается о субъекте суждения.

x,y,z принадлежит R

Операции над предикатами

Предикаты, так же, как высказывания, принимают два значения истинное и ложное, поэтому к ним применимы все операции логики высказываний. Рассмотрим применение операций логики высказываний к предикатам на примерах одноместных предикатов.

Логические операции

Конъюнкцией двух предикатов А(х) и В(х) называется новый предикат , который принимает значение «истина» при тех и только тех значениях х Т, при которых каждый из предикатов принимает значение «истина», и принимает значение «ложь» во всех остальных случаях. Множеством истинности Т предиката А(х) В(х), х Х является пересечение множеств истинности предикатов А(х) – Т1 и В(х) – Т2, т.е. Т= Т1 ∩Т2. Например: А(х): «х – четное число», В(х): « х кратно 3». А(х) В(х) – «х – четное число и х кратно 3». Т.е. предикат «х делится на 6».

Дизъюнкцией двух предикатов А(х) и В(х) называется новый предикат , который принимает значение «ложь» при тех и только тех значениях х Т, при которых каждый из предикатов принимает значение «ложь» и принимает значение «истина» во всех остальных случаях. Областью истинности предиката А(х) В(х) является объединение областей истинности предикатов А(х) В(х).

Импликацией предикатов А(х) и В(х) называется новый предикат А(х) В(х), который является ложным при тех и только тех значениях х Т, при которых А(х) принимает значение «истина», а В(х) – значение «ложь» и принимает значение «истина» во всех остальных случаях. Читают: «Если А(х), то В(х)». Например. А(х): «Натуральное число х делится на 3». В(х): «Натуральное число х делится на 4», можно составить предикат: «Если натуральное число х делится на 3, то оно делится и на 4». Множеством истинности предиката А(х) В(х) является объединение множества Т2 – истинности предиката В(х) и дополнения к множеству Т1 истинности предиката А(х).

Кванторные операции

Квантор (все-)общности

Квантор существования

Квантор существования по переменной ₁

Источник

Предикат

(от позднелат. praedicatum — сказанное) — термин логики и языкознания, обозначающий конститутивный член суждения — то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится к субъекту в предикативном отношении (см. Предикация, Предикативность), способном принимать отрицание и разные модальные значения. Понятие предикативного отношения шире, чем понятие предиката, к которому предъявляются определённые семантические требования: предикат — не всякая информация о субъекте, а указание на признак предмета, его состояние и отношение к другим предметам. Значение существования не считается предикатом, а предложения типа «Пегас (не) существует», согласно этой точке зрения, не выражают суждения. Не составляет предиката указание на имя предмета («Этот мальчик — Коля») и на его тождество самому себе («Декарт и есть Картезиус»). В ряде современных направлений логики понятие предиката было заменено понятием пропозициональной функции, аргументы которой представлены актантами (термами) — субъектом и объектами.

Предикаты могут быть классифицированы и по другим основаниям. В зависимости от типа субъекта различаются предикаты низшего порядка (относящиеся к материальным сущностям) и высшего порядка, характеризующие разные виды нематериальных объектов, среди которых наиболее резко противопоставлены предикаты, относящиеся к событийному субъекту, и предикаты, характеризующие пропозициональный субъект (ср.: «Этот случай произошёл вчера» — «То, что этот случай произошёл вчера, сомнительно»). По количеству актантов предикаты делятся на одноместные («Ель — зелена»), двухместные («Ель заслоняет нору»), трёхместные («Ель заслоняет нору от охотника») и т. д. Ю. С. Степанов разделяет предикаты по степени производности в системе языка на первопорядковые, т. е. непроизводные («Мальчик учится»), предикаты второго порядка, т. е. производные от первых («Мальчик — ученик»), третьего порядка, т. е. производные от вторых («Это — лишь ученичество») и т. д.

Полезное

Смотреть что такое «Предикат» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

Значение слова предикат

Словарь Ушакова

2. То же, что сказуемое (грам.).

Словарь лингвистических терминов

(лат. praedicatum — высказанное).

1) Логическое сказуемое — то, что в суждении высказывается о его субъекте.

2) То же, что грамматическое сказуемое.

Начала Современного Естествознания. Тезаурус

(от лат. prardicatum — сказуемое) — то, что высказывается о субъекте (т. е. о его свойстве) либо об отношении (о свойстве нескольких предметов); в языкознании — сказуемое, в основном в его содержательном аспекте, например, «материя протяженна».

Философский словарь (Конт-Спонвиль)

Все, что утверждается относительно того или иного субъекта. Например, в таких высказываниях, как «Сократ – человек» или «Сократ гуляет», «человек» и «гуляет» суть предикаты.

Грамматический словарь: Грамматические и лингвистические термины

(лат.). То же, что сказуемое.

Тезаурус русской деловой лексики

Энциклопедический словарь

Словарь Ожегова

ПРЕДИКАТ, а, м.

1. В логике: понятие, определяющее предмет суждения (субъект).

2. В грамматике: член предложения, обозначающий отнесённый ко времени признак (действие или состояние).

| прил. предикатный, ая, ое и предикативный, ая, ое (ко 2 знач.).

Источник

Словари

Член предложения, обозначающий признак, отнесенный во времени; сказуемое (в лингвистике).

1. В логике: понятие, определяющее предмет суждения (субъект).

2. В грамматике: член предложения, обозначающий отнесённый ко времени признак (действие или состояние).

1. Лог., лингв. То, что в суждении высказывается о предмете суждения; логическое сказуемое, указывающее на свойства предмета, его состояние и отношение к другим предметам.

2. Лингв. = Сказу́емое.

То, что в суждении высказывается о предмете суждения; логическое сказуемое.

предика́т, предика́ты, предика́та, предика́тов, предика́ту, предика́там, предика́том, предика́тами, предика́те, предика́тах

сущ., кол-во синонимов: 5

свойство, отношение, сказуемое

(утверждается или отрицается) о субъекте. Предикат находится к субъекту в

предикативном отношении (см. Предикация, Предикативность), способном принимать отрицание и

разные модальные значения. Понятие

предикативного отношения шире, чем понятие предиката, к которому

признак предмета, его состояние и отношение к другим предметам. Значение

существования не считается предикатом, а предложения типа «Пегас (не)

существует», согласно этой точке зрения, не выражают суждения.

и на его тождество самому себе («Декарт и есть Картезиус»). В ряде

современных направлений логики понятие предиката было заменено понятием

пропозициональной функции, аргументы которой

В языкознании для некоторых языков (в западноевропейских терминологических системах)

термин «предикат» был использован при обозначении состава предложения, соответствующего сообщаемому, а

также «ядерного» компонента этого состава (англ.

predicate, франц. prédicat, исп. predicado, итал. predicato). Для других языков (например, славянских) этот термин был заменен калькой

«сказуемое», что позволило избежать терминологического смешения

логических и грамматических категорий, но не исключён из

лингвистического обихода. С термином сказуемое ассоциируется прежде всего формальный

аспект этого члена предложения, с термином

формальных типах сказуемого (ср. глагольное, именное сказуемое), но о

семантических типах предикатов. Выделяются: таксономические предикаты, указывающие на

предикаты, указывающие на отношение данного объекта к другим объектам

указывающие на динамические и статические, постоянные и преходящие

«Он устал», «Ему скучно». В этом разряде особое место занимают

оценочные предикаты: «Климат здесь скверный»); предикаты

временно́й и пространственной локализации («Сейчас полдень»,

«Павел дома»). Разные типы предикатов могут быть представлены в языке синкретически. Переходные

глаголы обычно выражают не только определённое

отношение между предметами, но также характеристики этих предметов с

точки зрения данных отношений.

Предикаты могут быть классифицированы и по другим основаниям.

В зависимости от типа субъекта различаются предикаты низшего

порядка (относящиеся к материальным сущностям) и высшего

порядка, характеризующие разные виды нематериальных объектов, среди

которых наиболее резко противопоставлены предикаты, относящиеся к

событийному субъекту, и предикаты, характеризующие пропозициональный

произошёл вчера, сомнительно»). По количеству актантов предикаты делятся

трёхместные («Ель заслоняет нору от охотника») и т. д. Ю. С. Степанов

разделяет предикаты по степени производности в системе языка на

первопорядковые, т. е. непроизводные («Мальчик учится»), предикаты

ученичество») и т. д.

Клини С., Введение в метаматематику, пер. с англ., М.,

Карри Х. Б., Основания математической логики, пер. с англ.,

Панфилов В. З., Взаимоотношение языка и мышления, М.,

Алисова Т. Б., Очерки синтаксиса [современного]

итальянского языка, М., 1971;

Аристотель, Сочинения, т. 2, М., 1978;

Арутюнова Н. Д., Сокровенная связка. (К проблеме

предикативного отношения), Изв. АН СССР, сер. ЛиЯ, 1980, т. 39,

Демьянков В. З., Предикаты и концепция семантической

интерпретации, там же;

Кибрик А. Е., Предикатно-аргументные отношения в

семантически эргативных языках, там же;

Степанов Ю. С., Имена. Предикаты. Предложения, М.,

Sandmann M., Subject and predicate, Edinburgh,

Логическое сказуемое, то, что в суждении высказывается о предмете суждения.

ПРЕДИКАТ а, м. prédicat m. сказуемое. един. Титул после имени венценосной особы. Король в своеручной грамоте после отъезда маркиза Лопиталя неоднократно ея Величеству предикат Императорский писал. О сей ошибке в титулятуре не оставлено будет здесь и у вас примечание учинить. 1757. АВ 33 293.

ПРЕДИКАТ (лат.). Сказуемое в предложении; то, что говорится о предмете.

Периферийный падеж, выражающий класс объектов, свойства которых приписываются другому имени (работать контролером; выглядеть франтом).

Статья 1. (предикатив | prédicat | Prädikativum, Prädikatsnomen | predicate, adjunct | predicato nominale)

В специальном смысле это слово обозначает сказуемое именного (см.) предложения, состоящее нередко из предикативного глагола и его предикатива (Le jour paraît long «День кажется долгим», Le jour est long «День долгий»). В еще более узком смысле данный термин обозначает предикатив за вычетом предикативного глагола (long в предшествующих примерах).

Статья 2. (именная часть составного сказуемого, предикатив | attribut | Prädikat | predicate | predicato)

Термин «аттрибут» обычно употребляется во французском языке для обозначения слова, присоединяемого к глаголу «быть» в составном сказуемом (phrase attributive): la maison est grande; это слово называется предикативным членом (см. предикативный) (attribut prédicatif | Prädikativum | adjunct | predicato nominale), если связочный глагол (verbe attribut) имеет собственное значение; так в оборотах: arriver premier, rendre malade.

Предикативы, именуемые грамматическими (grammatical), логическими (logique), психологическими (psychologique), представляют собой виды сказуемого (см. сказуемое). В английском языке термином «predicate» преимущественно обозначают то, что во французском называют «attribut», резервируя наименования «attribute», «attributive», «adherent», «epithet» для прилагательного, употребляемого в определительной (см.) функции (un grand jardin) и порою даже для наречия.

Переход слов в категорию состояния.

1) Синтаксическая структура, заключающая в себе предикат.

2) Часть сложного предложения, его строительный материал.

предикативная основа (предикативное ядро) предложения.

Связь между подлежащим и сказуемым, форма выражения предикативных отношений,

I нареч. качеств.-обстоят.

II нареч. качеств.-обстоят.

1. Так, как характерно для предиката как члена предложения (сказуемого), обозначающего признак, отнесенный во времени (в лингвистике).

2. Выражая предикативность как категорию, которая целым комплексом формальных синтаксических средств соотносит сообщение с тем или иным временны́м планом действительности (в лингвистике).

нареч, кол-во синонимов: 2

прил., кол-во синонимов: 1

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

То же, что предикативная основа предложения.

Категория, которая целым комплексом формальных синтаксических средств соотносит сообщение с определенным временны́м планом действительности (в лингвистике).

ПРЕДИКАТИ́ВНОСТЬ, предикативности, мн. нет, жен. (филос. и грам.). отвлеч. сущ. к предикативный.

Категория предикативности. Способы выражения предикативности.

предикати́вность, предикати́вности, предикати́вностей, предикати́вностям, предикати́вностью, предикати́вностями, предикати́вностях

сущ., кол-во синонимов: 2

функциональную специфику основной единицы

конституирующий признак предложения, относящий информацию к

действительности и тем самым формирующий единицу, предназначенную для

сообщения; категория, противопоставляющая предложение всем другим

единицам, относящимся к компетенции синтаксиса. В ряду

синтаксических конструкций, имеющих общий объект обозначения

(объединённых содержательным инвариантом), например «летящая птица»,

«полёт птицы» и «птица летит», последний способ обозначения этого

Выражая актуализированную отнесённость к действительности,

предикативность отличает предложение и от такой единицы языка как слово: предложение «Дождь!» с особой интонацией, в отличие от лексической единицы «дождь», характеризуется тем,

что в его основе лежит отвлечённый образец, обладающий потенциальной

способностью относить информацию в план настоящего, прошедшего или

В иерархии признаков, конституирующих предложение как специфическую

единицу языка, предикативность является признаком наивысшей ступени

абстракции. Сама модель предложения, его отвлечённый образец

(структурная схема) обладает такими грамматическими свойствами, которые

позволяют представить сообщаемое в том или ином временно́м плане, а также

модифицировать сообщаемое в аспекте реальность/ирреальность. Главным

средством формирования предикативности является категория наклонения, с помощью которой сообщаемое

предстает как реально осуществляющееся во времени (настоящем,

прошедшем или будущем), т. е. характеризуется временной

возможное, желаемое, должное или требуемое, т. е. характеризуется

временной неопределённостью. Дифференциация этих признаков

сообщаемого (временная определённость/неопределённость) опирается на

противопоставление форм изъявительного наклонения формам

ирреальных наклонений (сослагательного, условного, желательного,

Предикативность, как неотъемлемый грамматический признак любой модели

предложения и построенных по этой модели конкретных высказываний,

соотносительна с объективной модальностью. Формируя одну из центральных единиц

сообщаемого, предикативность (как и объективная модальность) является

Представление о сущности предикативности (как и сам термин) не

является однозначным. Наряду с концепцией В. В. Виноградова («Некоторые

задачи изучения синтаксиса простого предложения», 1954) и его школы

(«Грамматика русского языка», т. 2, 1954; «Русская грамматика», 1980;

«предикативность» обозначают также свойство сказуемого как синтаксического члена двусоставного

предложения (предикативный значит ‘сказуемостный, характерный для

сказуемого’). Понятие предикативности входит в состав синтаксических

понятий «предикативная связь», «предикативные отношения», которыми

обозначают отношения, связывающие подлежащее и

сказуемое, а также отношения логического субъекта и предиката; в

таком употреблении предикативность осмысляется уже не как категория

наивысшей ступени абстракции (присущая модели предложения как таковой,

предложению вообще, независимо от его состава), а как понятие,

связанное с уровнем членения предложения, т. е. с такими предложениями,

в которых может быть выделено подлежащее и сказуемое.

Предикативностью называют также общее, глобальное логическое свойство

всякого высказывания, а также свойство мысли,

её направленность на актуализацию сообщаемого. Этот аспект понятия

предикативности соотносителен с понятием предикации, основным свойством которой принято

считать отнесённость к действительности, и с понятием пропозиция, отличительной чертой которой считается

Виноградов В. В., Некоторые задачи изучения синтаксиса

простого предложения, «Вопросы языкознания», 1954, № 1;

Грамматика русского языка, т. 2, Синтаксис, М., 1954;

Стеблин-Каменский М. И., О предикативности, Вестник ЛГУ,

Адмони В. Г., Двучленные фразы в трактовке Л. В. Щербы и

проблема предикативности, «Научные доклады высшей школы. Филологические

Панфилов В. З., Взаимоотношение языка и мышления, М.,

Ломтев Т. П., Предложение и его грамматические категории,

Общее языкознание. Внутренняя структура языка, М., 1972;

Кацнельсон С. Д., Типология языка и речевое мышление, Л.,

Арутюнова Н. Д., Предложение и его смысл, М., 1976;

Русская грамматика, т. 2, Синтаксис, М., 1980;

Степанов Ю. С., Имена. Предикаты. Предложения, М.,

Семантико-синтаксическое и коммуникативное свойство предложения.

Предикативность имеет две стороны:

Отнесенность содержащегося в предложении высказывания к действительности, устанавливаемая и выражаемая говорящим. П. проявляется и раскрывается в синтаксических категориях модальности, времени и лица, имеющих свое содержание и средства выражения.

Выражение языковыми средствами отношения содержания высказываемого к действительности как основа предложения. Грамматическими, средствами выражения предикативности являются категория времени (все явления действии дельности происходят во времени, и содержание высказывания осознается в каком-либо временном плане, категория лица (высказывание, как правило, соотносит действие с одним из трех лиц) и категория модальности (высказывание говорящего сопровождается выражением его отношения к содержанию высказываемого). Предикативность и интонация сообщения являются общими характерными признаками предложения.

Устанавливаемая говорящим и выражаемая языковыми средствами отнесенность высказывания к действительности. Грамматическими средствами выражения П. в предложении являются категории времени, числа и модальности.

— Синтаксическая категория, формирующая предложение.

Свойство фиксировать лишь ту часть мысли, которая является главной для субъекта внутренней речи.

Реализация предикативности; отношения между пред-метом речи/мысли и определяющим его предикативным (модально-временным) признаком.

Отношения между подлежащим как носителем признака и сказуемым как выражением признака. Предикативные отношения в предложении отражают отношения между субъектом и предикатом суждения.

Реализация предикативности; отношения между предметом речи / мысли и определяющим его предикативным (модально-временным) признаком.

Спрягаемые формы глагола, выполняющие в предложении функцию сказуемого и образуемые формами лица, числа, рода, времени и наклонения.

1. соотн. с сущ. предикат I, связанный с ним

2. Свойственный предикату [предикат I], характерный для него.

1. соотн. с сущ. предикат II, связанный с ним

2. Свойственный предикату [предикат II], характерный для него.

3. Выражающий предикативность.

ПРЕДИКАТИ́ВНЫЙ, предикативная, предикативное (филос. и грам.). Являющийся предикатом, содержащий в себе предикат, обладающий значением предиката. Предикативная связь между именем и глаголом. Предикативное прилагательное, творительный предикативный падеж.

прил. к предикат; являющийся предикатом.

Предикативные отношения. Предикативное наречие.

предикати́вный, предикати́вная, предикати́вное, предикати́вные, предикати́вного, предикати́вной, предикати́вных, предикати́вному, предикати́вным, предикати́вную, предикати́вною, предикати́вными, предикати́вном, предикати́вен, предикати́вна, предикати́вно, предикати́вны, предикати́внее, попредикати́внее, предикати́вней, попредикати́вней

прил., кол-во синонимов: 1

Слова, обозначающие разного рода ситуации, под которыми понимаются такие фрагменты действительности, в которых выделяется один или несколько участников: Мужчина спит (один участник); Студент читает книгу (два участника: студент и книга); Портной обучил меня делать выкройки (три участника: портной, я, выкройки); Мать купила у соседей картошку по десять рублей за килограмм (четыре участника: мать, соседи, картошка, десять рублей). Данные участники ситуаций называются актантами. Предикатными словами считаются при этом: сон (первая ситуация); чтение (вторая ситуация); обучение (третья ситуация); купля-продажа (четвертая ситуация). Соответственно ситуации называются: ситуация сна, ситуация чтения, ситуация обучения, ситуация купли-продажи. Большую часть предикатной лексики составляют глаголы, существительные, обозначающие действия, процессы, отношения, а также слова других частей речи: прилагательные сравнительной степени (больше, выше); союзы (поэтому, так как), предлоги (за, над, перед и др.).

Слова, обозначающие разного рода ситуации, под которыми понимаются такие фрагменты действительности, в которых выделяется один или несколько участников: Мужчина спит (один участник); Студент читает книгу (два участника: студент и книга); Портной обучил меня делать выкройки (три участника: портной, я, выкройки); Мать купила у соседей картошку по десять рублей за килограмм (четыре участника: мать, соседи, картошка, десять рублей). Данные участники ситуаций называются актантами. Предикатными словами считаются при этом: сон (первая ситуация); чтение (вторая ситуация); обучение (третья ситуация); купляпродажа (четвертая ситуация). Соответственно ситуации называются: ситуация сна, ситуация чтения, ситуация обучения, ситуация купли-продажи. Большую часть предикатной лексики составляют глаголы, существительные, обозначающие действия, процессы, отношения, а также слова других частей речи: прилагательные сравнительной степени (больше, выше); союзы (поэтому, так как), предлоги (за, над, перед и др.).

Источник

предикат

Смотреть что такое «предикат» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

Предикат

Смотреть что такое «Предикат» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

ПРЕДИКАТ (в логике)

Смотреть что такое «ПРЕДИКАТ (в логике)» в других словарях:

Предикат (свойство отд. предмета) — Предикат (от позднелат. praedicatum сказанное), то же, что свойство; в узком смысле свойство отдельного предмета, например «быть человеком», в широком смысле свойство пары, тройки, вообще n ки предметов, например «быть родственником». П. в… … Большая советская энциклопедия

Предикат (лингвистика) — У этого термина существуют и другие значения, см. Предикат. В Викисловаре есть статья «предикат» Предикат … Википедия

Предикат — I Предикат (от позднелат. praedicatum сказанное) то же, что свойство; в узком смысле свойство отдельного предмета, например «быть человеком», в широком смысле свойство пары, тройки, вообще n ки предметов, например «быть родственником». П … Большая советская энциклопедия

предикат — (от лат. praedicatum сказанное) языковое выражение, обозначающее какое то свойство или отношение. П., указывающий на свойство отдельного предмета (напр., быть зеленым ), называется одноместным. П., обозначающий отношение, называется двухместным,… … Словарь терминов логики

Источник

Предикаты

Предикатом называется любое математическое предложение, в котором есть по меньшей мере одна переменная.

Предика́т (n-местный, или n-арный) — это функция с множеством значений <0,1>(или «Ложь» и «Истина»), определённая на n-й декартовой степени множества M. Таким образом, каждую n-ку элементов M он характеризует либо как «истинную», либо как «ложную».

Предикат можно связать с математическим отношением: если n-ка принадлежит отношению, то предикат будет возвращать на ней 1.

Предикат называют тождественно-истинным и пишут:

если на любом наборе аргументов он принимает значение 1.

Предикат называют тождественно-ложным и пишут:

если на любом наборе аргументов он принимает значение 0.

Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1.

Примеры

Предикат — это то, что утверждается или отрицается о субъекте суждения.

См. также

Полезное

Смотреть что такое «Предикаты» в других словарях:

Предикаты — Сенсорно основанные слова, указывающие на использование той или иной репрезентативной системы визуальные, аудиальные, кинестетические, неспецифические предикаты. Краткий толковый психолого психиатрический словарь. Под ред. igisheva. 2008 … Большая психологическая энциклопедия

Предикаты — Сенсорно основанные слова, указывающие на использование той или иной репрезентативной системы визуальные, аудиальные, кинестетические, неспецифические предикаты … Словарь нейролингвистического программирования

Предикаты — нлп Сенсорно основанные слова, указывающие на использование той или иной репрезентативной системы визуальные, аудиальные, кинестетические, неспецифические предикаты … Универсальный дополнительный практический толковый словарь И. Мостицкого

РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия

Предикат — (от позднелат. praedicatum сказанное) термин логики и языкознания, обозначающий конститутивный член суждения то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится к субъекту в предикативном отношении (см.… … Лингвистический энциклопедический словарь

Логлан — Самоназвание: La Logla Создан: Джеймс Кук Браун Регулирующая организация: Институт логлана (англ. The Loglan Institute)[1] … Википедия

_5. Структура словарной статьи словаря (микроструктура) — В.В. Дубичинский следующим образом формулирует особенность микроструктуры словаря, которая, по его мнению, представляет собой «построение словарной статьи как особой разноплановой системы внутри всего словаря как сложной самостоятельной системы»… … Экспериментальный синтаксический словарь

Перцептрон — Логическая схема перцептрона с тремя выходами Перцептрон, или персептрон[nb 1] (англ. perceptron от … Википедия

Персептрон — Логическая схема перцептрона с тремя выходами Перцептрон, или персептрон[nb 1] (англ. perceptron от лат. perceptio восприятие; нем. perzeptron) математическая и компьютерная модель восприятия информации мозгом (кибернетическая модель мозга),… … Википедия

КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… … Философская энциклопедия

Источник

ПРЕДИКАТ

Смотреть что такое «ПРЕДИКАТ» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

Предикаты

Предикатом называется любое математическое предложение, в котором есть по меньшей мере одна переменная.

Предикат называют тождественно-истинным и пишут:

если на любом наборе аргументов он принимает значение 1.

Предикат называют тождественно-ложным и пишут:

если на любом наборе аргументов он принимает значение 0.

Предикат называют выполнимым, если хотя бы на одном наборе аргументов он принимает значение 1.

Примеры

Предикат — это то, что утверждается или отрицается о субъекте суждения.

См. также

Полезное

Смотреть что такое «Предикаты» в других словарях:

Предикаты — Сенсорно основанные слова, указывающие на использование той или иной репрезентативной системы визуальные, аудиальные, кинестетические, неспецифические предикаты … Словарь нейролингвистического программирования

Источник

ПРЕДИКАТ

Смотреть что такое «ПРЕДИКАТ» в других словарях:

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

ПРЕДИКАТ

Полезное

Смотреть что такое «ПРЕДИКАТ» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

Лекция 3. Логика предикатов. Логические операции над предикатами

3.1. Понятие предиката

«Предикат» с английского переводится как сказуемое. Формально предикатом называется функция, аргументами которой могут быть произвольные объекты из некоторого множества, а значения функции «истина» или «ложь». Предикат можно рассматривать как расширение понятия высказывания.

Средства, предоставляемые логикой высказываний, оказываются недостаточными для анализа многих математических рассуждений. В алгебре логики не рассматриваются ни структура высказываний, ни, тем более, их содержание. В то же время и в науке, и в практике используются заключения, существенным образом зависящие как от структуры, так и от содержания используемых в них высказываний.

3.2. Логика предикатов

Логика предикатов, как и традиционная формальная логика, расчленяет элементарное высказывание на субъект (буквально – подлежащее, хотя оно может играть и роль дополнения) и предикат(буквально – сказуемое, хотя оно может играть и роль определения).

Субъект – это то, о чем что-то утверждается в высказывании, а предикат – это то, что утверждается о субъекте.

Логика предикатов – это расширение логики высказываний за счет использования предикатов в роли логических функций.

Например, в высказывании «7 – простое число», «7» – субъект, «простое число» – предикат. Это высказывание утверждает, что «7» обладает свойством «быть простым числом».

Если в рассмотренном примере заменить конкретное число 7 переменной х из множества натуральных чисел, то получим высказывательную форму «х – простое число». При одних значениях х (например, х = 13, х = 17) эта форма дает истинные высказывания, а при других значениях х (например, х = 10, х = 18) эта форма дает ложные высказывания.

Определение 1. Одноместным предикатом Р(х) называется всякая функция одного переменного, в которой аргумент x пробегает значения из некоторого множества M, а функция при этом принимает одно из двух значений: истина или ложь.

Множество M, на котором задан предикат, называется областью определения предиката.

Множество , на котором предикат принимает только истинные значения, называется областью истинности предиката Р(х).

Определение 2. Предикат Р(х), определённый на множестве M, называется тождественно истинным (тождественно ложным), если

Определение 3. Двухместным предикатом P(x, у) называется функция двух переменных х и у, определённая на множестве М=М₁×М₂ и принимающая значения из множества <1,0>.

В качестве примеров двухместных предикатов можно назвать предикаты: Q(x, у) – «х = у» предикат равенства, определённый на множестве R 2 =R×R; F(x, у) – «х || у» прямая х параллельна прямой у, определённый на множестве прямых, лежащих на данной плоскости.

Говорят, что предикат Р(х) является следствием предиката Q(х) , если ; и предикаты Р(х) и Q (х) равносильны , если .

Пример 1. Среди следующих предложений выделить предикаты и для каждого из них указать область истинности:

Источник

Предикаты в русском языке

Вы будете перенаправлены на Автор24

Предикаты в русском языке

Предикаты – группа лексем, объединяющаяся в отдельный лексико-грамматический класс на основании следующих критериев:

В качестве отдельного лексико-грамматического класса предикативные слова стали рассматриваться лингвистом Л. В. Щербой, который назвал их словами категории состояния. Выделение данных слов в качестве самостоятельного грамматического класса вызвало много споров. Некоторые ученые до сих пор не признают существование категории состояния как особой части речи.

Морфология предикатов

Морфологические свойства предикатов заключаются в их неизменяемости, однако глагольные предикаты способны иметь временные формы: За окном светает. – За окном светало. Особенностью предикатов является то, что они сходны с наречиями или краткими прилагательными: страшно, весело, грустно, удобно, одиноко, пустынно и проч. Поэтому их необходимо различать. Главным критерием здесь выступает синтаксическая функция и тип предложения, в котором употребляется слово. Так, предикат синтаксически независим, поэтому используется как безличное сказуемое: Ему грустно. Наречие, как правило, относится к глаголу-сказуемому, то есть синтаксически зависит от него: Он смотрел грустно. Краткое прилагательное, выступая в функции именной части составного сказуемого, согласуется с подлежащим, а также может иметь глагол-связку: Лицо его грустно.

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

Готовые работы на аналогичную тему

Основные группы предикатов по их происхождению следующие:

Сходны с предикатами, но не являются ими следующие классы лексем:

Семантика и функции предикатов

Выделяют несколько семантических групп предикатов:

Основные функции предикатов в русском языке заключаются в следующем:

Говоря о грамматических категориях, присущих предикативу, следует отметить, что они охватывают не весь класс слов. Так, собственно категория наклонения или времени присуща исключительно глагольным предикатам: На улице теплеет. В саду пахло жасмином. В то время как при других предикатах значение времени выражается с помощью глагола-связки: Ему грустно. Ему было грустно после этого.

Очевидно, что в конструкциях с предикатами невозможно выразить императивную семантику, а формы выражения значения условного наклонения весьма ограничены: Будь здесь чище, я бы снял обувь. Нужно бы уехать вовремя.

Аналогично вопрос решается и в отношении такой категории, как степень сравнения, которая присуща только тем предикатам, которые имеют наречное или атрибутивное происхождение: Ему больнее. Здесь жарче, чем на улице.

Таким образом, основная задача предикатов языке – характеристика той или иной ситуации вне отношения к субъекту или относительно субъекта, не являющегося активным действующим лицом в предложении.

Нужны еще материалы по теме статьи?

Воспользуйся новым поиском!

Найди больше статей и в один клик создай свой список литературы по ГОСТу

Источник

Предикат

Смотреть что такое «Предикат» в других словарях:

ПРЕДИКАТ — в грамматике сказуемое … Большой Энциклопедический словарь

Предикат — ПРЕДИКАТ (лат.). То же, что̀ сказуемое … Словарь литературных терминов

Источник

Что такое предикат: определение и примеры

Что такое предикат? Это слово встречается в лингвистике, математике, философии и программировании. Но не может же быть так, что в этих столь разных науках это слово имеет одинаковое значение? Математическая логика дает свою, особую трактовку этого термина. Начнем с нее.

Предикат в математике

В математической логике предикат обычно понимается как функция P: X → <правда, ложь>, называемая предикатом X. Однако предикаты имеют много разных применений и интерпретаций в математике и логике, и их точное определение, смысл и использование будут варьироваться от теории к теории. Так, например, если теория определяет понятие отношения, то предикат является просто характеристической функцией, иначе известной как индикаторная функция отношения. Однако не все теории имеют отношения или основаны на теории множеств, поэтому нужно быть осторожным с правильным определением и семантической интерпретацией предиката.

Правда или ложь

Свойства объектов

Предикаты в математической логике также широко используются, чтобы говорить о свойствах объектов, определяя набор всех объектов, имеющих общее свойство. Так, например, когда P является предикатом X, иногда можно сказать, что P является свойством X. Аналогично, обозначение P (x) используется для обозначения предложения или утверждения P относительно объекта переменной Х. Множество, определенное P (x), записывается как и является множеством объектов, для которых P истинно.

Простым видом предиката (П) является булево выражение, и в этом случае входы в выражение сами являются значениями, объединенными с использованием булевых операций. Булево выражение со множеством истинности предиката является более сложным явлением.

Формальное определение

Предикат в грамматике

Существует два конкурирующих понятия предиката в теориях грамматики. Конкуренция между этими двумя концепциями породила путаницу в отношении использования термина «предикат» в теориях грамматики. Так что такое предикат? В этой статье рассматриваются оба эти понятия.

Первое понятие относится к традиционной грамматике, которая имеет тенденцию рассматривать предикат как одну из двух основных частей предложения, другая часть является предметом. Цель предиката состоит в том, чтобы завершить представление о предмете, например, что он делает или что из себя представляет.

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

В традиционной грамматике

Понятие П в традиционной грамматике вдохновлено пропозициональной логикой древности (в отличие от более современной логики предикатов). Предикат рассматривается как свойство, которое субъект имеет. Следовательно, предикат является выражением, которое может быть истинным. Таким образом, выражение «движется» верно для всего, что движется. Это дает ответ на вопрос, что такое предикат.

Такое классическое понимание предикатов было принято более или менее непосредственно в латинской и греческой грамматиках, и оттуда оно попало в грамматику английского и русского языков, где применяется непосредственно к анализу структуры предложения. Это понимание П также используется в англоязычных словарях.

Субъект и предикат

В синтаксисе

Синтаксический П указывает синтаксическую обоснованность применения произведения в формальной грамматике и аналогичен семантическому предикату, который определяет семантическую действительность применения произведения. В своей первоначальной реализации синтаксические предикаты имели форму «(α)?» и могли появляться только на левом краю произведения. Необходимым синтаксическим условием α может быть любой допустимый контекстно-свободный фрагмент грамматики.

Более формально синтаксический предикат представляет собой форму производственного пересечения, используемого в спецификациях парсера или в формальных грамматиках. В этом смысле термин имеет значение математической функции индикатора. Если p1 и p2 являются производственными правилами, язык, сгенерированный как p1, так и p2, является их заданным пересечением.

Размышляющие грамматики выражений (PEGs), изобретенные Брайаном Фордом, расширяют эти простые П, позволяя им появляться где угодно в пределах производства наравне с «не предикатами». Более того, Форд изобрел процедуру разбора для обработки этих грамматик в линейном времени.

Этот подход реализуется в ANTLR версии 3, которая использует детерминированные конечные автоматы для просмотра. Это может потребовать тестирования предиката для выбора между синтаксическими переходами (так называемый «пред-LL (*)» синтаксический анализ).

В современных теориях синтаксиса

Большинство современных теорий синтаксиса и грамматики берут свое начало в теории исчисления предикатов, связанных с Готлобом Фреге. Это понимание видит предикаты как отношения или функции, стоящие над аргументами. Они служат либо для назначения свойства одному аргументу, либо для связи двух или более аргументов друг с другом. Предложения состоят из предикатов и их аргументов (и дополнений) и являются, таким образом, структурами предикатного аргумента. В соответствии с ними данный П рассматривается как связывание его аргументов с большей структурой.

В логике

Логика первого порядка, также известная как исчисление предикатов первого порядка и логика предикатов, представляет собой набор формальных систем, используемых в математике, философии, лингвистике и информатике. Логика первого порядка использует квантованные переменные над объектами и позволяет использовать предложения, содержащие переменные. Это отличает его от логики высказываний, которая не использует кванторы или отношения.

Логика первого порядка

Подобные теории, как правило, является частью логики первого порядка вместе с определенной областью дискурса, по которой варьируются квантифицированные переменные. Иногда теория понимается в более формальном смысле, а это всего лишь набор предложений в логике первого порядка.

Используемые прилагательные отличают логику первого порядка от логики высших порядков, в которой есть П, имеющие определяющие предикаты или функции в качестве аргументов, или в которых разрешены один или оба квантора предикатов или кванторы функций. В теориях первого порядка предикаты часто связаны с множествами. В интерпретируемых теориях более высокого порядка их можно интерпретировать как множества. Нечто похожее используется и в определении предиката в программировании. Это не удивительно, ведь математика стала своего рода сырьем для этой науки.

Теоретическая часть

Существует много дедуктивных систем для видов суждений и логики первого порядка, которые являются как звуковыми (все доказуемые утверждения верны во всех моделях), так и полными (утверждения, которые верны для всех моделей, являются доказуемыми). Хотя отношение логического следствия разрешимо лишь наполовину, в автоматизированной теореме, доказанной в логике первого порядка, достигнут значительный прогресс. Логика первого порядка также удовлетворяет нескольким металогическим теоремам, которые делают ее пригодной для анализа в теории доказательств, такой как теорема Левенхайма-Сколема и теорема о компактности.

Логика первого порядка является стандартом для формализации математики в аксиомах и изучается в основах математики. Арифметика Пеано и теория множеств Цермело-Френкеля являются аксиоматизациями теории чисел и теории множеств, соответственно, являются частью логики первого порядка. Однако теория первого порядка не имеет возможности однозначно описывать структуру с бесконечной областью, например натуральные числа. Системы аксиом, которые полностью описывают эти две структуры (то есть системы категориальной аксиомы), могут быть получены в более сильных формах логики, таких как логика второго порядка.

Основы логики первого порядка были разработаны независимо Готлобом Фреге и Чарльзом Сандерсом Пирсом.

Источник

Высказывания и предикаты. Кванторы

п.1. Высказывания

Например:
«Число 13 – нечётное» – высказывание, истинное
«2 + 2 = 5» – высказывание, ложное
«Мы живём в XXI веке» – высказывание, истинное
«Который час?» – не высказывание, т.к. вопросительное предложение
«Вася Пупкин – хороший человек» – не высказывание, т.к. неоднозначно. Но, если определить множество людей, которые оцениваются, и правила их оценки так, что предложение приобретёт однозначность, оно станет высказыванием.

Например:
A: натуральное число a делится на 2;
B: натуральное число a чётное.
Заметим, немного забегая наперёд, что в данном случае из А следует В, и из В следует А. Говорят, что эти высказывания эквивалентны: A ⇔ B.

п.2. Предикаты

Например:
P(x): x – объект с четырьмя ногами
При x = слон – предикат становится истинным высказыванием, P(«слон» )=1
При x = муравей – предикат становится ложным высказыванием, т.к. у муравья 6 ног, P(муравей)=0
При x = стол – предикат становится истинным высказыванием, P(«стол» )=1
При x = человек – предикат становится ложным высказыванием, т.к. у человека 2 ноги, P(человек)=0

Например:
P(x):|x| ≥ 0 – выполняется при любом значении x, это тождественный предикат.
$\mathrm>$

Например:
P(x, y): x делится на y – двуместный предикат, который становится истинным высказыванием на парах значений переменных (15;5), (14;7), (16;4) и т.д.
P(a, b):(a + b) 2 = a 2 + 2ab + b 2 – является тождественным двуместным предикатом, т.к. выполняется для любых a и b.

п.3. Кванторы

«для любого…», «для всех…», «любой…»

Единственности и существования

«существует точно одно такое, что…», «существует и единственно…»

Существуют натуральные числа, которые делятся на 13

Существуют треугольники, у которых все углы равны

Например, равносторонний треугольник со стороной 1

Любое натуральное число делится на 5

Например x = 6 на 5 не делится

У любого выпуклого четырехугольника диагонали перпендикулярны

Например, у прямоугольника со сторонами 3 и 4 угол между диагоналями ≈ 74° ≠ 90°

Разность квадратов двух любых выражений равна произведению суммы и разности

Сумма углов любого треугольника равна 180°.

(∀ABC) ∠A + ∠B + ∠C = 180°

Третий класс задач (теорема) – самый сложный, т.к. требует не просто одного примера, а доказательства в общем случае.

п.4. Примеры

Пример 1. Запишите по два высказывания (A – истинное, B – ложное), относящиеся к
а) физике
A: Плотность равна отношению массы тела к его объему.
B: КПД механизма может быть больше 1.
б) химии
A: Гидроксид натрия – сильное основание.
B: Сульфат натрия – нерастворимая соль.
в) географии
A: На Земле шесть материков.
B: На Земле три океана.

Пример 3. С каким из кванторов предикат x 2 + 4 = 12 станет истинным высказыванием?
Если запишем (∀x) x 2 + 4 = 12 – это ложное высказывание, т.к., например, при x=0 оно не выполняется.
Если запишем (∃x) x 2 + 4 = 12 – это истинное высказывание, т.к., например, при $\mathrm>$, оно выполняется.
Если запишем (∃x!) x 2 + 4 = 12 – это ложное высказывание, т.е. решений у данного уравнения не одно, а два: $\mathrm=2\sqrt<2>>$
Ответ: квантор существования ∃.

Источник

Что такое предикат

Значение слова «предикат»

предика́т

Делаем Карту слов лучше вместе

Предикаты и кванторы

Понятие предиката

Примеры предикатов

Готовые работы на аналогичную тему

Операции над предикатами

Кванторы

Примеры применения кванторов

Операции над кванторами

Предикат

Что такое предикат

Логические операции над предикатами

Кванторные операции над предикатами

Обозначение кванторов

Виды кванторов

Квантор общности \(\forall\)

Квантор существования \( \exists\)

Примеры применения

Использование предикатов

Использование кванторов

Предикат

Полезное

Смотреть что такое «Предикат» в других словарях:

ПРЕДИКАТ

Полезное

Смотреть что такое «ПРЕДИКАТ» в других словарях:

предикат

Смотреть что такое «предикат» в других словарях:

предикат

Смотреть что такое «предикат» в других словарях:

Предикат

Содержание

Определение

Примеры

Операции над предикатами

Логические операции

Кванторные операции

Предикат

Полезное

Смотреть что такое «Предикат» в других словарях:

Значение слова предикат

Словарь Ушакова

Словарь лингвистических терминов

Начала Современного Естествознания. Тезаурус

Философский словарь (Конт-Спонвиль)

Грамматический словарь: Грамматические и лингвистические термины

Тезаурус русской деловой лексики

Энциклопедический словарь

Словарь Ожегова

Словари

предикат

Смотреть что такое «предикат» в других словарях:

Предикат

Смотреть что такое «Предикат» в других словарях:

ПРЕДИКАТ (в логике)

Смотреть что такое «ПРЕДИКАТ (в логике)» в других словарях:

Предикаты

Примеры

См. также

Полезное

Смотреть что такое «Предикаты» в других словарях:

ПРЕДИКАТ

Смотреть что такое «ПРЕДИКАТ» в других словарях:

Предикаты

Примеры

См. также

Полезное

Смотреть что такое «Предикаты» в других словарях:

ПРЕДИКАТ

Смотреть что такое «ПРЕДИКАТ» в других словарях:

ПРЕДИКАТ

Полезное

Смотреть что такое «ПРЕДИКАТ» в других словарях:

Лекция 3. Логика предикатов. Логические операции над предикатами

Предикаты в русском языке

Предикаты в русском языке

Морфология предикатов