逻辑符号

最后修改时间：2026年5月28日

逻辑符号用于表示命题之间的“与、或、非、蕴含、等价”关系，也常用于量词表达。

逻辑数学符号表

符号	符号名称	含义/定义	示例
∧	逻辑与	两个命题同时为真时结果为真	x ∧ y
⋅	逻辑与	与 ∧ 等价的写法	x ⋅ y
∨	逻辑或	至少一个命题为真时结果为真	x ∨ y
+	逻辑或	布尔代数中常用的“或”写法	x + y
¬	逻辑非	表示命题的否定	¬x
!	逻辑非	程序和布尔表达式中常用的否定符号	!x
⊕	异或（XOR）	两个命题恰有一个为真时结果为真	x ⊕ y
⇒	蕴含	如果前件为真，则推出后件	x ⇒ y
⇔	等价	当且仅当，两个命题真假相同	x ⇔ y
∀	全称量词	对所有对象都成立	∀x ∈ A
∃	存在量词	至少存在一个对象满足条件	∃x ∈ A
∄	不存在	不存在满足条件的对象	∄x ∈ A
∴	因此	表示结论	x=2 ∴ x²=4
∵	因为	表示原因或前提	∵ x>0