Wie kann man denn eine Ungleichung gebrauchen? Das führt zu dem Gedanken, dass es in der Logik auch die interne Beziehung des Nicht-Folgens gibt und es kann wichtig sein zu erkennen, dass ein Satz aus einem anderen nicht folgt.