Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Musterlösung Übung
Ich hab eine Frage zur Musterlösung für die Bearbeitung von Aufgabe 3 Aufgabenblatt 5.
Bei der 1 von den Fitch Lösungen steht in Zeile 14 als angewendete Regel “RE”.
Was heißt das und wie setze ich das in Coq um???
Danke schonmal für die Hilfe
Vielleicht “Reiteration”. In Coq sollte eine vorher angenommene oder hergeleitete Aussage sowieo unter den Annahmen gelistet sein, sodass du das in Coq nicht brauchst.