##  [Application Préservant la Vérité](/fr/node/61102) 

  ##  [Application Préservant la Vérité](https://mathlogic.quantumdictionary.io/fr/node/61103) 

  

 [![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**

 







 

 

 

 



 

 

 

 

Définition

Un mappage entre langages, formules ou structures tel que, chaque fois qu’une formule est vraie dans une interprétation ou un modèle source, son image par le mappage est vraie dans l’interprétation ou le modèle cible correspondant (par rapport à la sémantique spécifiée).