En un manual de lógica formal de no escasa difusión en nuestro país se propone al lector como ejercicio la prueba de la independencia semántica de la sentencia a 5 respecto del conjunto de sentencias { a1, a2 , •• • ,a4}, tales que: a1 = lX ---.3y (Py /\ Myx) = d, a2=Pd, a3= 3x (Px /\Ex), a4= V'x (Px /\Ex~ V'y (Py 1\-Ey ~ Mxy)), y as=F.d. Como viene siendo habitual en los manuales españoles de la especialidad, el propio autor se toma la molestia de efectuar el ejercicio, al que presenta como una prueba de la invalidez· del argumento ontológico, incluso en el caso de que se considere que la existencia es un predicado.