##  [Consequence-Preserving Mapping](/consequence-preserving-mapping) 

  ##  [Consequence-Preserving Mapping](https://mathlogic.quantumdictionary.io/consequence-preserving-mapping-0) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

A transformation between syntactic systems, sets of formulas, or models that preserves logical consequence: whenever a formula follows from a set of premises in the source (Γ ⊨ φ or Γ ⊢ φ), the images of those premises entail the image of the conclusion in the target (mapped(Γ) ⊨ mapped(φ) or mapped(Γ) ⊢ mapped(φ)).