Hallo, Ich hätte eine Frage zum Beweisen nach Fitch:


Wie kommt man bei 6. darauf, das x mit simon zu ersetzen? In 3. Wurde ja nur das x mit a getauscht bislang. Bzw. braucht man die Zeile 6 hier unbedingt? Immerhin hat dieser Schritt keinen weiteren Nutzen für die Aufgabe, oder?