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