viernes, 29 de octubre de 2010

Lógica computacional - lenguajes lógicos

Buenas tardes compañeros hoy les mostrare como resolví un problema logico 
El problema dice asi:



Cuatro personas están viajando a diversos lugares en diversos tipos de transporte.


Sus nombres son: Raquel, Juan, Mr.Jones y Cindy.



Ellos viajaron en el tren, el coche, el avión o la barco, solo que hay ciertas codiciones 


* Mr.Jones odia volar
* Cindy tiene que alquilar su vehículo
* Juan se marea


¿En que medio de transporte viajo cada person?


Primero que todo hay que poner una letra a cada premsa que se analizará


Raquel = (A)
Juan = (B)
Mr. Jones = (C)
Cindy = (D)


se marea = (E)
no le gusta volar = (F)
tiene que rentar un carro = (G)


viajara en carro = (H)
viajara en tran = (I)
viajara en avión = (J)
viajara en barco = (K)


Aqui esta la tabla que nos ayudara a resolver el problema 






- Juan no puede viajar en barco por que se marea entonces no puede viajar en barco


B(¬ K) E  (¬K)


-Mr. Jones no le gusta volar y no puede viajar en avión 


C(¬F) (¬J)


- Cindy tiene que rentar un carro entonces viajara en carro.
(D→G)→H




SOLUCION 


Si Juan se marea no puede viajar en barco ni en carro ni en avión;

B(¬ K) E  ¬(K ∧ H ∧ J)

Juan viajara en TREN


M.r Jones no le gusta viajar en avión y no puede viajar en carro ni en tren 
C(¬F) ¬(J H I)
M.r Jones viajara en BARCO


Cindy tiene que rentar un automóvil;
(D→G)→H
Cindy viajara en CARRO


Raquel entonces viajar en AVIÓN


Bueno compañeros esa es la respuesta que yo obtuve con mis formulación lógica, espero que les aya gustado y si hay algo mal me lo hacen sabes :)


Muchas gracias

1 comentario:

  1. Te pongo dos puntos. Si quieres más, pon esto en términos de un lenguaje de programación tipo prolog.

    ResponderEliminar