Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 7 ] |
|
Автор | Сообщение | |
---|---|---|
tanyhaftv |
|
|
P(x)-"х-финансист" Q(y)-"у-мошенник" [math]\exists x \exists y (P(x)=Q(y)) \land \forall x \exists y \overline{(P(x)=Q(y))}[/math] верно? 2 Прапорщики любят порядок, и не только они. какой предикат вторым? (первый-прапорщик) |
||
Вернуться к началу | ||
Booker48 |
|
|
1. Нет. Существует человек, который одновременно является финансистом и мошенником. И существует человек, который является финансистом и не является мошенником.
2. Второй - "не прапорщик". |
||
Вернуться к началу | ||
tanyhaftv |
|
|
1 [math]\exists x \exists y(P(x)=Q(y)) \land \exists x(P(x) \land \overline{Q(x))}[/math]
так? 2 не поняла P(x)- "х-прапорщик" Q(y)- "у любит порядок" [math]\exists x (P(x) \land \overline{Q(x)})[/math] |
||
Вернуться к началу | ||
Booker48 |
|
|
tanyhaftv писал(а): 1 [math]\exists x \exists y(P(x)=Q(y)) \land \exists x(P(x) \land \overline{Q(x))}[/math] так? Нет.Вторая часть правильная. Но зачем в первой две переменных? tanyhaftv писал(а): 2 не поняла P(x)- "х-прапорщик" Q(y)- "у любит порядок" [math]\exists x (P(x) \land \overline{Q(x)})[/math] Это вы записали нечто противоположное: некоторые прапорщики не любят порядок. |
||
Вернуться к началу | ||
tanyhaftv |
|
|
1 [math]\exists x(P(x) \land Q(x))\land \exists x(P(x) \land \overline{Q(x))}[/math]
2 [math]\forall x(P(x) \land Q(x)) \land \exists x(\overline{P(x)} \land Q(x))[/math] |
||
Вернуться к началу | ||
Booker48 |
|
|
Где-то так.
|
||
Вернуться к началу | ||
За это сообщение пользователю Booker48 "Спасибо" сказали: tanyhaftv |
||
3D Homer |
|
|
tanyhaftv писал(а): 2 Прапорщики любят порядок, и не только они. Если под этим подразумевается "все прапорщики", то первая часть формулы должна быть [math]\forall x\,(P(x)\to Q(x))[/math]. Нужно запомнить, что после ∀ обычно пишется импликация, а после ∃ — конъюнкция. |
||
Вернуться к началу | ||
За это сообщение пользователю 3D Homer "Спасибо" сказали: Booker48, tanyhaftv |
||
[ Сообщений: 7 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
Записать на языке предикатов | 5 |
221 |
15 дек 2020, 15:11 |
|
Записать на языке логики предикатов | 0 |
408 |
22 дек 2016, 16:32 |
|
Записать на языке предикатов. Правильно ли? | 1 |
528 |
11 янв 2017, 14:10 |
|
Записать на языке логики предикатов следующее определение | 11 |
1870 |
28 июл 2015, 22:56 |
|
Истинность формулы на языке предикатов | 12 |
354 |
17 дек 2017, 10:02 |
|
Записать на алгебраическом языке
в форуме Начала анализа и Другие разделы школьной математики |
7 |
298 |
24 дек 2020, 23:23 |
|
Записать на языке алгебры логики | 3 |
519 |
20 май 2018, 01:51 |
|
Суждение записать в виде формулы логики предикатов | 10 |
1355 |
24 дек 2015, 13:32 |
|
На каком языке сейчас говорят
в форуме Размышления по поводу и без |
12 |
358 |
03 мар 2021, 07:38 |
|
В чем ошибка? программа на языке паскальАВС
в форуме Информатика и Компьютерные науки |
1 |
165 |
25 май 2020, 22:22 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 23 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |