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