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

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