La familia: lógica de primer orden en un mundo heteronormativo

Rafael Alcaraz
Montserrat Romero
Luis S. Gatica

Solución hecha en clase:
∀ x Male(x) ⇔ ¬ Female (x)
∀ x,y Spouse(x,y) ⇔ Spouse (y,x)
Madre: ∀ m,c Mother(c) = m ⇔ Female (m) ^ Parent(m,c)
Esposo: ∀ h,w Husband(h,w)⇔ Male(h) ^ Spouse(h,w)
Abuelx: ∀ g,c Grandparent (g,c) ⇔ ∃ p Parent(g,p) ^ Parent(p,c)
Hermanx: ∀ x,y Sibling (x,y) ⇔ x != y ^ ∃ p Parent(p,x) ^ Parent(p,y)

Hermano: ∀ h,c Brother(c) = h ⇔ Male(h) ^ Sibling(h,c)

Hermana: ∀ m,c Sister(c) = m ⇔ Female(m) ^ Sibling(m,c)

Padre: ∀ h,c Father(c) = h ⇔ Male (h) ^ Parent(h,c)

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

Abuela: ∀ m,c Granny(c) = m ⇔ Female(m) ^ Grandparent(m,c)

Abuelo: ∀ h,c Grandpa(c) = h ⇔ Male(h) ^ Grandparent(h,c)

Tío: ∀ t,c Uncle(t,c) ⇔ ∃ p Parent(p,c) ^ Brother(t,p)

Tía: ∀ t,c Aunt (t,c) ⇔ ∃ p Parent(p,c) ^ Sister(t,p)

Primo: ∀ o,c Primo(o,c) ⇔ (∃ t (Uncle(t,c) v Aunt(t,c)) ^ Parent(t,o)) ^ Male(o)

Prima: ∀ a,c Prima(a,c) ⇔ (∃ t (Uncle(t,c) v Aunt(t,c)) ^ Parent(t,a)) ^ Female(a)

Hijo: ∀ h,c Son(c) = h ⇔ Male(h) ^ Child(h,c)

Hija: ∀ m,c Daughter(c) = m ⇔ Female(m) ^ Child(m,c)

Cuñado: ∀ h,c Cuñado(h,c) ⇔ ∃ m (Spouse(m,c) ^ Brother(h,m)) v (Sister(m,c) ^ Husband(h,m))

Cuñada: ∀ m,c Cuñada(m,c) ⇔ ∃ h (Spouse(h,c) ^ Sister(m,h)) v (Brother(h,c) ^ Wife(m,h))

Suegro: ∀ s,c Suegro(s,c) ⇔ ∃ p Spouse(p,c) ^ Father(s,p)

Suegra: ∀ s,c Suegra(s,c) ⇔ ∃ p Spouse(p,c) ^ Mother(s,p)

Concuño: ∀ o,c Concuño(o,c) ⇔ ∃ p,q Spouse(c,p) ^ Sibling(p,q) ^ Husband(o,q)

Concuña: ∀ a,c Concuña(a,c) ⇔∃ p,q Spouse(c,p) ^ Sibling(p,q) ^ Wife(a,q)

Consuegra: ∀ a,c Consuegra(a,c) ⇔ ∃ p,q Parent(c,p) ^ Spouse(p,q) ^ Mother(a,q)

Consuegro: ∀ o,c Consuegro(o,c) ⇔ ∃ p,q Parent(c,p) ^ Spouse(p,q) ^ Father(o,q)

Nietx: ∀ x,c Nietx(x,c) ⇔ ∃ p Parent(c,p) ^ Parent(p,x)

Nieta: ∀ a,c Nieta(c) = a ⇔ Female(a) ^ Nietx(a,c)

Nieto: ∀ o,c Nieto(c) = o ⇔ Male(o) ^ Nietx(o,c)

Bisnieta: ∀ a,c Bisnieta(a,c) ⇔ ∃ p Parent(c,p) ^ Nieta(a,p)

Bisnieto: ∀ o,c Bisnieto(o,c) ⇔ ∃ p Parent(c,p) ^ Nieta(o,p)

Reglas -distintas- de la versión modificada (para que exista congruencia en el uso de los siguientes predicados):

Madre: ∀ m,c Mother(m,c) ⇔ Female (m) ^ Parent(m,c)

Hermano: ∀ h,c Brother(h,c) ⇔ Male(h) ^ Sibling(h,c)

Hermana: ∀ m,c Sister(m,c) ⇔ Female(m) ^ Sibling(m,c)

Padre: ∀ h,c Father(h,c) ⇔ Male (h) ^ Parent(h,c)

Abuela: ∀ m,c Granny(m,c) ⇔ Female(m) ^ Grandparent(m,c)

Abuelo: ∀ h,c Grandpa(h,c) ⇔ Male(h) ^ Grandparent(h,c)

Hijo: ∀ h,c Son(h,c) ⇔ Male(h) ^ Child(h,c)

Hija: ∀ m,c Daughter(m,c) ⇔ Female(m) ^ Child(m,c)

Nieta: ∀ a,c Nieta(a, c) ⇔ Female(a) ^ Nietx(a,c)

Nieto: ∀ o,c Nieto(o, c) ⇔ Male(o) ^ Nietx(o,c)