D8 Georg Meggle
D.2 Zu A.3
In A.3 wurden (in durchgängiger Analogie zu 3.3.5) die folgenden Be-
hauptungen aufgestellt: (Explizit erwähnt wurden dort freilich nur die
jeweiligen Sätze für GG bzw. GW; i.F. werden nun auch die zu diesen
Sätzen genau parallelen GG
n
bzw. GW
n
-Sätze aufgeführt.)
G.i*: (0.) ((6*) (8*))
G.i*
n
: (0.) ((6*
n
) (8*
n
))
G.ii*: GG(P,(0.)) ((5*) (7*))
G.ii*
n
: GG
n
(P,(0.)) ((5*
n
) (7*
n
))
T.G13: (0.)* ((5*) (6*)) Bewiesen in D.3
T.G13-1’: (0.)*
n
((5*
n
) (6*
n
)) Direkt aus T.G13-1 mit L.G2.
L.G7: (QV*
B
)* ((7*) (8*)) Bewiesen in D.4 (b)
L.G7-1: (QV*
B
)*
n
((7*
n
) (8*
n
)) Bewiesen in D.4 (b)
L.G8: (0.)* (QV*
B
)* ((0.) GW(P,(0.))) -’’-
L.G8-1: (0.