- gestellte Fragen oder gegebene Antworten wurden upvotet (5 Punkte je Upvote)
- erhaltene Antwort akzeptiert (2 Punkte je Antwort)
- gegebene Antwort wurde akzeptiert (15 Punkte je Antwort)
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?