sublime.tools

p q r s t ( )
¬

Una potente herramienta para generar tablas de verdad de lógica proposicional

Instrucciones

Introduce tu enunciado de lógica proposicional con ayuda de los botones. De momento, sólo están disponibles cinco variables proposicionales (p,q,r,s,t). Para más información sobre cómo introducir correctamente el enunciado en el generador, ve al apartado "¿Cómo usar correctamente el generador?". Una vez que hayas introducido el enunciado, elige el tipo de tabla que quieres (Verdadero/Falso) o (1/0), y haz clic en Generar y automáticamente se creará la tabla de verdad, si la quieres guardar puedes clicar en para descargarla como .png.

¿Cómo usar correctamente el generador?

Si el enunciado no se introduce correctamente, el programa no lo entenderá y no lo procesará adecuadamente. Asegúrate de que las proposiciones y los conectores están bien colocados según las reglas de la lógica proposicional y así mismo cerciórate de que los paréntesis estén bien puestos. Los paréntesis son muy importantes, ya que establecen el orden por el que el programa tiene que comenzar a operar, si no se ponen correctamente el programa se saltará pasos o puede que no genere la tabla acertadamente. Si pruebas los siguientes ejemplos, comprobarás que aunque contienen los mismos elementos, el segundo no funciona porque no tiene colocados todos los paréntesis necesarios:

  • 1º - ((((p⇒(q∧r))∧(s⇒(¬r)))∧(s∨t))∧p)⇒t
  • 2º - (p⇒(q∧r)∧(s⇒(¬r))∧(s∨t)∧p)⇒t

Operadores lógicos incluidos en este generador

  • ¬ - Negación
  • - Conjunción
  • - Disyunción
  • - Condicional
  • - Bicondicional
  • - Disyunción exclusiva

Artículo recomendado

Cómo elaborar una tabla de verdad manualmente

Apoya este sitio

Si te ha servido comparte está página con tus contactos por correo, redes sociales,... etc. También puedes valorarnos aquí abajo. 🙂

Al valorarnos, recogemos tu IP para que no puedas votarnos varias veces. Clicando sobre otra estrella puedes cambiar tu valoración.