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