Teorema de Corrección
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un metateorema que garantiza que toda fórmula demostrable en un sistema deductivo formal dado es también semánticamente válida en la clase de modelos prevista; la derivabilidad sintáctica implica verdad modelística.