推导立方（一）从立方体（一）<-> A = A（惠誉）

Question

我试图证明在惠誉的东西，却困一步，我有：

1. Cube(a) <-> a = a 

和我想从中推导出2. Cube(a)。

我知道这是可能的，因为我可以在2上使用Ana Con并选择1作为前提，并且它表示它是有效的。
有没有人可以告诉我如何做到这一点，而不使用Ana Con？

Answer 1

（我没有惠誉的副本，从来没有使用过，所以采取这种用少许盐，但我敢肯定它是正确的。）

首先得到的只是“A = A “使用=简介。 （你不需要任何处所。）然后再加上你的1.并且应用< - > Elim来获得Cube（a）。