матлогика_методичка. Методические указания к выполнению практических работ Омск Издательство Омгту 2009

• Название: Методические указания к выполнению практических работ Омск Издательство Омгту 2009
• Анкор: матлогика_методичка.doc
• Дата: 04.05.2017
• Размер: 0.58 Mb.
• Имя файла: матлогика_методичка.doc
• Тип: Методические указания; #7036
• страница: 7 из 14

2.2. Приведенные и предваренные нормальные формулы

Формулы, в которых из логических символов имеются только символы ,  и причем символ встречается лишь перед символами предикатов, называются приведенными формулами. Для каждой формулы существует равносильная ей приведенная формула, причем множества свободных и связанных переменных этих формул совпадают. Приведенная формула называется предваренной нормальной, если она не содержит символов кванторов или все символы кванторов стоят впереди. Для каждой приведенной формулы существует равносильная ей нормальная формула.

Пример 2.1.

Найти равносильную предваренную нормальную формулу для приведенной формулы: xyA(x, y)  xu(x, u).

В формуле yA(x, y) переменная y связана, поэтому yA(x, y) не зависит от y. Обозначим D(x) = yA(x, y).

В формуле uB(x, u) переменная u связана, поэтому uB(x, u) не зависит от u. Обозначим F(x) = uB(x, u).

Тогда xyA(x, y)  xuB(x, u) = xD(x)  xF(x).

Применим правило переименования переменных и за скобки вынесем два квантора x и x. Получим

xD(x)  xF(x) xz(D(x)  F(z)).

Рассмотрим формулу D(x)  F(z) = yA(x, y)  uB(z, u). Применив два раза правило вынесения квантора за скобки, получим

yA(x, y)  uB(z, u) y(A(x, y)  uB(z, u)) yu (A(x, y)  B(z, u)).

Применив снова правило вынесения квантора за скобки, получим окончательно

xyA(x, y)  xuB(x, u) xzyu(A(x, y)  B(z, u)).

В полученном тождестве в левой части – исходная формула, а в правой части – ее предваренная нормальная формула.
Пример 2.2.

Найти равносильную предваренную нормальную формулу для формулы: xyA(x, y)  xuB(x, u).

1. Найдем вначале приведенную формулу, равносильную данной. Избавимся от символа 

xyA(x, y)  xu(x, u)(xyA(x, y))  xuB(x, u).

Применим правило переноса квантора через отрицание:

(xyA(x, y)) xyA(x, y),

Следовательно,

xyA(x, y)  xuB(x, u)xyA(x, y) xuB(x, u).

Правая часть тождества – приведенная формула, равносильная данной.

2. Найдем теперь предваренную нормальную формулу, равносильную приведенной формуле xyA(x, y)  xuB(x, u). Проделаем преобразование этой формулы аналогично предыдущему примеру:

xyA(x, y)xuB(x, u)xyA(x, y)  zuB(z, u)

xz(yA(x, y)  uB(z, u))xzyu(A(x, y) B(z, u)).

Получена предваренная нормальная формула, равносильная исходной.

2.3. Выражение суждения в виде формулы логики предикатов

Суждение – это мысль, в которой утверждается наличие или отсутствие свойств предметов, отношений между предметами. Простым суждением называется суждение, в котором нельзя выделить часть, в свою очередь являющуюся суждением. Среди простых суждений выделяют атрибутивные суждения и суждения об отношениях. В атрибутивных суждениях выражается наличие или отсутствие у предметов некоторых свойств. Например, "Иванов – спортсмен", "некоторые моря имеют пресную воду".

Все атрибутивные суждения можно разделить на типы и перевести на язык логики предикатов: "a есть P" – P(a) ; "Все S есть P" – x(S(x)P(x)) (общеутвердительное суждение); "Ни один S не есть P" – x(S(x)P(x)) (общеотрицательное суждение); "Некоторые S есть P" – x(S(x)P(x)); (частноутвердительное суждение); "Некоторые S не есть P"– x(A(x)P(x)) (частноотрицательное суждение).

При переводе на язык логики предикатов надо руководствоваться правилом: если кванторная переменная связана квантором общности (), то в формуле используется знак импликации ( )а если кванторная переменная связана квантором существования (), то в формуле используется знак конъюнкции ().

Пример 2.3.

Перевести на язык логики предикатов следующие суждения.

а) Андрей – студент.

Заменим имя " Андрей" символом "а" и введем предикат P(x) = "x – студент". Это суждение можно выразить формулой: P(а).

б) Всякая логическая функция может быть задана таблицей.

Введем предикаты S(x) = "x – логическая функция"; P(x) = "x может быть задана таблицей". Это суждение можно выразить формулой: x(S(x)  P(x)).

в) Ни один человек не всеведущ.

Введем предикаты S(x) = "x – человек"; P(x) = "x всеведущ". Суждение можно выразить формулой: x(S(x)  P(x)).

г) Некоторые студенты были на конференции.

Введем предикаты S(x) = "x – студент"; P(x) = "x был на конференции". Суждение можно выразить формулой: x(S(x)  P(x)).

д) Некоторые люди не умеют слушать.

Введем предикаты S(x) = "x – человек"; P(x) = "x умеет слушать". Суждение можно выразить формулой: x(A(x)  P(x)).

Суждения об отношениях выражают отношения между объектами. При переводе этих суждений в формулы используют многоместные предикаты и рассмотренные правила. При переводе отрицаний суждений на язык формул применяется правило переноса квантора через знак отрицания и другие равносильные преобразования.

Пример 2.4.

Суждение "Некоторые студенты сдали все экзамены" записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.

Введем предикаты: A(x) = "x – студент"; B(y) = "y – экзамен", C(x, y) =
"x сдал экзамен y". Тогда предложение "Некоторые студенты сдали все экзамены" можно записать в виде следующей формулы:

xy(A(x)B(y)  C(x, y)).

Построим отрицание этой формулы, применяя равносильные преобразования:

xy(A(x)B(y)C(x, y))) xy((A(x)B(y) C(x, y))

xy(A(x)B(y) C(x, y)).

Это предложение можно прочитать следующим образом:

"Каждый студент не сдал хотя бы один экзамен".