Autor Tema: determinar equivalencia de 2 proposiciones que contienen cuantificadores

0 Usuarios y 1 Visitante están viendo este tema.

30 Marzo, 2016, 03:04 pm
Leído 1504 veces

forestgump

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 19
  • Karma: +0/-0
  • Sexo: Masculino
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.

30 Marzo, 2016, 04:05 pm
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
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.