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

Математический форум 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
Сообщений: 16836
Откуда: Беларусь, Минск
Cпасибо сказано: 1151
Спасибо получено:
3634 раз в 3360 сообщениях
Очков репутации: 697

Добавить очки репутацииУменьшить очки репутации
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
Сообщений: 16836
Откуда: Беларусь, Минск
Cпасибо сказано: 1151
Спасибо получено:
3634 раз в 3360 сообщениях
Очков репутации: 697

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

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

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

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

ellozoid

4

211

23 июн 2014, 23:11

Перевод

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

valentina

7

388

07 янв 2013, 22:48

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

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

Monroe

21

673

01 мар 2015, 19:36

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

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

sfanter

1

465

23 июл 2014, 22:52

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

в форуме Maple

Miha_MJK

0

396

11 мар 2014, 18:33

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

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

Zain

1

78

14 фев 2018, 21:32

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

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

umka1989umka

12

137

10 ноя 2017, 16:17

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

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

passik

8

421

06 апр 2014, 13:26

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

в форуме Школьная физика

Alyoka

2

433

04 ноя 2013, 21:31

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

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

Bonaqua

30

1651

26 июн 2014, 15:02


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



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

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


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

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

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

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