Hola
Bienvenido al foro.
Hola a todos.
necesito ayuda con un ejercicio de proposiciones y cuantificadores. No puedo entender por donde empezarlo o como encararlo.
el ejercicio en cuestión dice: "determinar si \( \forall{x}(P(x)\rightarrow{Q(x)}) \) y \( \forall{x}P(x)\rightarrow{\forall{x}Q(x)} \) tienen el mismo valor de verdad.
si me pudieran dar una pista sobre la solución se los agradeciera.
Por ejemplo si \( x,a,b,c\in \mathbb{R} \) considera las proposiciones:
\( P(x)\equiv\, ax^2+bx+c=0 \)
\( Q(x)\equiv\, a=b=c=0 \)
y analiza que ocurre.
Saludos.