Консультация № 185065
05.01.2012, 17:27
92.79 руб.
07.01.2012, 00:49
0 4 1
Здравствуйте, уважаемые эксперты! Прошу вас ответить на следующий вопрос:
Приведиет формулу исчисления предикатов в ПНФ так, что бы в ней было 3 квантора

[$8707$]x[$8704$]y[$8707$]z[$8707$]u(P(y,z)[$8744$]Q(x,u))

срочно плиз

Обсуждение

Неизвестный
05.01.2012, 17:58
общий
05.01.2012, 18:35
Пардон ошибся в написании
[$8707$]x[$8704$]y[$8707$]z[$8707$]u(P(y,z)[$8744$]Q(x,u))
давно
Профессор
230118
3054
07.01.2012, 01:11
общий
это ответ
Здравствуйте, AlexLG!

Проводим переименование переменных.
∃x∀y∃z∃u(P(y,z)∨Q(x,u))=∃x∀y(∃z∃uP(y,z)∨∃z∃uQ(x,u))=∃x∀y(∃zP(y,z)∨∃uQ(x,u))=∃x∀y(∃tP(y,t)∨∃tQ(x,t))=∃x∀y∃t(P(y,t)∨Q(x,t))
Неизвестный
09.01.2012, 02:00
общий
Адресаты:
Объясните, пожалуйста, механизм предпоследнего перехода когда идет замена на переменную t.
Почему 2 разных переменных z, u заменяются на одну переменную t
давно
Профессор
230118
3054
09.01.2012, 18:41
общий
09.01.2012, 18:51
Связанные переменные всегда можно менять, смысл от этого не меняется.
Они заменяются в разных подформулах.
Цель - в задании, чтобы было 3 переменных.
Форма ответа