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