Usuario:Camilo maldonado/ejercicio 1 capitulo 1 pagina 53

De Wikilibros, la colección de libros de texto de contenido libre.
Ir a la navegación Ir a la búsqueda

Tradusca las siguientes oraciones en logica. Abrevie las propociciones y los predicados. No introdusca nuevas variables propocicionales ni predicados.


a) Si el esta en la oficina le diremos las noticias; de otro modo le dejaremos un mensaje (P:"el esta en la oficina" , Q "se las diremos" y R"dejaremos un mensaje")


[P(X) Q(X)) ¬P(X) R(X)]


b) Si la operacion tiene exito y ella sigue las instrucciones del doctor, se recuperara(P" la operadora tiene exito" , Q " ella sigue las instrucciones del doctor" y R "ella se recuperara")


[P(X) Q(X)) R(X)]


c) Juan sabe o C, o pascal, O PROLOG, y disfruta trabajando con la gente. De otro modo, el no seria un programador destacado. Defina P1 como "Juan sabe C" y P2"Juan sabe pascal" y P3"Juan sabe prolog", Q equibaldria a "juan disfruta trabajando con la gente" y R "Juan es un programador destacado".


[(P1 P2 P3) Q(x) ¬R(X)]