salva veritate noun1 •The logical condition by which two expressions may be interchanged without altering the truth value of statements in which they occur.