SoloCodigo

Programación General => Delphi => Mensaje iniciado por: Juanfrench en Viernes 2 de Octubre de 2009, 01:24

Título: Logica proposicional
Publicado por: Juanfrench en Viernes 2 de Octubre de 2009, 01:24
Hola necesito saber como desarrollar un algoritmo que reciba una formula proposicional (por ej (p->q)) y que a partir de ella diga si se trata de una tautologia , contradiccion y contingencia...
Lo que yo habia echo era ingresar la formula y almacenarla en un array.. pero ya no se como seguir la otra parte
Título: Re: Logica proposicional
Publicado por: DriverOp en Viernes 2 de Octubre de 2009, 09:10
Me temo que tendrás que aprender a hacer un analizador sintáctico y semántico. Lo que pretendes no es moco de pavo. Nada menos que hacer el intérprete de un lenguaje.
Título: Re: Logica proposicional
Publicado por: Juanfrench en Sábado 3 de Octubre de 2009, 06:00
Y como puedo realizarlo... alguna idea