SoloCodigo

Programación Específica => Otros temas específicos => Programación Lógica => Mensaje iniciado por: astro97 en Miércoles 30 de Mayo de 2007, 06:08

Título: Tautologias
Publicado por: astro97 en Miércoles 30 de Mayo de 2007, 06:08
Espero que alguien sea tan amable en proporcionarme el programa para considerar tautologias, gracias por la atencion
Título: Re: Tautologias
Publicado por: Mollense en Miércoles 30 de Mayo de 2007, 06:42
Ante todo me veo en la obligación de informarte que acá no se hacen tareas...

...continuando, creo que lo más lógico sería formular un algoritmo para llevar tu fórmula a la "forma normal conjuntiva" y luego evaluarla para saber si se trata de una tautología. Pienso que aunque complicado sería muy eficiente si tu fórmula contiene muchos átomos, de lo contrario, tal vez te convenga formar la tabla de verdad (sería mucho mas fácil ) y evaluar que cada interpretación sea verdadera determinando así si se trata de una tautología, negación o contingencia.

Un saludo.
Título: Re: Tautologias
Publicado por: astro97 en Viernes 1 de Junio de 2007, 08:00
alguien del foro ofrecio tal programa, por eso mi inquietud y la necesidad que tengo del programa me permiti pedirlo pero si existe una contrariedad mil disculpas, no pense que se fuera a tomar de tal manera :(