Cube(a)からCube(a)を導出する<-> a= a(フィッチ)
-
27-10-2019 - |
質問
フィッチで何かを証明しようとしていますが、一歩立ち往生しています。 ジェネラコディセタグプレ
そして私はそれから2. Cube(a)
を導き出したいです。
2でAna Con
を使用し、前提として1を選択できるため、それが可能であることがわかっています。
Ana Con
を使用せずにこれを行う方法を教えてくれる人はいますか?
解決
(私はフィッチのコピーを持っておらず、使用したことがないので、塩を少し入れてください。しかし、それは正しいと確信しています。)
最初に= Introを使用して「a= a」だけを取得します。(前提は必要ありません。)次に、それに加えて1を取り、<-> Elimを適用してCube(a)を取得します。
所属していません StackOverflow