2014 dxdy logo

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

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




На страницу 1, 2  След.
 
 Предикаты
Сообщение08.01.2011, 15:56 
Аватара пользователя
Записать на языке предикатов утверждение: Не все рабочие получили какие-нибудь надбавки в прошедшем году.

рабочие $A$, надбавки $B$
не все рабочие (т.е. существуют такие рабочие) Е$A$ где Е квантор существования (не нашел как писать), а дальше что-то никак.

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 15:59 
"Не все рабочие получили какие-нибудь надбавки " - неверно, что все рабочие получили какие-нибудь надбавки = неверно, что (какого рабочего мы не возьмем, существовала надбавка, которую он получил).
Тут надо ввести сигнатуру формально, то есть какие есть предметы и отношения.
$\exists$, $\forall$ -- кванторы.

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 16:04 
Аватара пользователя
Согласен, а я что написал $\exists A$ (не все рабочие). А остальное как отразить?

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 16:06 
Например, можно ввести предикаты
$A(x)$ -- объект $x$ является рабочим,
$B(x)$ -- объект $x$ является надбавкой,
$C(x,y)$ -- $y$ выдан $x$.
Воспользуйтесь тем, что фраза "каждый объект $x$, обладающий свойством $P$, обладает свойством $Q$" записывается как $$\forall x (P(x)\to Q(x)),$$ а фраза "некоторый объект $x$, обладающий свойством $P$, обладает свойством $Q$" -- как $$\exists x (P(x)\&Q(x)).$$

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 16:43 
Аватара пользователя
Не пойму! Я просто проболел эту тему, а препод не хочет объяснять. Вот такие дела. Хоть примеры бы найти подобные.

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 16:49 
Как записать "Рабочему $x$ выдана надбавка $y$"? Во введенных мной обозначениях это просто
$$C(x,y).$$
Как теперь сказать, что "Для рабочего $x$ существует надбавка $y$, которую ему выдали"?

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 16:58 
Аватара пользователя
cyb12 в сообщении #396761 писал(а):
Как теперь сказать, что "Для рабочего $x$ существует надбавка $y$, которую ему выдали"?

$\forall x \exists y$ или $\forall x \exists C(x,y)$
Так?

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:06 
mosya12345 в сообщении #396770 писал(а):
$\forall x \exists y$
Так?

Не совсем. Рабочий у нас не любой, а фиксированный.
$$\exists y\,( B(y)\&C(x,y))$$
Так и читаем: Существует объект $y$ такой, что $y$ является надбавкой, и $y$ выдан $x.$
Подумайте, как теперь сказать, что это верно для любого объекта $x,$ являющимся рабочим?

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:15 
Аватара пользователя
Наверное так
$\forall x$Изображение

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:23 
Да, но не хватает того, что $x$ -- рабочий.
Воспользуйтесь тем, что
cyb12 в сообщении #396737 писал(а):
фраза "каждый объект $x$, обладающий свойством P, обладает свойством Q" записывается как $$\forall x (P(x)\to Q(x)),$$

$P$ -- это $A$, $Q$ -- это то, что уже получили.

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:26 
Аватара пользователя
$\forall x(A(x) \to \exists y(B(y) \& C(x,y)))$
Так?

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:29 
Угу. Это почти то, что требовалось в задаче.

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:31 
Аватара пользователя
cyb12 в сообщении #396804 писал(а):
Угу. Это почти то, что требовалось в задаче.

А что значит почти?

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:33 
В условии не все рабочие получили надбавку.

 
 
 
 Re: Предикаты
Сообщение08.01.2011, 17:36 
Аватара пользователя
Тогда
$\exists x(A(x) \to \exists y(B(y) \& C(x,y)))$
Так?

 
 
 [ Сообщений: 19 ]  На страницу 1, 2  След.


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