从 Cube(a) 导出 Cube(a) <-> a = a（惠誉）
我试图在 Fitch 中证明一些事情，但我被困在一个步骤上，我有： 1. Cube(a) <-> a = a 并且我想导出 2。立方体(a)由此而来。 我知道这是可能的，…
Fitch 格式证明 - 有自动求解器吗？
Closed. This question is seeking recommendations for software libraries, tutorials, tools, books, or other off-site resources. It does not …
- 共 1 页
- 1
