Предложение (в логике)

Предложение (в логике)

Предложение (в логике)

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

Примеры

Выражение

\forall y\exists x (x^2=y)

является предложением, т.к имеет фиксированную таблицу истинности. Для любого значения y можно определить истинность этого выражения, y - связанная переменная. Напротив, выражение

\exists x(x^2=y)

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

Литература

Лавров И. А., Максимова Л. Л. — Задачи по теории множеств, математической логике и теории алгоритмов.

Клини С. - Математическая логика.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "Предложение (в логике)" в других словарях:

  • Предложение (в логике) — Предложение в логике, см. в ст. Высказывание …   Большая советская энциклопедия

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

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

  • предложение контрфактическое — (от лат. contra против, factum событие) сложное высказывание, в котором с помощью союза если бы..., то бы... объединяются два высказывания A и В. В естественном языке ему соответствуют предложения, имеющие форму условно сослагательного наклонения …   Словарь терминов логики

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

  • Предложение — I ср. 1. процесс действия по гл. предложить, предлагать отт. Результат такого процесса действия. 2. То, что предлагается вниманию, что предложено для обсуждения, рассмотрения или исполнения. 3. Обращение с просьбой к женщине вступить с нею в брак …   Современный толковый словарь русского языка Ефремовой

  • Предложение — I ср. 1. процесс действия по гл. предложить, предлагать отт. Результат такого процесса действия. 2. То, что предлагается вниманию, что предложено для обсуждения, рассмотрения или исполнения. 3. Обращение с просьбой к женщине вступить с нею в брак …   Современный толковый словарь русского языка Ефремовой

  • Предложение — I ср. 1. процесс действия по гл. предложить, предлагать отт. Результат такого процесса действия. 2. То, что предлагается вниманию, что предложено для обсуждения, рассмотрения или исполнения. 3. Обращение с просьбой к женщине вступить с нею в брак …   Современный толковый словарь русского языка Ефремовой

  • Предложение — I ср. 1. процесс действия по гл. предложить, предлагать отт. Результат такого процесса действия. 2. То, что предлагается вниманию, что предложено для обсуждения, рассмотрения или исполнения. 3. Обращение с просьбой к женщине вступить с нею в брак …   Современный толковый словарь русского языка Ефремовой

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


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

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