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 & es kann wichtig sein zu erkennen daß ein Satz aus einem anderen nicht folgt.