q" eine Tautologie, so ist klar,
daß q aus p folgt.
Daß 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, daß dies eine
Tautologie ist.