Предикаты

k1ng1232 · Сообщение **k1ng1232** » 17 май 2010, 15:42

вот задание выяснить истины ли в данной интерпретации формулы $\forall x\exist y Q^2(x,y)\\ \exist x\forall y Q^2(x,y)\\ \forall y \forall x Q^2(x,y) \\ \exist y \forall x Q^2(x,y)$ область интерпретации [0;2] $$ Q^2(x,y) : |x-1|>=y $$

ну c этим заданиям я вроде справился у меня получилось 1 фор-ла-верна ,вторая-не верна ,третья -не верна ,четвертая -верна a вот co второй частью не получается ,найти область истинности формул $\forall x Q^2(x,y) \\ \exist x Q^2(x,y)$ вот я не совсем понял мне дана область интерпретации мне брать ee как скалярный квадрат т.e. на плоскости это будет квадрат ? спасибо

k1ng1232 · Сообщение **k1ng1232** » 17 май 2010, 17:19

и еще вопрос есть формулы $\forall y \exist x P(x,y) \vee \forall z Q(z)=\forall y \exist x\forall z P(x,y) \vee Q(z)$ это правильно? и еще из этой серии $\exist x Q(x) \vee \exist x \exist y P(x,y)=\exist x \exist y Q(x) \vee P(x,y)$ спасибо ,и посоветуйте какое-нибудь чтиво по этой теме

yourdomain.com