Usuario:Andrespbz/e6
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