6˙1121
Daß z.B. p und ~p einander widersprechen zeigt sich in || an der Tautologie „~(p ∙ ~p)”.