Usuario:Camilo maldonado/ejercicio 1 capitulo 1 pagina 53

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)$\Rightarrow$ Q(X)) $\vee \;$ ¬P(X)$\Rightarrow$ 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)$\land$ Q(X)) $\Rightarrow$ 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 $\vee \;$ P2 $\vee \;$ P3)$\land$ Q(x) $\vee \;$ ¬R(X)]