Verificación de la Consecuencia Lógica
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El procedimiento de decisión o tarea algorítmica de determinar si un conjunto de premisas Γ implica semánticamente una conclusión φ en una lógica y semántica especificadas (Γ ⊨ φ), a menudo buscando pruebas o contraejemplos modelos.