• Viernes 29 de Marzo de 2024, 07:27

Autor Tema:  Logica proposicional  (Leído 1601 veces)

Juanfrench

  • Nuevo Miembro
  • *
  • Mensajes: 3
    • Ver Perfil
Logica proposicional
« en: Viernes 2 de Octubre de 2009, 01:24 »
0
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

DriverOp

  • Miembro MUY activo
  • ***
  • Mensajes: 201
    • Ver Perfil
Re: Logica proposicional
« Respuesta #1 en: Viernes 2 de Octubre de 2009, 09:10 »
0
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.

Juanfrench

  • Nuevo Miembro
  • *
  • Mensajes: 3
    • Ver Perfil
Re: Logica proposicional
« Respuesta #2 en: Sábado 3 de Octubre de 2009, 06:00 »
0
Y como puedo realizarlo... alguna idea