Die Erklärung ‚~p’ ist wahr für den Fall wenn || in welchem ‚p’ falsch ist, wäre identisch mit der Erklärung daß, ‚p ⌵ ~p’ kein sinnvoller Satz sondern eine Tautologie ist.