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.
Frage zum mockexam
Hi,
eine Frage zum mockexam:
Bei Aufgabe 4.3 soll mit dem Resolutionskalkül etwas bewiesen werden. In der Musterlösung wird allerdings das Tableaukalkül verwendet. Ist das ein Fehler? Oder darf man bei einem Resolutionsbeweis Tableau-Regeln verwenden?