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.
Übungen für Formalisierung in Prädikatenlogik
Ich wollte fragen ob jemand gute Seiten kennt wo man Aufgaben mit Lösungen zu Formalisierung in Prädikatenlogik findet die ungefähr unserem Niveau vom Schwierigkeitsgrad her entsprechen.