Ir al contenido

Usuario:Turok/ejercicio 13

De Wikilibros, la colección de libros de texto de contenido libre.

sea L(x,y): x ama a y. donde el universo del dicurso es para ambos son todas las personas del mundo, usa los cuantificadores para expresar lo siguiente:

a) todos aman a jerry

b) todos aman a alguien

c) hay alguien que ama a todos

d) nadie ama a nadie

e) hay alguien que lidia no ama

f) hay alguien quien no ama

g) hay exactamente una persona que ama a todos

h) hay axactamente dos personas que lynn ama

i) todos se aman a ellos mismos o a ellas mismas

j) hay alguien que solamente se ama asi mismo


solucion

a) ∀x L(x,jerry)

b) ∀xЭy L(x,y)

c) Эy∀x L(x,y)

d) ∀xЭy ¬L(x,y)

e) Эx ¬L(lidia,x)

f) Эx∀y ¬L(y,x)

g) Эx(∀yL(y,x)^ ∀z((∀wL(w,z))→ z=x))

h) ЭxЭy(x≠y ^ L(lynn,x)^ L(lynn,y) ^ ∀z(L(lynn,z)→ z=x v z=y)))

i) ∀x L(x,x)

j)Эx∀y (L(x,y)↔ x=y)