Перекласти формальною мовою - MathHelpPlanet

Обговорення та вирішення завдань з математики, фізики, хімії, економіки

Часовий пояс: UTC + 3 години [ Літній час ]

Перекласти формальною мовою

Часовий пояс: UTC + 3 години [ Літній час ]

MathHelpPlanet.com

Сторінка1 із1

[ Повідомлень: 4 ]

Для друку

Попер. тема Слід. тема

Автор Повідомлення

Elena87

Початківець

Зареєстрований:20 Квітня 2013, 22:46Повідомлень:20Дякуємо сказано:3Спасибі отримано:0 разів на 0 повідомленніОкулярів репутації: 1

Потрібно перекласти формальною мовою такі висловлювання. Я, звичайно, переклала, але не знаю наскільки правильно.

1. Усі мої тітки несправедливі.

2. Усі мої однокласники поїхали до Москви та Парижа

3. У нашому класі рівно 3 відмінники. Ось тут я не знаю, як бути.

4. Якщо число ділиться на два числа, воно ділиться на проїхання цих чисел.

Повернутися до початку

Light & Truth

Зареєстрований:13 жовт 2010, 13:09Повідомлень:19055Звідки:Перм + ОдесаСпасибі сказано:11336Спасибі отримано:5112 разів у 4619 повідомленняхОкулярів репутації: 692

2. Можна було зробити: [math]E(x)[/math] - x поїхав до Москви, [math]P(x)[/math] - х поїхав до Парижа і [math]\forall x( S(x)\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

Початківець

Зареєстрований:20 Квітня 2013, 22:46Повідомлень:20Дякуємо сказано:3Спасибі отримано:0 разів на 0 повідомленніОкулярів репутації: 1

2. Можна було зробити: [math]E(x)[/math] - x поїхав до Москви, [math]P(x)[/math] - х поїхав до Парижа і [math]\forall x( S(x)\E(x) \And P(x))[/math]

3. Можливо так: [math]S(x)[/math] у класі x відмінників і формула: [math]S(3)[/math].

4. На початку формули має бути [math]\forall x,\,y,\,z[/math], а не тільки [math]x[/math].

Повернутися до початку

mad_math

Light & Truth

Зареєстрований:13 жовт 2010, 13:09Повідомлень:19055Звідки:Перм + ОдесаСпасибі сказано:11336Спасибі отримано:5112 разів у 4619 повідомленняхОкулярів репутації: 692Повернутися до початку

Сторінка1 із1

[ Повідомлень: 4 ]

Схожі теми Автор Відповіді Перегляди Останнє повідомлення

Скласти граматику, яка породжує формальну мову 07 Гру 2014, 13:11 04, лис 2017, 19:43 26 Вер 2013, 20:54 10 Гру 2016, 15:39 03 груд2012, 17:15 09, лют 2016, 17:30 29 січ 2011, 18:21 30 вер 2017, 22:35 Часовий пояс: UTC + 3 години [ Літній час ] Хто зараз на конференції Зараз цей форум переглядають: немає зареєстрованих користувачів та гості: 17

---