Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]




Начать новую тему Ответить на тему  [ Сообщений: 7 ] 
Автор Сообщение
 Заголовок сообщения: Записать на языке предикатов
СообщениеДобавлено: 13 июл 2018, 23:48 
Не в сети
Оракул
Зарегистрирован:
08 фев 2018, 16:46
Сообщений: 994
Cпасибо сказано: 102
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
1 Некоторые финансисты-мошенники, но не все
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 Прапорщики любят порядок, и не только они.
какой предикат вторым? (первый-прапорщик)

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать на языке предикатов
СообщениеДобавлено: 14 июл 2018, 01:24 
Не в сети
Light & Truth
Зарегистрирован:
02 дек 2016, 22:55
Сообщений: 5208
Cпасибо сказано: 342
Спасибо получено:
924 раз в 873 сообщениях
Очков репутации: 131

Добавить очки репутацииУменьшить очки репутации
1. Нет. Существует человек, который одновременно является финансистом и мошенником. И существует человек, который является финансистом и не является мошенником.
2. Второй - "не прапорщик".

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать на языке предикатов
СообщениеДобавлено: 14 июл 2018, 13:10 
Не в сети
Оракул
Зарегистрирован:
08 фев 2018, 16:46
Сообщений: 994
Cпасибо сказано: 102
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
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]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать на языке предикатов
СообщениеДобавлено: 14 июл 2018, 13:39 
Не в сети
Light & Truth
Зарегистрирован:
02 дек 2016, 22:55
Сообщений: 5208
Cпасибо сказано: 342
Спасибо получено:
924 раз в 873 сообщениях
Очков репутации: 131

Добавить очки репутацииУменьшить очки репутации
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]

Это вы записали нечто противоположное: некоторые прапорщики не любят порядок.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать на языке предикатов
СообщениеДобавлено: 14 июл 2018, 13:58 
Не в сети
Оракул
Зарегистрирован:
08 фев 2018, 16:46
Сообщений: 994
Cпасибо сказано: 102
Спасибо получено:
1 раз в 1 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
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]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Записать на языке предикатов
СообщениеДобавлено: 14 июл 2018, 14:03 
Не в сети
Light & Truth
Зарегистрирован:
02 дек 2016, 22:55
Сообщений: 5208
Cпасибо сказано: 342
Спасибо получено:
924 раз в 873 сообщениях
Очков репутации: 131

Добавить очки репутацииУменьшить очки репутации
Где-то так.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю Booker48 "Спасибо" сказали:
tanyhaftv
 Заголовок сообщения: Re: Записать на языке предикатов
СообщениеДобавлено: 14 июл 2018, 14:38 
Не в сети
Последняя инстанция
Зарегистрирован:
06 июн 2013, 16:17
Сообщений: 2590
Cпасибо сказано: 104
Спасибо получено:
746 раз в 701 сообщениях
Очков репутации: 158

Добавить очки репутацииУменьшить очки репутации
tanyhaftv писал(а):
2 Прапорщики любят порядок, и не только они.
Если под этим подразумевается "все прапорщики", то первая часть формулы должна быть [math]\forall x\,(P(x)\to Q(x))[/math]. Нужно запомнить, что после ∀ обычно пишется импликация, а после ∃ — конъюнкция.

Вернуться к началу
 Профиль  
Cпасибо сказано 
За это сообщение пользователю 3D Homer "Спасибо" сказали:
Booker48, tanyhaftv
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 7 ]

 Похожие темы   Автор   Ответы   Просмотры   Последнее сообщение 
Записать на языке предикатов

в форуме Дискретная математика, Теория множеств и Логика

Anura1402

5

221

15 дек 2020, 15:11

Записать на языке логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

Escritor731

0

408

22 дек 2016, 16:32

Записать на языке предикатов. Правильно ли?

в форуме Дискретная математика, Теория множеств и Логика

wildnothing

1

528

11 янв 2017, 14:10

Записать на языке логики предикатов следующее определение

в форуме Дискретная математика, Теория множеств и Логика

lazebny

11

1870

28 июл 2015, 22:56

Истинность формулы на языке предикатов

в форуме Дискретная математика, Теория множеств и Логика

mera

12

354

17 дек 2017, 10:02

Записать на алгебраическом языке

в форуме Начала анализа и Другие разделы школьной математики

dikarka2004

7

298

24 дек 2020, 23:23

Записать на языке алгебры логики

в форуме Дискретная математика, Теория множеств и Логика

tanyhaftv

3

519

20 май 2018, 01:51

Суждение записать в виде формулы логики предикатов

в форуме Дискретная математика, Теория множеств и Логика

Maxim30

10

1355

24 дек 2015, 13:32

На каком языке сейчас говорят

в форуме Размышления по поводу и без

Nataly-Mak

12

358

03 мар 2021, 07:38

В чем ошибка? программа на языке паскальАВС

в форуме Информатика и Компьютерные науки

matema+tika

1

165

25 май 2020, 22:22


Часовой пояс: UTC + 3 часа [ Летнее время ]



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 23


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  

Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved