竖线是除号，不是方向箭头
条件概率回答的是这样一个问题：如果我们已经知道 B 为真，那么 A 有多可能？标准记号 P(A|B) 的定义是：A 和 B 同时发生的概率除以 B 的概率 [3]。所以左边放的是你要问的事件，右边放的是你视为已知的条件。竖线最好读作“给定”，整个式子读作“在 B 给定的条件下 A 的概率”。
正因如此，这个约定有时被形容为精神上从右往左读：先读条件，再读它所作用的事件。但书写顺序遵循的是比值的语法，而不是“条件必须放在最后”的规则。这个记号只是一种方便写法，有篇论文明确把 P(A|B) 当作那个比值的简写，而不是在断言哪个事件在逻辑上更优先 [3]。
两个位置一互换，结果可能天差地别
顺序之所以被反复强调，真正的原因是 P(A|B) 和 P(B|A) 通常是不同的数。把它们搞混是一种有据可查的推理错误，叫做“颠倒条件”，后果可能很严重 [2]。当涉及的事件非常罕见时，这种错误最容易犯，因为那时两个量会相差悬殊，而直觉上又都觉得很小。
医学检测就是一个具体例子。检测的灵敏度——有病时结果呈阳性的概率——不等于它的阳性预测值——结果呈阳性时真正有病的概率 [2]。一个检测可以灵敏度很高，但当疾病罕见时，阳性结果大部分仍是假阳性。同样的混淆也是“检察官谬误”的根源：把“无罪时出现该证据”的概率，误当成“有该证据时无罪”的概率 [2]。这两种情况下，记号的两个位置承载的信息确实不同，而右边那个位置告诉你的是：你站在哪个世界里。
为什么是这个约定，而不是反过来
现有材料把这个左右位置当作约定，而不是推导出来的定律。有篇论文指出，它遵循惯例，用 P(A|B) 作为那个比值的简写，同时提醒读者不要被另一种约定束缚——即这个式子该怎么读出声 [3]。这种说法暗示，位置安排是该领域的共同习惯，而不是数学本身强加的。
这个约定也契合条件概率在实际中的用法。当我们根据证据来推理某个假设时，通常先说假设、后说证据，而比值的定义把联合事件放在上面、把条件事件放在下面 [3]。另有研究用括号记号把条件概率推广到量子建模中，说明背后的核心想法——一个概率取决于另一个事件为真——即使符号变了，也能在不同形式体系中通行 [5]。真正有实质的是这种依赖关系本身；竖线在哪，只是记账方式。
记号简单，推理不简单
条件概率是人们评估“如果”语句的核心。有一种观点认为，一个简单的直陈条件句，只要对应的条件概率高，并且条件与结果相关，就是可接受的 [4]。这个主张在概率之外又加了相关性要求，暗示两个位置不能互换：条件必须确实作用于该事件，条件句才说得通。
这一切并不意味着把条件放在右边是必然的。讨论记号的论文都把它当作约定，而那篇关于条件句与条件概率的论文关注的是条件概率在什么情况下才有定义，而不是竖线放在哪里 [1]。对读者来说，实用的教训是在竖线处慢下来：先问清楚是以哪个事件为条件，因为那才是起作用的位置，比值的算术自然会跟上。
本文引用的文献
条件句、条件概率与条件化
该论文考察条件句和条件概率，聚焦于它们的定义与用法。它与条件概率记号这一主题明显相关，但没有讨论条件放在哪一侧这一具体约定。
颠倒条件：为什么我们对概率的理解很可能是错的
该论文考察与条件概率相关的推理错误，尤其是医学和法律情境中的“颠倒条件”谬误。它定义了条件概率并给出例子，但没有讨论条件相对于竖线位置的具体记号约定。
条件概率不可能是什么
该论文考察条件概率的记号与解释，具体讨论了 P(A|B) 的用法以及把条件放在竖线右侧的约定。其内容与理解为什么条件概率把条件写在右边直接相关。
直陈条件句：概率与相关性
该论文提出直陈条件句的概率论解释，强调条件概率与相关性的作用。它讨论了记号 p(ψ|φ)，但没有涉及记号中条件位置的约定。
概率括号记号：量子建模中条件期望与条件概率的统一表达
该论文引入概率括号记号，并在量子建模中推导出条件期望与条件概率的统一表达。它讨论了条件概率的记号，但没有涉及把条件放在竖线右侧这一具体约定。