Значения слова Предикат. Что такое Предикат?

Слово состоит из 8 букв: первая п, вторая р, третья е, четвёртая д, пятая и, шестая к, седьмая а, последняя т,

Слово предикат английскими буквами (транслитом) - predikat

Предика́т

ПРЕДИКА́Т (лат. praedicatum) – в традиц. логике один из двух терминов суждения, а именно тот, что "сказывается" (говорится) о другом, о т.н. предмете речи (субъекте).

Философская энциклопедия

Предикат

Предика́т (лат. praedicatum — заявленное, упомянутое, сказанное) — это то, что утверждается о субъекте. Субъектом высказывания называется то, о чём делается утверждение.

ru.wikipedia.org

Предикат - это повествовательное предложение, содержащие предметные (индивидные переменные), замена которых на константные значения превращает рассматриваемое предложение в высказывание - истинное или ложно.

Энциклопедический фонд России

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

Словарь по логике. - 1997

Правильное написание и ударение в слове ПРЕДИКАТ

Предика́т, -а.

Орфографический словарь. — 2004

КВАНТИФИКАЦИЯ ПРЕДИКАТА

КВАНТИФИКАЦИЯ ПРЕДИКАТА (лат. quantum — сколько, англ. quantity — количество) — установление объема предиката суждения. В традиционной формальной логике суждения делятся на виды в зависимости от объема субъекта; при этом различаются два вида суждении…

Философский энциклопедический словарь. - М., 1989

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

Философская энциклопедия

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

ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно-предикатная структура высказывании и истинностные взаимосвязи между ними.

Философская энциклопедия

ЛОГИКА ПРЕДИКАТОВ — раздел современной логики символической, изучающий рассуждения и другие языковые контексты с учетом внутренней структуры входящих в них простых высказываний, при этом выражения языка трактуются функционально…

Философская энциклопедия

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

Большая советская энциклопедия (БСЭ). — 1969—1978

ПРЕДИКА́ТОВ ИСЧИСЛЕ́НИЕ

ПРЕДИКА́ТОВ ИСЧИСЛЕ́НИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к-рые изучают субъектно-предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике…

Философская энциклопедия

ПРЕДИКАТОВ ИСЧИСЛЕНИЕ

ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами…

Математическая энциклопедия. - 1977-1985

ПРЕДИКАТОВ КЛАССИФИКАЦИИ

ПРЕДИКА́ТОВ КЛАССИФИКА́ЦИИ (иерархии предикатов) – методы приписывания предикатам (в формализованных исчислениях логики и математики) различных "степеней конструктивности"…

Философская энциклопедия

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

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

Словарь по логике. - 1997

ПРОТИВОПОСТАВЛЕНИЕ ПРЕДИКАТУ - способ преобразования простого суждения, который заключается в том, что сначала это суждение подвергается превращению, а затем - обращению.

Гусев Д. Краткий курс логики. - 2003

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

Кираснов О.И. Традиционная логика. - 2005

РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКА́ТЫ

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

Философская энциклопедия

СОХРАНЕ́НИЕ ПРЕДИКА́ТА

СОХРАНЕ́НИЕ ПРЕДИКА́ТА — понятие алгебры логики, применяемое для формулировки критериев полноты функциональной классов функций различных систем многозначной логики; введено сов. математиком А.

Философская энциклопедия