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!