пропозициональная функция

пропозициональная функция
пропозициона́льная фу́нкция
* * *
ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ
ПРОПОЗИЦИОНА́ЛЬНАЯ ФУ́НКЦИЯ, см. Предикат (см. ПРЕДИКАТ (в логике)).

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

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "пропозициональная функция" в других словарях:

  • ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — см. Предикат …   Большой Энциклопедический словарь

  • ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ —         см. в ст. Предикат. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983 …   Философская энциклопедия

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

  • ПРОПОЗИЦИОНАЛЬНАЯ ФУНКЦИЯ — функция, аргументами и значениями к рой являются истинностные значения. Этот термин употребляют, когда речь идет об интерпретации формализованного логич. языка. Если W множество истинностных значений формул данного языка, то П. ф. это любое… …   Математическая энциклопедия

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

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

  • пропозициональная логика —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

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

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

  • Отношение (логика) — У этого термина существуют и другие значения, см. Отношение. Отношение в логике первого порядка двух и более аргументный предикат (многоместный предикат), двух и более предикатное свойство. Знак отношения: R.[уточнить] В терминах отношений… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»