两个格恒等式与格基本定律等价性证明：能否仅用格的自对偶性？

咱们先从给定的两个恒等式和目标律的关系入手，再聊自对偶性的作用：

第一步：从给定等式推导基础律（离不开自对偶，但也需要代数操作） #

先明确两个给定等式：

1. 等式A：$$a=(b \land a) \lor a$$
2. 等式B：$$(((a \land b) \land c) \lor d) \lor e = (((b \land c) \land a) \lor e) \lor ((f \lor d) \land d)$$

1. 吸收律的推导 #

等式A本身就是吸收律的其中一条：$a \lor (a \land b) = a$。
此时，格的自对偶性就派上用场了——把等式里的$\land$和$\lor$互换，直接得到它的对偶等式：$$a=(b \lor a) \land a$$，这正好是吸收律的另一条：$a \land (a \lor b) = a$。
这一步确实依赖自对偶性，但这只是推导的一部分，不是全部。

2. 幂等律的推导 #

有了吸收律后，我们需要代入特定变量才能得到幂等律：

• 对等式A，令$b=a$，得到$a=(a \land a) \lor a$，再结合吸收律的第二条，可推出$a \land a = a$；
• 同理，对自对偶后的吸收律，令$b=a$，可推出$a \lor a = a$。
  这一步的关键是变量替换，光靠自对偶性做不到。

3. 交换律与结合律的推导 #

先处理等式B：
首先用吸收律简化右边的$((f \lor d) \land d)$——根据吸收律第二条，这部分直接等于$d$，所以等式B简化为：
$$(((a \land b) \land c) \lor d) \lor e = (((b \land c) \land a) \lor e) \lor d$$
接下来，我们可以利用等式的基本替换规则：

• 假设我们先通过自对偶性得到$\lor$的结合律（后面会说），可以把左右两边的$\lor$运算结合起来，变成：
  $$(a \land b \land c) \lor (d \lor e) = (b \land c \land a) \lor (e \lor d)$$
• 再结合$\lor$的交换律（同样靠自对偶+代数推导），$d \lor e = e \lor d$，所以等式进一步简化为$(a \land b) \land c = (b \land c) \land a$。
• 此时令$c=a$，代入后利用幂等律，就能推出$\land$的交换律：$a \land b = b \land a$；再结合交换律，就能得到$\land$的结合律：$(a \land b) \land c = a \land (b \land c)$。

然后，再次利用自对偶性，把等式B里的$\land$和$\lor$互换，得到对偶等式，用同样的步骤就能推导出$\lor$的交换律和结合律。

第二步：能不能仅靠自对偶性完成证明？ #

答案是不能。原因很简单：
自对偶性只是格的一个“对称性质”——它能让我们从一个成立的等式得到其对偶式，但它无法单独完成：

• 变量的代入替换（比如令$b=a$推幂等律）；
• 等式的简化（比如把$((f \lor d) \land d)$换成$d$）；
• 从简化后的等式推导交换律、结合律的代数变形。

自对偶性在这个证明中是关键辅助工具，但核心的推导还需要依赖等式逻辑的基本规则（替换、等量代换），以及对给定等式的具体代数操作。

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