domingo, 1 de septiembre de 2013

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)

No hay comentarios:

Publicar un comentario en la entrada