Completitud Semántica

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Propiedad de un sistema deductivo por la que toda fórmula que es semánticamente válida (verdadera en todos los modelos de la semántica del sistema) es demostrable dentro del cálculo de pruebas del sistema.