6.1221
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.