yourdomain.com • Предикаты

Страница 1 из 1

Предикаты

Добавлено: 23 мар 2010, 17:47

Orion

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

$\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))$

Предикаты

Добавлено: 23 мар 2010, 18:53

Ian

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)$