推導立方（一）從立方體（一）<-> 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）。