等值

---

(拉丁语aeguivаlеns——力量相等、作用相同、意义相同) 逻辑学中命题(判断、结论、公式)之间的关系，它表明这样一种事实：两个命题具有同等的真理性(也即两者同是真的，或两者同是假的)。

“等值”这一术语还用于更广泛的涵义，可表示等式型的各种可能的关系——包括具有自反性、对称性、传递性等属性的各种关系。几何图形的相似性或等距性、集约平均值(参见集合论)、某种系统的同晶现象(参见同构和同态)、直线或面的平行性等等，都可以作为这类关系的例证。