6.1221 Ergeben z. B. zwei Sätze „p“ und „q“ in der Verbindung „pq“ eine Tautologie, so ist klar, dass q aus p folgt.

Dass z. B. „q“ aus „pq . p“ folgt, ersehen wir aus diesen beiden Sätzen selbst, aber wir können es auch so zeigen, indem wir sie zu „pq . p : ⊃ : q“ verbinden und nun zeigen, dass dies eine Tautologie ist.