Georg Meggle
TG.IIIb: x(B(x) G(a,B(x)))
(x(B(x) G(a,F(x))) G(a,x(B(x) F(x))))
und somit
TG.III: (0.α) (G(a,xB(x) F(x))) x(B(x) G(a,F(x))))
wobei
(0.α) x(W(a,B(x)) v W(a,B(x)))
Und direkt analog ist nun auch die Frage zu beantworten, unter welchen
Voraussetzungen man von einem Gemeinsamen Glauben in sensu
composito zu einem Gemeinsamen Glauben in sensu diviso – bzw. um-
gekehrt – übergehen darf:
T.G13a: x(B(x) GG(P,B(x)))
(GG(P, x(B(x) F(x))) x(B(x) GG(P,F(x))))
T.G13b: x(B(x) GG(P,B(x)))
x(B(x) GG(P, F(x))) GG(P,x(B(x) F(x))))
und somit auch
T.G13: (0.α)* GG(P,x(B(x) F(x))) x(B(x) GG(P,F(x))))
Unter Voraussetzung von (0.α)* gilt: Wenn es Gemeinsamer ...