6.1201
Daß z.B. die Sätze „p” und „/p” in Verbindung „/(p./p)” eine Tautologie ergeben, zeigt, daß sie einander widersprechen. Daß die Sätze „pCq”, „p” und „q” in der Form „(pCq).(p) :C: (q)” miteinander verbunden eine Tautologie ergeben, zeigt, daß q aus p und pCq folgt. Daß „(x).fx :C: fa” eine Tautologie ist, daß fa aus (x).fx folgt. etz. etz.