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 „p C q”, „p” und „q” in der Form „(pCq).(p):C:(q)” miteinander verbunden eine Tautologie ergeben, zeigt daß q aus p und p C q folgt. Daß „(x).fx:C: fa” eine Tautologie ist, daß fa aus (x).fx folgt . etz. etz.