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

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

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

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

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

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

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

предика́т

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

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

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

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

Спасибо! Я стал чуточку лучше понимать мир эмоций.

Вопрос: сервелат — это что-то нейтральное, положительное или отрицательное?

Источник

Предикат (лингвистика)

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

Связанные понятия

Упоминания в литературе

Связанные понятия (продолжение)

Глагольной группой (ГГ, англ. Verb phrase, VP) в лингвистике называют синтаксическую единицу, состоящую из по меньшей мере одного глагола и его зависимых, таких как дополнения, комплементы и другие модификаторы. Исключение составляет подлежащее, не входящее в состав глагольной группы. Так, в предложении Толстый мужчина быстро положил бриллианты в коробку слова быстро положил бриллианты в коробку могут считаться глагольной группой, состоящей из глагола положил и его зависимых, но не включающей в себя.

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

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

Источник

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

Понятие «предикат» обобщает понятие «высказывание». Неформально говоря, предикат – это высказывание, в которое можно подставлять аргументы. Если аргумент один – то предикат выражает свойство аргумента, если больше – то отношение между аргументами.

Возьмём высказывание: « расстояние от Иркутска до Москвы 5 тысяч километров ». Вместо него мы можем записать предикат « расстояние » (означающий, что первый и второй аргумент этого предиката находятся на расстоянии, равном третьему аргументу) для аргументов « Иркутск », « Москва » и « 5 тысяч километров ».

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

Это рассуждение на языке логики высказываний можно записать тремя отдельными высказываниями. Однако никакой связи между ними установить не удастся. На языке логики предикатов эти предложения можно выразить с помощью двух предикатов: « быть человеком » и « быть смертным ». Первое предложение устанавливает связь между этими предикатами.

Перейдём теперь к формальному изложению логики предикатов.

Язык логики предикатов

«Предикатные формулы» обобщают понятие пропозициональной формулы, определённое в части 2.

3.1 Является ли » x формулой?

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

Свободные и связанные переменные

Множество свободных переменных * формулы F определяется рекурсивно, следующим образом:

Представление предложений русского языка предикатными формулами

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

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

3.5 Все простые числа больше чем x.

Ответ: » y ( P ( y ) Й Q ( x, y )).

3.6 Существует простое число, которое меньше чем 10.

3.9 Существует бесконечно много простых чисел.

Подстановка

3.10 Найдите результат подстановки константы a вместо x в формулу из задачи 3.4.

3.12 Терм, не содержащий ни одной связанной переменной формулы F, является подстановочным в F для любой переменной.

Семантика

Выполнимость

Логическое следование

Выводы в логике предикатов

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

Правила для кванторов всеобщности

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

3.19 ( P ( a ) & » x ( P ( x ) Й Q ( x ))) Й Q ( a ).

3.20 » xy P ( x, y ) Й » x P ( x, x ).

Правила для кванторов существования

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

Корректность и полнота логики предикатов

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

Полнота логики предикатов для случая счётного G и для другого множества правил вывода была доказана Куртом Гёделем в 1930 году.

Функциональные символы и равенство: синтаксис

Логика предикатов, определённая выше немного более ограничена, чем что обыкновенно называется «логикой первого порядка», и наша следующая цель – удалить эти ограничения. Во-первых, мы обобщим понятие терма. В дополнение к объектным константам и объектным переменным, мы разрешим построение термов с использованием символов для функций, «функциональных констант». Во-вторых, мы добавим к языку знак равенства, и уравнения будут включены как новый тип атомарных формул.

Наше наиболее общее понятие сигнатуры определяется следующим образом.

Функциональные символы и равенство: семантика

Выводы в логике первого порядка

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

Для каждой из следующих формул найдите вывод из пустого множества посылок.

3.27 x = y Й f ( x, y ) = f ( y, x ).

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

Однако, добавление правил вывода для кванторов второго порядка ведёт к формальной системе которая корректна, но не полна.

Пример: Теория линейного порядка

Арифметика первого порядка

Интерпретация (7) является моделью этой теории. Арифметика первого порядка имеет также другие модели, и некоторые из них совсем не похожи на систему натуральных чисел (задача 3.40).

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

Нестандартные модели арифметики

3.38 Модель арифметики первого порядка (7) стандартна.

3.39 G непротиворечива.

3.40 Арифметика первого порядка имеет нестандартную модель.

Существование нестандартных моделей арифметики следует из теоремы Сколема (1920), который обобщил раннюю работу Леопольда Лёвенхейма (1915). Возможность таких моделей резко контрастирует с результатом задачи 1.41. Разница связана с тем, что язык арифметики первого порядка является слишком ограниченным для выражения аксиомы индукции. «Арифметика второго порядка», в которой схема индукции заменяется по аксиоме (8), не имеет нестандартных моделей.

Источник

ПРЕДИКАТ

Полезное

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

ПРЕДИКАТ — (лат.). Сказуемое в предложении; то, что говорится о предмете. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 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… … Толковый словарь Ожегова

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

Источник

Предикат

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

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

Полезное

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

ПРЕДИКАТ — (от лат. 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… … Толковый словарь Ожегова

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

Источник