数学逻辑符号写法：否定、蕴含与量词

数学逻辑符号 写错时，公式可能仍能正常显示，却表达了另一个命题。否定放在哪里、箭头往哪边、量词先后怎样排列，都不是纯粹的美观问题。录入之前先把一句判断读懂，再选择符号，能减少把证明写成一串看似熟悉记号的情况。

否定要明确作用于哪一个命题

否定常用 \neg，例如 \neg P 表示 P 不成立。如果否定的是一个复合命题，需要用括号把范围写明，不能只在最前面放一个符号就让读者猜。合取与析取可分别用 \land、\lor，它们组合起来时同样要关注作用范围。

例如否定「P 与 Q 同时成立」，与「P 不成立而 Q 成立」不是同一句话。先在草稿上加括号读一遍，再录入对应结构。字号改变不会修正作用范围，渲染器也不会自动为你判定命题真假。校对时可以把式子重新翻回中文，看看是否仍与原来的论断一致。

蕴含与等价先看能否反向成立

蕴含可写 \Rightarrow，等价可写 \Leftrightarrow。两者的区别在于前者只表示一个方向，后者要求两边互相推出。普通的 \to 常用于映射或趋向，不应仅因为看起来也是箭头，就在同一篇证明里随意代替逻辑蕴含。

录入一段证明时，先为每一步判断方向：从条件得到结论，还是条件与结论互相等价。完成以后反向读一次带双向箭头的步骤，检查是否真的成立。命令控制的是字形与间距，不承担证明责任。不同教材可能对箭头另有约定，应先说明并全文保持一致，而不要为了箭头更长随意换掉原来的逻辑关系。

P\Rightarrow Q,\qquad P\Leftrightarrow Q,\qquad \neg(P\land Q)

量词顺序决定变量怎样依赖

全称量词用 \forall，存在量词用 \exists。写完量词还应给变量与范围，避免只写「对所有 x」却没有说明 x 来自哪个集合。量词与变量通常保持紧凑，范围之后可用逗号或适当间距分开条件主体；不需要在每个字符之间手工加空白。

下面一句说，对每个实数 x，都能找到一个比它大的实数 y。这里 y 可以随 x 改变。如果把两个量词交换，就变成存在一个 y 比所有实数 x 都大，意思和真假都变了。校对不能只数符号齐不齐，还应沿量词顺序读出依赖关系。

\forall x\in\mathbb{R},\quad \exists y\in\mathbb{R},\quad y>x

公式中若确实需要调整间隔，可在独立式里使用明确的间距命令，例如 \, 表示细间距。普通键盘空格在数学模式下不承担文本排版中的同样作用，连续按空格不是可靠的整理方法。先让语义分组清楚，再做少量视觉调整。

从一句自然语言检查整段逻辑

正式录入可按「变量范围、命题主体、关系方向」的顺序组织。先写中文解释，随后在本站通过符号面板选取所需记号，或直接使用 LaTeX 模式。对照预览时检查否定范围、箭头方向和量词先后，三个检查点对应三种不同的逻辑风险。

公式确认后插入文档，把变量说明留在正文，读者就能从文字进入记号。需要取用源码或 Word 成品时，按目标选择导出格式；本站导出需登录及会员，公式工作区应先切回「可视化」。能显示只是排版起点，能够准确读回原来的命题，才是这类材料的验收依据。

延伸阅读

• latex可视化编辑器：用点选和源码对照检查结构。
• latex符号 sqrt：查看另一类需要明确参数范围的写法。