Autor Tema: Test Lógica de predicados - Formalizar

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

23 Abril, 2017, 11:37 pm
Leído 596 veces

foxybcn

  • Nuevo Usuario
  • Mensajes: 20
  • Karma: +0/-0
Buenas tardes,

acabo de realizar un test de lógica pero no me dice si lo estoy haciendo correctamente, y quisiera saber si voy bien para seguir practicando. Os doy las preguntas con mis respuestas y me decis si esta bien o si no cual sería la correcta:

Pregunta1
P(x): x es una princesa
B(x): x es bonito/a
V(x): es valiente

Formalizar la frase: "Las princesas bonitas también son valientes"

a: \( \forall{x[P(x)\wedge B(x)\rightarrow{V(x)}]} \)
b: \( \exists{x[P(x)\wedge B(x)\rightarrow{V(x)}]} \)
c: \( \exists{x[P(x)\wedge B(x)\wedge V(x)]} \)
d: \( \forall{x[P(x)\wedge B(x)\wedge V(x)]} \)

He respondido la a

Pregunta 2
R(x): x es romano
F(x): x es filosofo

Formalizar: "Todo el mundo es romano pero nadie es filósofo"

a: \( \forall{x[R(x)\rightarrow{¬\exists{yF(y)}}]} \)
b: \( \forall{xR(x)}\wedge \exists{x¬F(x)} \)
c: \( \forall{xR(x)}\wedge ¬\exists{y¬F(y)} \)
d: \( \forall{xR(x)}\wedge ¬\exists{xF(x)} \)

He respondido la d

Pregunta 3:

M(x): es milenario
B(x): x es un bosque
P(x): x está protegido

Formalizar: "Todos los bosques milenarios están protegidos"

a: \( \forall{x[B(x)\wedge M(x)\wedge P(x)]} \)
b: \( \forall{x[B(x)\wedge [M(x)\rightarrow{P(x)}]]} \)
c: \( \forall{x[B(x)\rightarrow{[M(x)\rightarrow{P(x)}]}]} \)
d: \( \forall{x[B(x)\rightarrow{[M(x)\wedge P(x)]}]} \)

Mi respuesta la b

Pregunta 4:

M(x): es milenario
A(x): x es un arbol
P(x): x está protegido

Formalizar: "No todos los arboles protegidos son milenarios"

a: \( ¬\forall{x[A(x)\wedge P(x)\rightarrow{M(x)}]} \)
b: \( \forall{x[A(x)\wedge P(x)\rightarrow{¬M(x)}]} \)
c: \( \exists{x[A(x)\wedge P(x)\rightarrow{¬M(x)}]} \)
d: \( \forall{x[A(x)\wedge P(x)\wedge ¬M(x)]} \)

Mi respuesta la a

EDITO: se me olvidaba dar las gracias XD

24 Abril, 2017, 12:23 am
Respuesta #1

Carlos Ivorra

  • Administrador
  • Mensajes: 9,079
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
    • Página web personal
Pregunta 3:

M(x): es milenario
B(x): x es un bosque
P(x): x está protegido

Formalizar: "Todos los bosques milenarios están protegidos"

a: \( \forall{x[B(x)\wedge M(x)\wedge P(x)]} \)
b: \( \forall{x[B(x)\wedge [M(x)\rightarrow{P(x)}]]} \)
c: \( \forall{x[B(x)\rightarrow{[M(x)\rightarrow{P(x)}]}]} \)
d: \( \forall{x[B(x)\rightarrow{[M(x)\wedge P(x)]}]} \)

Mi respuesta la b

Pues yo hubiera respondido la c.