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.