Правильно ли я перевел?

S(x) - x-спортсмен; P(x) - x-первокурсник; R(x) - x-любитель подводного лова; O(x,y) - x знаком y;

Некоторые из первокурсников знакомы со всеми спортсменами института. ExAy(P(x)&S(y) => O(x,y))

Ни один первокурсник не знаком ни с одним любителем подледного лова. Not(ExEy(P(x)&R(y) => O(x,y)))

Ни один спортсмен не является любителем подледного лова. Not(Ex(S(x)&R(x)))


P(x) - x - может решить задачу; M(x) - x - математик;

Если кто-нибудь может решить эту задачу, то и любой математик может ее решить. Ex(not(M(x))&P(x) => (Ay(M(y)&P(y)))

Олег – математик, но не может решить эту задачу. Ex(M(x)& not(P(x)))

задачу ни может решить никто. Ax(not P(x))

задан 26 Сен '17 21:44

10|600 символов нужно символов осталось
1

Тут многое переведено неправильно.

По первой фразе: там существует первокурсник x, для которого нечто выполнено. Во-первых, это P(x). Во вторых, для любого y из S(y) следует O(x,y). Формула получается такой:

(Ex)(P(x) & (Ay)(S(y)->O(x,y)))

У Вас квантор по y перенесён влево, что исказило смысл. Формула становится верной, если существует хотя бы один не первокурсник. Тогда берём его, и у импликации посылка становится ложной.

Во второй формуле вместо импликации должна идти конъюнкция: неверно, что существуют первокурсник x и любитель подводного лова y, для которых верно O(x,y). там все три условия идут вместе.

Третье написано верно.

В задаче про математика переведена несколько иная фраза, а именно: "если задачу может решить не математик, то может решить и математик". Это логически эквивалентно, но переводить надо буквально. Поэтому должна быть импликация двух высказываний:

(Ex)P(x) -> (Ey)(P(y) & M(y)).

Во второй формуле (заключении) связанную переменную можно было бы выбрать равной x.

В предпоследнем примере сказано, что существует математик, который не может решить задачу. Но это может быть и не Олег. Поэтому для Олега должна быть введена предметная константа c, и получится M(c) & not(P(c)).

Самое последнее из предложений переведено верно.

ссылка

отвечен 26 Сен '17 22:25

спасибо, большое.

(26 Сен '17 22:30) lopet
10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×890

задан
26 Сен '17 21:44

показан
1001 раз

обновлен
26 Сен '17 22:30

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru