公式$((A o B) o B) o A$是否为重言式？

嘿，作为逻辑学新手，能主动琢磨这个问题已经超棒了！咱们用最直观的真值表法拆解这个问题，一步步看它是不是重言式（也就是不管A、B取什么真值，公式结果都得为真）。

首先先明确蕴含关系（$ o$）的真值规则：只有当前件为真、后件为假时，$X o Y$才为假，其他情况都为真。

接下来列出A和B所有可能的真值组合，然后逐层计算子公式的真值：

从表格里能清楚看到：当A为假、B为真时，整个公式的结果是假。这就说明这个公式不是重言式——因为存在一组真值赋值让它为假，不符合重言式“始终为真”的核心定义。

顺便提一句，新手容易把这个公式和类似的标准重言式搞混，比如$((A o B)\land \neg B) o \neg A$（拒取式），但咱们这个公式少了关键的否定项，结果就完全不同啦。

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