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

✓ ✓