Aplicación Que Preserva las Consecuencias

Una transformación entre sistemas sintácticos, conjuntos de fórmulas o modelos que preserva la consecuencia lógica: siempre que una fórmula se deduce de un conjunto de premisas en la fuente (Γ ⊨ φ o Γ ⊢ φ), las imágenes de esas premisas implican la imagen de la conclusión en el objetivo (mapped(Γ) ⊨ mapped(φ) o mapped(Γ) ⊢ mapped(φ)).