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.