записать формулы, выражающие следующие утверждения. Исчисление предикатов

Записать в модели m = следующие утверждения:

L- Множество людей

E(x,y) "x y один и тот же человек"

Ch(х, у) "x- ребенок y"

H(x,y) "x-муж y"

M(x) "x - мужчина

W(x) "X - ЖЕНЩИНА"

1. x - внебрачная дочь y

2. x - тетя(Сестра отца или матери)