Kontradiktion
- Über 2.400 Übungen mit fast 200.000 Aufgaben
- Interaktive Eingaben, Lösungswege und Tipps
- Automatische Auswertungen und Korrektur
- Erkennung von Wissenslücken
Kontradiktion bedeutet Widerspruch. In der zweiwertigen Logik gilt das lateinische ->tertium non datur - "ein Drittes gibt es nicht":
\(p vee neg p\) oder logisch äquivalent \(neg left(p wedge neg pright)\)