从 Cube(a) 导出 Cube(a) <-> a = a（惠誉）
我试图在 Fitch 中证明一些事情，但我被困在一个步骤上，我有：
1. Cube(a) <-> a = a
并且我想导出 2。立方体(a)由此而来。
我知道这是可能的，因为我可以在 2. 上使用 Ana Con 并选择 1. 作为前提，它表示它是有效的。
有谁可以告诉我如何在不使用 Ana Con 的情况下做到这一点？
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
（我没有 Fitch 的副本，也从未使用过它，所以对此持保留态度。但我很确定它是正确的。）
首先使用 =Intro 得到“a=a”。 （您不需要任何前提。）然后将其加上您的 1. 并应用 <->Elim 以获得 Cube(a)。
(I don't have a copy of Fitch and have never used it, so take this with a pinch of salt. But I'm pretty sure it's right.)
First get just "a=a" using =Intro. (You don't need any premises.) Then take that plus your 1. and apply <->Elim to get Cube(a).