Salva veritate
Deux expressions sont substituables  si elles peuvent être interchangées sans altérer la valeur de vérité des énoncés où elles apparaissent. Ce critère renvoie à la condition logique d'intersubstituabilité. La locution latine salva veritate se traduit littéralement par «avec (ou par) la vérité indemne», avec un ablatif de manière salva signifiant «sauvetage», «salut» ou «bien-être» et veritate signifiant «réalité» ou «vérité». La substitution  de termes coréférentiels peut échouer en contexte opaque.

Leibniz 
L'expression apparaît dans certains fragments du projet encyclopédique de Leibniz, notamment dans les définitions composant la Caractéristique universelle. 

«Eadem sunt, quae sibi substitui possunt salva veritate.» [PHIL.,VII,D,II,2,f. 28]:  «[Deux termes] sont les mêmes (eadem) s'ils peuvent être substitués sans altérer la vérité [d'aucun d'eux].». Par exemple, les termes triangle et trilatéral peuvent être substitués sans que les propositions qui y recourent perdent en vérité: «Idem autem esse A ipsi B significat alterum alteri substitui posse in propositione quacunque salva veritate. [...] Item triangulum et trilaterum, sibi substitui possunt.» [PHIL.,VII,C,21].

Voir aussi 

 Attitude propositionnelle 
 Fonction logique

Références 

Concept logique
Locution ou expression latine
Gottfried Wilhelm Leibniz