Равносильными преобразованиями приведите формулу алгебры предикатов из таблицы 6. Бесплатный доступ к решению задач

Реферат.Справочник
Решенные задачи по высшей математике
Равносильными преобразованиями приведите формулу алгебры предикатов из таблицы 6

Равносильными преобразованиями приведите формулу алгебры предикатов из таблицы 6 .pdf

Зарегистрируйся в 2 клика в Кампус и получи неограниченный доступ к материалам с подпиской Кампус+ 🔥

Условие

Равносильными преобразованиями приведите формулу алгебры предикатов из таблицы 6.1 к предваренной (пренексной) нормальной форме. Таблица 6.1 № вар. Формула алгебры предикатов 7 R(x,y)→(y)Py→xPx→Qx Задание Равносильными преобразованиями приведите формулу алгебры предикатов к предваренной (пренексной) нормальной форме: R(x,y)→(y)Py→xPx→Qx.

Решение

Потяни, чтобы посмотреть

Предваренной нормальной формой является форма вида: (Q1x1)…Qmxm(Fx1, …, xm), где Qi – квантор и формула F(x1, …, xm) не содержит кванторов.
Данная формула является импликацией двух подформул. В начале второй подформулы имеется квантор по переменной y, так что переменная y оказывается связанной во всей подформуле . Во второй подформуле также имеется квантор по переменной x, так что переменная x оказывается связанной в области действия квантора. В силу связанности кванторами они могут быть обозначены любой другой буквой

50% задачи недоступно для прочтения

Переходи в Кампус, регистрируйся и получай полное решение

Получить задачу