25/01/2020, 06:21:51 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Test Lógica de predicados - Formalizar  (Leído 478 veces)
0 Usuarios y 1 Visitante están viendo este tema.
foxybcn
Junior
**

Karma: +0/-0
Desconectado Desconectado

España España

Mensajes: 20


Ver Perfil
« : 23/04/2017, 18:37:51 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: [texx]\forall{x[P(x)\wedge B(x)\rightarrow{V(x)}]}[/texx]
b: [texx]\exists{x[P(x)\wedge B(x)\rightarrow{V(x)}]}[/texx]
c: [texx]\exists{x[P(x)\wedge B(x)\wedge V(x)]}[/texx]
d: [texx]\forall{x[P(x)\wedge B(x)\wedge V(x)]}[/texx]

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: [texx]\forall{x[R(x)\rightarrow{¬\exists{yF(y)}}]}[/texx]
b: [texx]\forall{xR(x)}\wedge \exists{x¬F(x)}[/texx]
c: [texx]\forall{xR(x)}\wedge ¬\exists{y¬F(y)}[/texx]
d: [texx]\forall{xR(x)}\wedge ¬\exists{xF(x)}[/texx]

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: [texx]\forall{x[B(x)\wedge M(x)\wedge P(x)]}[/texx]
b: [texx]\forall{x[B(x)\wedge [M(x)\rightarrow{P(x)}]]}[/texx]
c: [texx]\forall{x[B(x)\rightarrow{[M(x)\rightarrow{P(x)}]}]}[/texx]
d: [texx]\forall{x[B(x)\rightarrow{[M(x)\wedge P(x)]}]}[/texx]

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: [texx]¬\forall{x[A(x)\wedge P(x)\rightarrow{M(x)}]}[/texx]
b: [texx]\forall{x[A(x)\wedge P(x)\rightarrow{¬M(x)}]}[/texx]
c: [texx]\exists{x[A(x)\wedge P(x)\rightarrow{¬M(x)}]}[/texx]
d: [texx]\forall{x[A(x)\wedge P(x)\wedge ¬M(x)]}[/texx]

Mi respuesta la a

EDITO: se me olvidaba dar las gracias XD
En línea
Carlos Ivorra
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 9.081


Ver Perfil WWW
« Respuesta #1 : 23/04/2017, 19:23:52 pm »

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: [texx]\forall{x[B(x)\wedge M(x)\wedge P(x)]}[/texx]
b: [texx]\forall{x[B(x)\wedge [M(x)\rightarrow{P(x)}]]}[/texx]
c: [texx]\forall{x[B(x)\rightarrow{[M(x)\rightarrow{P(x)}]}]}[/texx]
d: [texx]\forall{x[B(x)\rightarrow{[M(x)\wedge P(x)]}]}[/texx]

Mi respuesta la b

Pues yo hubiera respondido la c.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!