Panu Raatikainen (toim): Ajattelu – kieli - merkitys

Salva veritate.

(lat. "totuus säilyen"). Korvattavuus (t. sijoitettavuus, vaihdettavuus) salva veritate on ehto, jonka kaksi ilmausta toteuttavat, jos toinen voidaan sijoittaa toisen paikalle tietyssä lauseyhteydessä niin, että lauseen totuusarvo ei muutu. Leibniz ehdotti, että kahden ilmaisun viittauksen kohteet ovat samat, jos ja vain jos ilmaisut ovat vaihdettavissa kaikissa yhteyksissä salva veritate. Tälle tuottavat kuitenkin hankaluuksia kuten Leibniz itsekin havaitsi) ns. intensionaaliset lauseyhteydet. Vrt. ekstensionaalinen / intensionaalinen.