6.1221
Ergeben z.B. zwei Sätze „p” und „q” in der Verbindung „pq” eine Tautologie, so ist klar, daß q aus p folgt.
Daß 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, daß dies eine Tautologie ist.