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.
Sequent-Style for ND
Dürfen wir in der Klausur auch den Sequent-Style Natural Deduction Calculus (Slides F437) anstatt des normalen Natural Deduction Calculus verwenden?
Prinzipiell ist beides ja das Gleiche aber ich finde den Sequent-Style viel übersichtlicher.
Grüße
Flo
Ja, das dürft ihr explizit 