Aus ~p ∙ ~q folgt nicht “Wenn p, so q”. Es ist nicht aus ~p ∙ ~q zu erschließen. Der Sinn von “Wenn p so q” ist von dem des Satzes p ⊃ q grundverschieden. Wenn auch ein Zusammenhang besteht. Dieser: p . q welches die Implikation wahr macht, bewahrheitet || tut dies auch für den Satz “Wenn – so … ”, oder spricht doch für seine Wahrheit. p.~q widerspricht der Implikation, & auch dem Wenn-so-Satz, oder ist doch seiner Wahrheit nicht günstig. ~p . q & ~p . ~q bewahrheiten
15
die Implikation & entscheiden nichts über die Wahrheit von “Wenn … so …”.