重言式与替换：设A=α、B=¬α时，A∨B是否为重言式？

嘿，这个问题本质上是在问经典逻辑里的排中律是否成立——答案是肯定的，α∨¬α绝对是重言式，咱们来拆解一下为什么：

首先明确两个核心定义：

• 重言式：不管组成它的简单命题取什么真值，整个复合命题的结果永远为真。
• 析取（∨）：逻辑或运算，只要其中一个子命题为真，整个复合命题就为真。

接下来用真值表验证最直观：

• 当命题α为真时，它的否定¬α必然为假，此时真∨假的结果是真；
• 当命题α为假时，¬α必然为真，此时假∨真的结果还是真。

不管α的真值如何，α∨¬α的结果始终是真，完全符合重言式的定义。

小补充：如果是在直觉主义逻辑这类非经典逻辑体系里，排中律是不被认可的，但如果没有特别说明逻辑体系，咱们默认讨论的都是经典命题逻辑，这时候排中律就是铁律啦。

内容的提问来源于stack exchange，提问作者Joseph