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

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

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

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Перевести на формальный язык
СообщениеДобавлено: 26 сен 2013, 20:14 
Не в сети
Начинающий
Зарегистрирован:
20 апр 2013, 22:46
Сообщений: 20
Cпасибо сказано: 3
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Нужно перевести на формальнй язык следующие высказывания. Я конечно перевела, но не знаю насколько правильно.

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]

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Перевести на формальный язык
СообщениеДобавлено: 26 сен 2013, 20:37 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

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

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Перевести на формальный язык
СообщениеДобавлено: 26 сен 2013, 20:42 
Не в сети
Начинающий
Зарегистрирован:
20 апр 2013, 22:46
Сообщений: 20
Cпасибо сказано: 3
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

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


Спасибо!

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Перевести на формальный язык
СообщениеДобавлено: 26 сен 2013, 20:54 
Не в сети
Верховный модератор
Аватара пользователя
Зарегистрирован:
13 окт 2010, 13:09
Сообщений: 19961
Откуда: Пермь + Одесса
Cпасибо сказано: 11721
Спасибо получено:
5319 раз в 4796 сообщениях
Очков репутации: 708

Добавить очки репутацииУменьшить очки репутации
Всегда пожалуйста. Но я не уверена в этом на 100%.

Вернуться к началу
 Профиль  
Cпасибо сказано 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему      Страница 1 из 1 [ Сообщений: 4 ]

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

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

LeraLeics

2

224

21 дек 2022, 22:00

Составить грамматику, порождающую формальный язык

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

genia2030

1

1148

04 ноя 2017, 19:43

Составить грамматику, порождающую формальный язык

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

veronika123

1

1520

07 дек 2014, 13:11

Высказывания перевести на обычный язык

в форуме Линейная и Абстрактная алгебра

gail-ul

11

766

10 дек 2016, 15:39

Как перевести на русский язык фразу, записанную символами?

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

sfanter

1

249

09 фев 2016, 17:30

Формальный вывод в ИВ

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

viva34

3

254

20 апр 2019, 14:07

Язык Julia

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

Emphatic18

4

413

30 апр 2019, 13:25

А. Эйнштейн показывает мне язык

в форуме Палата №6

Trakovski

108

5702

18 сен 2015, 21:31

Задачка (перевод на мат. язык)

в форуме Алгебра

Ilya83

6

514

25 авг 2018, 16:51

Перевод на математический язык

в форуме Пределы числовых последовательностей и функций, Исследования функций

Bonaqua

30

2215

26 июн 2014, 14:02


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



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

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


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

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

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

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