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.
Regelnamen angeben?
Hi,
wird in der Klausur verlangt, dass bei Resolution/Tableau/… die Namen der verwendeten Kalkülregeln in jedem Schritt angegeben werden?
Ja, bitte :3