„~p” schließt einfach p aus. Was dann statt p der Fall ist folgt aus dem logischen Wesen der Welt || des Ausgeschlossenen.