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

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

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

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

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




Начать новую тему Ответить на тему  [ Сообщений: 4 ] 
Автор Сообщение
 Заголовок сообщения: Перевод высказывания с формального на разговорный
СообщениеДобавлено: 11 авг 2014, 06:52 
Не в сети
Начинающий
Зарегистрирован:
11 авг 2014, 06:38
Сообщений: 7
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Допусти есть логическая формула:
Ǝx (S(x) & C(x) & O(x)) & Ǝx (S(x) & C(x) & ¬O(x)), где S(x) – быть студентом, C(x) – быть старательным, O(x) – быть отличником.
Я интерпретировал её следующим образом: Некоторые старательные студенты являются отличниками, но не все старательные учатся на пятёрки.

Прошу указать на ошибки.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Перевод высказывания с формального на разговорный
СообщениеДобавлено: 11 авг 2014, 07:54 
В сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 17275
Откуда: Беларусь, Минск
Cпасибо сказано: 1201
Спасибо получено:
3699 раз в 3423 сообщениях
Очков репутации: 702

Добавить очки репутацииУменьшить очки репутации
deepstyle писал(а):
Допусти есть логическая формула:
Ǝx (S(x) & C(x) & O(x)) & Ǝx (S(x) & C(x) & ¬O(x)), где S(x) – быть студентом, C(x) – быть старательным, O(x) – быть отличником.
Я интерпретировал её следующим образом: Некоторые старательные студенты являются отличниками, но не все старательные учатся на пятёрки.

Прошу указать на ошибки.

deepstyle, а какие символы находятся после кванторов перед [math]x[/math] в заданной формуле? Они отображаются на мониторе моего компьютера как квадраты.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Перевод высказывания с формального на разговорный
СообщениеДобавлено: 11 авг 2014, 08:07 
Не в сети
Начинающий
Зарегистрирован:
11 авг 2014, 06:38
Сообщений: 7
Cпасибо сказано: 1
Спасибо получено:
0 раз в 0 сообщении
Очков репутации: 1

Добавить очки репутацииУменьшить очки репутации
Andy писал(а):
deepstyle писал(а):
Допусти есть логическая формула:
Ǝx (S(x) & C(x) & O(x)) & Ǝx (S(x) & C(x) & ¬O(x)), где S(x) – быть студентом, C(x) – быть старательным, O(x) – быть отличником.
Я интерпретировал её следующим образом: Некоторые старательные студенты являются отличниками, но не все старательные учатся на пятёрки.

Прошу указать на ошибки.

deepstyle, а какие символы находятся после кванторов перед [math]x[/math] в заданной формуле? Они отображаются на мониторе моего компьютера как квадраты.


Символ существует. Повернутая буква Е на 180 градусов.

Вернуться к началу
 Профиль  
Cпасибо сказано 
 Заголовок сообщения: Re: Перевод высказывания с формального на разговорный
СообщениеДобавлено: 11 авг 2014, 09:25 
В сети
Light & Truth
Аватара пользователя
Зарегистрирован:
16 июл 2011, 09:33
Сообщений: 17275
Откуда: Беларусь, Минск
Cпасибо сказано: 1201
Спасибо получено:
3699 раз в 3423 сообщениях
Очков репутации: 702

Добавить очки репутацииУменьшить очки репутации
deepstyle, Вы невнимательно прочитали мой вопрос: "А какие символы находятся после кванторов перед [math]x[/math] в заданной формуле?". Получается, что символов нет. Тогда высказывание: "Некоторые старательные студенты являются отличниками, но не все старательные учатся на пятёрки" можно считать переводом на разговорный язык. Ещё проще было бы написать так: "Старательный студент - не обязательно отличник". :)

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

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

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

ellozoid

4

213

23 июн 2014, 23:11

Перевод

в форуме Специальные разделы

valentina

7

398

07 янв 2013, 22:48

Перевод в двоичный вид

в форуме Maple

Miha_MJK

0

400

11 мар 2014, 18:33

Перевод векторов

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

Monroe

21

688

01 мар 2015, 19:36

Предикаты и высказывания

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

umka1989umka

12

140

10 ноя 2017, 16:17

 Высказывания и логика

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

Zain

1

80

14 фев 2018, 21:32

Паскаль. Перевод из 10-й в 16-ю СС

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

sfanter

1

481

23 июл 2014, 22:52

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

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

Ilya83

6

142

25 авг 2018, 17:51

Перевод единиц измерения

в форуме Механика

passik

8

429

06 апр 2014, 13:26

Перевод нормализованного числа

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

Iron_f1st

0

318

03 ноя 2014, 17:29


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



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

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


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

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

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

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