6.1221
Ergeben z.B. zwei Sätze „p” und „q” in der Verbindung „pCq” eine Tautologie, so ist klar, daß q aus p folgt.
Daß z.B. „q” aus „pCq.p” folgt, ersehen wir aus diesen beiden Sätzen selbst, aber wir können es auch so zeigen, indem wir sie zu „pCq.p :C: [Q|q]” verbinden und nun zeigen, daß dies eine Tautologie ist.