等价物

如果和（即。，，其中表示暗示)，然后和被称为等价关系在这部作品中，象征性地。下表总结了一些常见的符号使用。

符号	参考文献
	摩尔（1910，第150页），怀特黑德和罗素（1910年，第5-38页），卡纳普（1958年，第8页），库里（1977年，第35页），伊特（1986年，第147页），Gellert等人，1989年（第333页），Cajori（1993年，第303和307页），Church（1996年，第78页），哈里斯和斯托克（1998年，第471页）
	维特根斯坦（1922，第46-47页），Cajori（1993年，第313页）
	门德尔森（1997年，第13页），罗德和韦斯特格伦2004年（第9页）
	Harris和Stocker（1998年，后襟翼），DIN 1302（1999年）
	Gellert等人，1989年（第333页），Harris和Stocker（1998年，第471页），罗德和韦斯特格伦2004（第9页）

等效性在Wolfram语言作为SameQ公司[A类,B类, ...]. 二进制等价具有以下内容真理桌子（卡尔纳普1958年，第10页），与 XNOR公司 、和 若（iff） .

T型	T型	T型
T型	F类	F类
F类	T型	F类
F类	F类	T型

类似地，三元等价具有以下内容真理桌子.

T型	T型	T型	T型
T型	T型	F类	F类
T型	F类	T型	F类
T型	F类	F类	F类
F类	T型	T型	F类
F类	T型	F类	F类
F类	F类	T型	F类
F类	F类	F类	T型

等效的反义词是非等效的.

注意，符号至少在其他两种不同的上下文中使用。如果和“定义上等同”（即。，是定义成为)，这是写的、和“是同余的到模“已写入.