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