Scribd
Cargar
532 vistas1 página

Tarea 7 Lebni López

Este documento presenta dos tareas. La primera es codificar o formalizar 10 expresiones en predicados de primer orden usando símbolos dados. La segunda es traducir 5 predicados de primer orden al español usando símbolos dados.

Cargado por

Lebni Zaabdi Lopez Melchor
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd
532 vistas1 página

Tarea 7 Lebni López

Este documento presenta dos tareas. La primera es codificar o formalizar 10 expresiones en predicados de primer orden usando símbolos dados. La segunda es traducir 5 predicados de primer orden al español usando símbolos dados.

Cargado por

Lebni Zaabdi Lopez Melchor
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como DOC, PDF, TXT o lee en línea desde Scribd

Tarea 7: Codificación y traducción al español de predicados de primer orden

I.- Formalización o codificación


Codifica las siguientes expresiones:
M:maravilloso C: cosa A: alguien S: sancho

1.- Todo es maravilloso.


∀x: M(x)
2.- Cada cosa es maravillosa.
∀x:M(x) C(x)
3.- A nadie le importa.
∀x:  A(x)
4.- Sancho no ama a nadie y nadie ama a Sancho.
∀xy: S(x) A(y) A(y) S(x)
5.- Todo lo que vale la pena y es difícil es exigente.

6.- Algún político es honesto.

7.- Ningún caballo es silla.


8.- Todo hombre es racional.
9.- Don Quijote da todo a Rocinante.
10.- Algo da todo a Dulcinea.

II.- Traducción al español


Traduce al español los siguientes predicados considerando los siguientes símbolos:
G:Guapo, A:Amar, T:Triste, C:Corre, H:Ser humano, D:Dar, R:Rosa

1.- ∀x: G(x) = Ninguno es Guapo


2.- ∀x,y: A(x,y)  G(x) =Todo el que Ama es esta triste entonces un guapo puede amar
3.- ∀y: C(y)  H(y)= Todos corren y ningún humano corre
4.- ∀x: C(x)  [H(x)  T(x)]= Todos los que corren o son humanos y estan tristes
5.- ∀x: [H(x)  ∀ y: [A(x,y)  ∀ z: [R(z)  D(x,y,z)]]]= Todos los humanos aman y todos
los que aman dan rosas

También podría gustarte