• Jueves 22 de Abril de 2021, 05:16

Autor Tema:  Tautologias  (Leído 1940 veces)

astro97

  • Nuevo Miembro
  • *
  • Mensajes: 2
    • Ver Perfil
Tautologias
« en: Miércoles 30 de Mayo de 2007, 06:08 »
0
Espero que alguien sea tan amable en proporcionarme el programa para considerar tautologias, gracias por la atencion

Mollense

  • Miembro de PLATA
  • *****
  • Mensajes: 1755
  • Nacionalidad: ar
    • Ver Perfil
    • http://solocodigo.com/
Re: Tautologias
« Respuesta #1 en: Miércoles 30 de Mayo de 2007, 06:42 »
0
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.
"Los que renuncian son más numerosos que los que fracasan" H.F.
"No se cómo sería la III Guerra Mundial, pero la cuarta sería con piedras" A.E.
"Quién no fía no es de fiar..."


...no te quedes mirando.

astro97

  • Nuevo Miembro
  • *
  • Mensajes: 2
    • Ver Perfil
Re: Tautologias
« Respuesta #2 en: Viernes 1 de Junio de 2007, 08:00 »
0
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 :(