Eine Kontradiktion p ∙ ~p kann man doch immer auffassen als ~(p) ∙ ~(~p) & das als den Satz: ich will || kann weder p
noch ~p behaupten. || behaupten, noch ~p.