Generador de Tablas de Verdad
Crea la tabla de verdad completa para cualquier fórmula proposicional.
Calculadora de Operaciones Lógicas
Aplica y combina operadores (¬, ∧, ∨, →, ↔) para evaluar expresiones.
Constructor de Árboles de Derivación
Genera árboles sintácticos y semánticos para validar argumentos lógicos.
Frases Lógicas
Consulta ejemplos y enunciados que ilustran la formulación de la lógica.