Rincón Matemático

Matemática => Lógica, Conjuntos, Lenguajes Formales => Lógica => Mensaje iniciado por: foxybcn en 23 Abril, 2017, 11:37 pm

Título: Test Lógica de predicados - Formalizar
Publicado por: foxybcn en 23 Abril, 2017, 11:37 pm
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
Título: Re: test Logica de predicados - Formalizar
Publicado por: Carlos Ivorra en 24 Abril, 2017, 12:23 am
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.