Von dieser Plattform aus lassen sich Übungen zur Semantik der Aussagenlogik starten. Die Ergebnisse jeder Übung sind interaktiv überprüfbar und bei Fehlern erfolgt ein Feedback. Viel Erfolg!