Даны следующие предикаты: E(x,y) = x и y один и тот же человек; S(x,y) = x сын y; D(x,y) = x дочь y; H(x,y) = x муж y; Записать следующее высказывание: Некоторые супруги имеют детей только мужского пола Я записал это следующим образом: x муж y и не существует такого а, который является дочерью x, и не существует такого a, которая является дочерью y, и аналогично с сыном, только без отрицания. Преподавателя такая запись не устроила, а как записать по-другому я не знаю. Подскажите, пожалуйста

задан 15 Июн '17 17:27

изменен 15 Июн '17 17:28

1

Во-первых, в начале надо сказать, что существуют такие x и y, что x муж y. Во-вторых, мне кажется, не обязательно говорить, что существует a такой, что он сын, ведь по сути требуется сказать что для любого ребенка этой пары, он является сыном, это не значит, что этот сын обязательно существует. Или короче: существуют x и y такие, что x муж y, и для любого а верно, что а не дочь x и не дочь y.

(15 Июн '17 17:40) kotkatyakot

Никогда не нравились такие задачи, так как фразу с русского языка можно по-разному интерпретировать, и приходится многое уточнять. Так здесь, например, не ясно, считается ли, если у супругов нет детей, что все их дети мужского пола.

(15 Июн '17 17:44) kotkatyakot

@kotkatyakot, спасибо, надеюсь преподавателя такой ответ устроит. У меня есть ещё 2 задания подобного типа, которые я уже решил. Я создам тему, не могли бы вы посмотреть и сделать замечания, если они будут. Спасибо

(15 Июн '17 18:11) Quintin65
10|600 символов нужно символов осталось
Знаете, кто может ответить? Поделитесь вопросом в Twitter или ВКонтакте.

Ваш ответ

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

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

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

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

отмечен:

×871
×408
×59

задан
15 Июн '17 17:27

показан
432 раза

обновлен
15 Июн '17 18:11

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

по почте:

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

по RSS:

Ответы

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

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