6.1201
Dass z. B. die Sätze „p“ und „~p“ in der Verbindung „~(p.~p)“ eine Tautologie ergeben, zeigt, dass sie einander widersprechen. Dass die Sätze „p⊃q“, „p“ und „q“ in der Form „(p⊃q).(p):⊃:(q)“ miteinander verbunden eine Tautologie ergeben, zeigt, dass q aus p und p⊃q folgt. Dass „(x).fx:⊃:fa“ eine Tautologie ist, dass fa aus (x).fx folgt. etc. etc.