Usuario:Turok/ejercicio 20
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)