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

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

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

ПРЕДИКАТНЫЙ СИМВОЛ

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

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

ПРЕДИКАТНЫЙ ТИТУЛ

ПРЕДИКАТНЫЙ ТИТУЛ - пояснение какого-либо предмета, суждения — в России обычно «господин», а также «государь» и «сударь». Все три имеют общее происхождение. Исходным было слово «Господь»…

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

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

Предика́тный.

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

Логика

ЛОГИКА — формальная, наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли…В Л. высказываний отвлекаются от понятийного состава высказываний (их субъектно-предикатной структуры). Сохраняя характер смысловых связей Л. высказываний, в Л. предикатов, напротив...

Советский философский словарь. - 1974

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

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

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

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

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

ЛОГИКА ПРЕДИКАТОВ - раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. "Логика высказываний")…Элементарные формулы Фо получаются посредством применения предикатных букв к термам: P(tl, …, tn). В зависимости от величины n определяется "местность" функциональных и предикатных букв.

Кемеров В. Философская энциклопедия. - М., 1998

Моделей теория

МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей.Эти формулы строятся из константных символов (констант), переменных, функциональных и предикатных символов определенной валентности (фиксированную для данной логики или теории...

Прохоров Б.Б. Экология человека. - 2005

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

ru.wikipedia.org

МОДЕЛЕЙ ТЕОРИЯ - раздел математической логики, изучающий математические модели. Начало М. т. относится к 30-м гг. 20 в., когда были доказаны следующие две основные теоремы.Пусть обозначает обогащение алгебраич. системы Апри помощи предиката, а - сигнатуру, полученную из присоединением предикатного символа Р. Во многих случаях важно понять, когда в каждой...

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

Предикатная лексика

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

Жеребило Т.В. Термины и понятия лингвистики: Лексика. Лексикология. Фразеология. Лексикография: Словарь-справочник. - Назрань, 2011

ПРЕДИКАТНАЯ ПЕРЕМЕННАЯ

ПРЕДИКАТНАЯ ПЕРЕМЕННАЯ — переменная, значениями к-рой могут быть предикаты. При формальном построении аксиоматич. систем П. п. отличаются от индивидных переменных тем, что вместо них можно подставлять формулы.

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

Субъект

СУБЪЕКТ (от лат. subjectum – букв. «лежащее внизу, подлежащее, подверженное»), то, о чем говорится в предложении; предмет мысли, о котором выносится суждение (в отличие от предиката и от связки), а также член предложения…Так, во фразе Сократ – грек логический субъект Сократ имеет референтную (денотативную) функцию, а логический предикат грек – предикатную (атрибутивную, сигнификативную) функцию.

Энциклопедия Кругосвет