Bienvenido a LógicaApp
Domina la lógica de enunciados paso a paso con retroalimentación inteligente, explicaciones detalladas y tolerancia pedagógica.
1. Formalización
Traduce frases del lenguaje natural a fórmulas proposicionales con validación por equivalencia lógica y contraejemplos.
Práctica + Modo Libre2. Deducción Natural
Construye pruebas formales con reglas básicas y derivadas, gestión de ámbitos (subdeducciones) y control de referencias.
Práctica + Modo Libre3. Resolución
Demuestra validez refutando por cláusulas: eliminación de conectores, distributiva y unificación hacia la cláusula vacía (□).
Práctica + Modo Libre4. Tablas de Verdad
Genera tablas paso a paso, completa celdas de forma interactiva, clasifica fórmulas y halla contraejemplos.
Práctica + Modo Libre5. Lógica de Predicados
Próximamente... Cuantificadores universales y existenciales en la arquitectura modular.
PróximamenteMódulo 1: Formalización de Enunciados
Ejercicio Actual
Fase 1: Asignación de Átomos
Asocia cada letra proposicional (mayúscula) a su proposición simple:
Ejercicios
Módulo 2: Deducción Natural
Conclusión: O ∨ N
| Ámbito | Nº | Fórmula | Regla | Referencias | Estado | Acciones |
|---|
Problemas de Deducción
Módulo 3: Método de Resolución por Cláusulas
Conclusión a negar: ...
Paso 1: Negar la conclusión y añadirla
Paso 2: Conversión a Forma Clausal (CNF)
Elimina implicaciones, introduce negaciones y distribuye disyunciones.
Paso 3: Aplicación de Resolución
Selecciona dos cláusulas con literales complementarios hasta obtener la cláusula vacía (□).