Математический форум Math Help Planet
Обсуждение и решение задач по математике, физике, химии, экономике Теоретический раздел |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
новый онлайн-сервис число, сумма и дата прописью |
|
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Страница 1 из 1 |
[ Сообщений: 4 ] |
|
Автор | Сообщение | |
---|---|---|
Elena87 |
|
|
1. Все мои тетки несправедливы. решение. универсум: M={люди} пердикаты: S(x)={x-моя тетка}, E(x)={x-несправедлив} формула:[math]\forall x( S(x) \supset E(x))[/math] 2. Все мои одноклассники поехали в Москву и Париж решение. универсум: M={люди} пердикаты: S(x)={x-одноклассники}, E(x)={x-поехал в Москву и Париж} формула:[math]\forall x( S(x) \supset E(x))[/math] 3. В нашем классе ровно 3 отличника. вот тут я не знаю как быть!!! 4. Если число делится на два числа, то оно делится на проихведение этих чисел. решение. универсум: R={рациональные числа} пердикаты: S(x,y)={x делится на y}, E(x,z)={x делится на z}, F (x,y,z)={x делится на y*z}, формула:[math]\forall x(S(x,y ) \And E(x,z) \to F (x,y,z))[/math] |
||
Вернуться к началу | ||
mad_math |
|
|
2. Можно было сделать: [math]E(x)[/math] - x поехал в Москву, [math]P(x)[/math] - х поехал в Париж и
[math]\forall x(S(x)\to E(x) \And P(x))[/math] 3. Возможно так: [math]S(x)[/math] в классе х отличников и формула: [math]S(3)[/math]. 4. В начале формулы должно быть [math]\forall x,\,y,\,z[/math], а не только [math]x[/math]. |
||
Вернуться к началу | ||
Elena87 |
|
|
mad_math писал(а): 2. Можно было сделать: [math]E(x)[/math] - x поехал в Москву, [math]P(x)[/math] - х поехал в Париж и [math]\forall x(S(x)\to E(x) \And P(x))[/math] 3. Возможно так: [math]S(x)[/math] в классе х отличников и формула: [math]S(3)[/math]. 4. В начале формулы должно быть [math]\forall x,\,y,\,z[/math], а не только [math]x[/math]. Спасибо! |
||
Вернуться к началу | ||
mad_math |
|
|
Всегда пожалуйста. Но я не уверена в этом на 100%.
|
||
Вернуться к началу | ||
[ Сообщений: 4 ] |
Похожие темы | Автор | Ответы | Просмотры | Последнее сообщение |
---|---|---|---|---|
перевести на формальный язык | 2 |
224 |
21 дек 2022, 22:00 |
|
Составить грамматику, порождающую формальный язык | 1 |
1148 |
04 ноя 2017, 19:43 |
|
Составить грамматику, порождающую формальный язык | 1 |
1520 |
07 дек 2014, 13:11 |
|
Высказывания перевести на обычный язык
в форуме Линейная и Абстрактная алгебра |
11 |
766 |
10 дек 2016, 15:39 |
|
Как перевести на русский язык фразу, записанную символами? | 1 |
249 |
09 фев 2016, 17:30 |
|
Формальный вывод в ИВ | 3 |
254 |
20 апр 2019, 14:07 |
|
Язык Julia
в форуме Информатика и Компьютерные науки |
4 |
413 |
30 апр 2019, 13:25 |
|
А. Эйнштейн показывает мне язык
в форуме Палата №6 |
108 |
5702 |
18 сен 2015, 21:31 |
|
Задачка (перевод на мат. язык)
в форуме Алгебра |
6 |
514 |
25 авг 2018, 16:51 |
|
Перевод на математический язык
в форуме Пределы числовых последовательностей и функций, Исследования функций |
30 |
2215 |
26 июн 2014, 14:02 |
Часовой пояс: UTC + 3 часа [ Летнее время ] |
Кто сейчас на конференции |
Сейчас этот форум просматривают: Yandex [bot] и гости: 22 |
Вы не можете начинать темы Вы не можете отвечать на сообщения Вы не можете редактировать свои сообщения Вы не можете удалять свои сообщения Вы не можете добавлять вложения |