/  
Ich glaube wir stoßen hier auf das Problem des Gebrauchs der Wahrheitsfunktionen in der Mathematik.
  Und der Darstellung eines „logischen” Schlusses in der Mathematik!