Relaciones familiares

Definiciones del profesor

---

Madre
∀ m,c Mother(c) = m ⇔ Female(m) ^ Parent(m,c)
Esposo
∀ w, h Husband(h, w) ⇔ Male(h) ^ Spouse(h, w)

Hombre / Mujer
∀ x Male(x) ⇔ ~Female(x)

Padres
∀ p,c Parent(p,c) ⇔  Child(c,p)

Abuelos
∀ g,c Grandparent(g,c) ⇔  ∃ p Parent(g,p) ^ Parent(p,c)
Hermanos
∀ x,y Sibling(x,y) ⇔  x ≠ y ^ ∃ p Parent(p,x) ^ Parent(p,y)


Definiciones de tarea

---

Abuelo
∀ g, c Grandpa(g,c) ⇔ ∃ p Grandparent(p,c) ^Male(p)

Abuela
∀ g, c Grandma(g,c) ⇔ ∃ p Grandparent(p,c) ^Female(p)

Padre
∀ d, c Dad(c) = d ⇔ Male(d) ^ Parent (d,c)

Hermano
∀ x, b Brother(b,x) ⇔∃ s Sibling(s,x) ^ Male(b)

Hermana
∀ x, s Sister(s,x) ⇔∃ y Sibling(y,x) ^ Female(s)

Esposa
∀ h, w Wife(w,h) ⇔Spouse(w,h) ^ Female(w)


Tio
∀ u, c Uncle(u,c) ⇔[∃ p Parent(p,c) ^ Sibling(u,p)] v [∃ a Aunt(a,c) ^ Spouse(a,u)]

Tia
∀ a, c Aunt(a,c) ⇔[∃ p Parent(p,c) ^ Sibling(a,p)] v [∃ u Uncle(u,c) ^ Spouse(a,u)]

Hijo
∀ s, p Son(s,p) ⇔ Parent(p,s) ^Male(s)

Hija
∀ d, p Daugther(d,p) ⇔ Parent(p,d) ^ Female(s)

Cuñado
∀ b, c BrotherInLaw(c,b) ⇔ [∃ s Sibling(s,c) ^ Spouse(s,b) ^ Male(b)] v [∃ s Sibling(s,b) ^ Spouse(c,s) ^ Male(b)]

Cuñada
∀ s, c SisterInLaw(c,s) ⇔ [∃ x Sibling(x,c) ^ Spouse(x,c) ^ Female(s)] v [∃ s Sibling(x,s) ^ Spouse(c,x) ^ Female(s)]

Primo
∀ m, c Cousin(c,m) ⇔ ∃ u,a Uncle(u,m) ^ Aunt(a,m) ^  Son(c,a) ^ Son(c,u)

Prima
∀ m, c Cousine(c,m) ⇔ ∃ u,a Uncle(u,m) ^ Aunt(a,m) ^  Daugther(c,a) ^ Daugther(c,u)

Suegro
∀ f, c FatherInLaw(f,c) ⇔ ∃ s Spouse(s,c) ^ Parent(f,s) ^ Male(f)

Suegra
∀ m, c MotherInLaw(f,c) ⇔ ∃ s Spouse(s,c) ^ Parent(m,s) ^ Female(m)