Schlussregeln
- Über 2.000 Übungen mit über 100.000 Aufgaben
- Interaktive Eingaben, Lösungswege und Tipps
- Automatische Auswertungen und Korrektur
- Erkennung von Wissenslücken
Logische Regeln, die aus wahren Aussagen neue Aussagen herleiten:
->modus tollens, ->modus barbara und ->modus ponens.