Aus “nicht p & und q” folgt nicht “Wenn p, so q”. Es ist nicht aus “nicht p & q” zu erschliess[o|e]n. Der Sinn von “Wenn p, so q” ist von dem des Satzes “p impliziert q” grundverschieden. Wenn auch ein Zusammenhang besteht. Dieser: “p & q”, welches die Implikationen wahr macht, tut dies auch für den Sat[u|z] “ … so … ”, oder spricht doch für seine Wahrheit. “p & nicht q widerspricht der Implikation und auch dem Wenn-so-Satz, oder ist seiner Wahrheit nicht günstig. “nicht p & q” und “nicht p & nicht q” bewahrheiten die Implikation und entscheiden nichts über die Wahrheit von “Wenn … , so …”.