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