Beweise D7
Außer I*’ gilt nun aber sogar das stärkere, oben schon bewiesene
G.ii: G(a,(0.)) ((5) (7))
woraus I*’ mit Antezendensverstärkung und D0.
Für II*: Aus W(a,(0.)) nach D0 sowohl G(a,(0.)) – wobei dann mit G.ii
(5) (7), als auch (0.) – woraus dann mit G.i (6) (8). Mit (QV*
B
) alleine
wegen G.iv (7) (8). Aus (QV*
B
) und W(a,(0.)) also auch Dann-Satz von
II*.
Für III*: Aus (0.) mit (QV*
B
) und (0.) wegen TG.IV W(a,(0.)); und
somit sowohl nach I* als auch nach II* III*.