Предикаты

Ответить на сообщение
Orion
Сообщений: 26
Зарегистрирован: 22 мар 2010, 21:00

Предикаты

Сообщение Orion » 23 мар 2010, 17:47

Подскажите как доказать формулу

$$\forall{x}P(x,y_1..y_n)*Q(y_1..y_n)=\forall{x}(P(x,y_1..y_n)*Q(y_1..y_n)) $$
Последний раз редактировалось Orion 29 ноя 2019, 18:39, всего редактировалось 1 раз.
Причина: test
Вернуться наверх
Аватар пользователя
Ian
Сообщений: 5455
Зарегистрирован: 28 июл 2009, 21:00

Предикаты

Сообщение Ian » 23 мар 2010, 18:53

Orion писал(а):Source of the post
Подскажите как доказать формулу

$$\forall{x}P(x,y_1..y_n)*Q(y_1..y_n)=\forall{x}(P(x,y_1..y_n)*Q(y_1..y_n)) $$
воспользоваться тем,что$$Q(y_1..y_n)=\forall{x}Q(y_1..y_n)$$
Последний раз редактировалось Ian 29 ноя 2019, 18:39, всего редактировалось 1 раз.
Причина: test
Вернуться наверх
Ответить на сообщение

Вернуться в «Дискретная математика»

Кто сейчас на форуме

Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 29 гостей