Fitch Kalkül

Aufrufe: 439     Aktiv: 16.02.2022 um 18:49

0
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?
Diese Frage melden
gefragt

Punkte: 16

 
Kommentar schreiben
0 Antworten