помогите решить задания

[vovamakarovych]

Подскажите правильно ли сделал задания
1) На плоскости задали предикаты
$P(x,y) = {x>y}$
$Q(x,y)= {x^2 + y^2 <1}$
$R(x,y) = {x^2 < y}$
Истинно ли высказывание
$ \exists y \exists x ($P(x,y)\to $R(x,y)$)$?
2)В условиях предыдущей задачи найти область истинности предиката
$\forall x ($Q(x,y)\to R(x,y)$) $
3)Указать, какие из двух следующих формул
$ \forall x Q(x)$ или $$\forall x(P(x)\wedge R(x))$
выводятся из набора формул
$P(x), Q(x), \neg $P(x)$\to \neg $Q(x

ответ
1) да истено
3) выводиться с $ \forall x Q(x)$

[AKM]

Замена формул картинками на форуме не допускается. Исправьте написание формул в соответствии с Правилами.
Здесь рассказано, как набирать формулы (здесь подробнее).
Правила также требуют предъявить свои попытки решения.
Используйте кнопку для редактирования своего сообщения.

Тема перемещена из "Помогите решить (М)" в карантин. Как исправите - пишите сюда, чтобы тему вернули.

[AKM]

Возвращено.