2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 помогите решить задания
Сообщение03.12.2011, 12:19 
Подскажите правильно ли сделал задания
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)$

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

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

 
 
 
 Re: помогите решить задания
Сообщение04.12.2011, 10:32 
Аватара пользователя
Возвращено.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group