Логика - доступно для всех

  • Увеличить размер шрифта
  • Размер шрифта по умолчанию
  • Уменьшить размер шрифта

Простые и составные формулы исчисления предикатов. Область действия предикатов

Поможем написать любую работу на аналогичную тему

Получить выполненную работу или консультацию специалиста по вашему учебному проекту
Узнать стоимость

Простая (или элементарная) формула есть выражение, получающееся из предикатного символа подстановкой в него вместо переменных, входящих в предикатный символ, каких-либо переменных. Например, из предикатного символа Простые и составные формулы исчисления предикатов. Область действия предикатов получаются простые формулы Простые и составные формулы исчисления предикатов. Область действия предикатов и Простые и составные формулы исчисления предикатов. Область действия предикатов. Мы расширим множество простых формул, присоединив к нему все те выражения, какие можно образовать, применяя повторно и всевозможными способами сентенциональные связки и кванторы. Точнее, мы расширим множество простых формул до такого наименьшего множества, которое удовлетворяет следующим условиям: если А и В – элементы данного множества, то элементами его будут и Простые и составные формулы исчисления предикатов. Область действия предикатов. Кроме того, если А – элемент данного множества, а x – переменная, то Простые и составные формулы исчисления предикатов. Область действия предикатов и Простые и составные формулы исчисления предикатов. Область действия предикатов - тоже элементы этого множества. Элементы такого расширенного множества называются формулами. Те из них, которые не являются простыми, называются составными формулами.

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

Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные корректировки и доработки. Узнайте стоимость своей работы.

Простые и составные формулы исчисления предикатов. Область действия предикатов

 

Случайная новость