Высказывание на языке предикатов

[AnnaP10]

Даны следующие предикаты:
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, и аналогично с сыном, только без отрицания. Преподавателя такая запись не устроила, а как записать по-другому я не знаю. Подскажите, пожалуйста

[provincialka]

Что-то похожее уже было: «Помогите разобраться. 2 задачи по мат. логике»
Но там мы долго-долго выбирались к правильному ответу... Повторять тот "подвиг"? Хм...

-- 15.06.2017, 18:25 --

А как вы записали "не существует"? Может, тут и надо поправить?

[Toucan]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.