modus ponens
- Über 2.400 Übungen mit fast 200.000 Aufgaben
- Interaktive Eingaben, Lösungswege und Tipps
- Automatische Auswertungen und Korrektur
- Erkennung von Wissenslücken
Eine Schlussregel der Aussagenlogik: \(p wedge (p Rightarrow q) Rightarrow q\)
Eine Schlussregel der Aussagenlogik: \(p wedge (p Rightarrow q) Rightarrow q\)