6˙121
Ergeben z.B. zwei Sätze p und q in der Verbindung p ⊃ q eine Tautologie so ist klar daß dann q aus p folgt. Daß z.B. „q” aus „p ⊃ q ∙ p” folgt ersehen wir aus jenen beiden Sätzen selbst aber wir können es auch so zeigen indem wir sie zu „p ⊃ q ∙ p . ⊃ . q” verbinden und nun zeigen daß dies eine Tautologie ist.