salva veritate

名词 n.

英文释义

名词 n.
  1. The logical condition by which two expressions may be interchanged without altering the truth value of statements in which they occur. uncountable

词源

Latin [Term?] (literally “with/by unharmed truth”).
0 次浏览 数据来源: Wiktionary