Ableiten von Würfel (a) aus Würfel (a) <-> a= a (Fitch)

Question

Ich versuche etwas in Fitch zu beweisen und bin auf einem Schritt festgefahren, ich habe:

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

und ich möchte daraus 2. Cube(a) ableiten.

Ich weiß, dass es möglich ist, weil ich Ana Con auf 2. verwenden und 1. als Prämisse auswählen kann und es sagt, dass es gültig ist.
Gibt es jemanden, der mir sagen kann, wie das geht, ohne Ana Con zu verwenden?

Answer 1

(Ich habe keine Kopie von Fitch und habe sie noch nie benutzt. Nehmen Sie diese also mit einer Prise Salz. Aber ich bin mir ziemlich sicher, dass sie richtig ist.)

Holen Sie sich zuerst "a= a" mit= Intro.(Sie brauchen keine Räumlichkeiten.) Nehmen Sie dann diese plus Ihre 1. und wenden Sie <-> Elim an, um Würfel (a) zu erhalten.