Una propiedad del cuantificador universal es: a.- ( "xPx ®"xQx) ® "x(Px®Qx). b.-

"x(Px®Qx) ® ( "xPx®"xQx). c.- ( "xPx ®"xQx) ® "xPx. d.- ( "xPx®"xQx)®"x(Px ÙQx).

(R.: b).

El cuantificador universal puede “entrar” en las condicionales pero no puede “salir” en

general; al revés que el cuantificador existencial, que puede “salir” de ellas, pero no “entrar” en

general. Cuando, por el ‘parecido’ de las frases a examinar, el problema se presta aparentemente

a confusión, lo mejor es seguir la estrategia de cambio de notación a conjuntos