数理逻辑符号大全

本页面共收录了 28个 数理逻辑符号，覆盖了从基础命题连接词（与、或、非、蕴含、等价）到异或、同或、与非、或非，以及谓词逻辑中的全称量词、存在量词、唯一量词，再到证明论中的逻辑推论、断言、真值常量、证毕记号等。这些符号在数学基础、计算机科学理论、人工智能、形式化验证以及数理逻辑研究中扮演着核心角色。下面将对每个符号的数学含义、技术参数、LaTeX排版方式以及注意事项进行系统介绍。

🔗 命题逻辑基础连接词

否定（¬） 表示逻辑非，常用于对命题取反，Unicode为U+00AC，LaTeX命令为\neg或\lnot，HTML实体为¬。在数学和编程中广泛用于构造逆命题。合取（∧） 表示逻辑与，即“且”运算，Unicode为U+2227，LaTeX命令为\land或\wedge，HTML实体为∧。常用于表达多个条件同时成立。析取（∨） 表示逻辑或，即“或”运算，Unicode为U+2228，LaTeX命令为\lor或\vee，HTML实体为∨。在谓词逻辑与集合论中同样频繁出现。实质蕴含（⇒） 表示“如果…那么…”，Unicode为U+21D2，LaTeX命令为\Rightarrow，HTML实体为⇒。蕴含在数学证明中是演绎推理的基础。等价（⇔） 表示“当且仅当”，Unicode为U+21D4，LaTeX命令为\Leftrightarrow，HTML实体为⇔。注意它区别于双条件赋值，在LaTeX中推荐使用\iff以获得更好的间距。

✨ 扩展逻辑运算：异或、同或、与非、或非

异或（⊕） 表示排他性或，常用于密码学与电路设计，Unicode为U+2295，LaTeX命令为\oplus，HTML实体为⊕。异或（⊻） 为另一种异或符号，Unicode为U+22BB，LaTeX命令为\veebar，HTML实体为⊻。同或（⊗） 表示异或的非，即等价运算，Unicode为U+2297，LaTeX命令为\otimes，HTML实体为⊗。与非（⊼） 表示先合取再否定，即NAND，Unicode为U+22BC，LaTeX命令为\barwedge或\nand（需要宏包），HTML实体为⊼。或非（⊽） 表示先析取再否定，即NOR，Unicode为U+22BD，LaTeX命令为\veebar已用于异或，推荐使用\nor或自定义命令，HTML实体为⊽。这些复合连接词在逻辑电路优化与形式语义中尤为重要。

↔️ 蕴含关系与逆否变体

左蕴含（⇐） 表示反向蕴含，常用于表示“仅当”，Unicode为U+21D0，LaTeX命令为\Leftarrow，HTML实体为⇐。不蕴含（⇏） 表示不成立蕴含，Unicode为U+21CF，LaTeX命令为\nRightarrow，HTML实体为⇏。不左蕴含（⇍） 表示左向不蕴含，Unicode为U+21CD，LaTeX命令为\nLeftarrow，HTML实体为⇍。在反驳命题时这些否定蕴含符号不可或缺。

∀ 量词与谓词逻辑符号

全称量词（∀） 表示“对所有…成立”，Unicode为U+2200，LaTeX命令为\forall，HTML实体为∀。存在量词（∃） 表示“存在…使得”，Unicode为U+2203，LaTeX命令为\exists，HTML实体为∃。唯一存在量词（∄） 表示“不存在”，Unicode为U+2204，LaTeX命令为\nexists，HTML实体为∄。这三个量词构成一阶逻辑的核心。“使得”符号（s.t.） 是“such that”的缩写，在数学中常用于集合构造，如{x | x > 0}，一般无单独Unicode，但作为文本记号广泛使用，LaTeX中可直接写\text{ s.t. }。“命题”缩写（p.j.） 即“propositionis j”的古典记号，在现代逻辑中较少见，但作为逻辑历史符号保留，LaTeX一般写作\text{p.j.}。

⊢ 证明论与真值常量

真值恒真（⊤） 表示逻辑真，Unicode为U+22A4，LaTeX命令为\top，HTML实体为⊤。假值恒假（⊥） 表示逻辑假，Unicode为U+22A5，LaTeX命令为\bot，HTML实体为⊥。逻辑断言（⊢） 表示“可推导出”或“证明”，常用于相继式演算，Unicode为U+22A2，LaTeX命令为\vdash，HTML实体为⊢。右逆推（⊣） 表示反向推导，Unicode为U+22A3，LaTeX命令为\dashv，HTML实体为⊣。语义蕴涵（⊨） 表示逻辑有效性或模型满足，Unicode为U+22A8，LaTeX命令为\models，HTML实体为⊧。强制满足（⊩） 常用于力迫法或Kripke语义，Unicode为U+22A9，LaTeX命令为\Vdash，HTML实体为⊩。这些符号在证明论与模型理论中具有不可替代的地位。

∴ 推理与证毕记号

因此（∴） 表示逻辑结论，常用于几何证明与数理逻辑，Unicode为U+2234，LaTeX命令为\therefore，HTML实体为∴。因为（∵） 表示前提，Unicode为U+2235，LaTeX命令为\because，HTML实体为∵。证毕记号（∎） 代表证明结束，即QED符号，Unicode为U+220E，LaTeX命令为\qed或\blacksquare，HTML实体为∎。Q.E.D. 是拉丁语“quod erat demonstrandum”的缩写，传统数学中放在证明结尾，Unicode无专用符号但作为文本广泛使用，LaTeX中可使用\text{Q.E.D.}。

📌 使用注意事项与排版建议

数理逻辑符号在排版时需注意以下几点：第一，否定符号¬与波浪线～不同，在LaTeX中应使用\neg而非连字符；第二，合取∧与楔形符号\wedge等价，但推荐使用\land增加可读性；第三，蕴含⇒与右箭头→在语义上不同，证明中建议用\Rightarrow表示逻辑蕴含，而\to常用于函数映射；第四，量词符号∀和∃在行内公式中直接使用，如需带限制条件则配合下标，如\forall x \in \mathbb{R}；第五，\vdash与\models不可混淆，前者表示语法推导，后者表示语义满足；第六，异或⊕与加号○+在字体上有区分，LaTeX中\oplus生成带圆圈的加号；第七，证毕记号∎推荐使用\square或\blacksquare，以保证在不同数学字体下美观；第八，s.t. 和 p.j. 属于文本缩写，在公式中应当置于\text{}内以保持正体。正确使用这些符号能极大提升逻辑论文与形式化文档的专业性。

💡 使用提示

如果您需要复制某个符号的Unicode、LaTeX命令或HTML实体，只需点击上方对应的符号卡片，在弹出的详情面板中点击相应项目即可一键复制。此外，每个符号都可以生成SVG矢量源码或下载为512×512像素的透明背景PNG图片，方便您在设计或文档中使用。在撰写逻辑学论文或计算机科学理论报告时，推荐使用LaTeX命令以获得最佳排版效果，尤其是大型推导式中频繁出现的连接词与量词，LaTeX能保证符号间距与字体一致性。