Georg Meggle
und
D19.2: WG
2
(x,P,F(Ŷ)) für: n(Vj(n=2j) WG
n
(X,P,F(Ŷ)))
Es ist von X aus gesehen in P wechselseitiger Glaube gerader
Stufenzahl, dass in P die Eigenschaft F(Y) vorliegt
Aufgrund dieser Bestimmungen gilt nun trivialerweise:
TG23: WG
1
(X,P,F(Ŷ)) WG
2
(X,P,F(Ŷ)) WG(X,P,F(Ŷ))
Ferner ergeben sich:
TG24: WG
1
(X,P,F(Ŷ)) WG
2
(X,P,WG
1
(Ŷ,P,F(
)))
TG25: WG
2
(X,P,F(Ŷ)) WG
2
(X,P,WG
2
(Ŷ,P,F(
)))
Und da bei WG
1
(X,P,F(Ŷ)) und WG
2
(X,P,F(Ŷ)) bei gegebenem X auch Y
fest ist, können wir auch einfacher schreiben:
D19.1.1: WG(a,a,b,F(b)) für: WG
1
(X,P,F(Ŷ)) X = a
bzw.
D19.1.2: WG(a, a,b,F(a)) für: WG
2
(X,P,F(Ŷ)) X = a
3.4.8 Gemeinsamer und Wechselseitiger Glaube/Zusammenhang
Gemeinsame und wechselseitige Überzeugungen ...