Usuario:Turok/ejercicio 20

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

la notacion Э!x denota la propocicion: existe una unica x tal que P(x) es verdadera. expresa la cuantificacion Э!xP(x) usando cuantificadores existenciales y universales, y operadores logicos.

solucion

Эx P(x) ^ ∀x∀y((P(x) ^ P(y)) → x = y)