C18 Georg Meggle
C.4 Lemmata des interpersonellen Glaubens
L.G1: GW(P,A) GG(P,A) A
L.G2: GW
n
(P,A) m(1 m n GG
m
(P,A) A) für bel. n 1
L.G3: GW
n
(P,A) GW
n-1
(P,A) für bel. n 1
L.G3.1: GW
n
(P,A) GW
m
(P,A) für bel. m,n 1, mit m n
L.G3.2: GW
n
(P,A) GG
n
(P,A) für bel. n 1
L.G3.3: GW
n
(P,A) GG
m
(P,A) für bel. m,n 1, mit m n
L.G4: x(xP G(x,xP)) (GG
n
(P,A) GG
n-1
(P,A)) für bel. n 1
L.G4.1: x(xP G(x,xP)) (GG
n
(P,A) GG
m
(P,A))
für bel. m,n 1, mit m n
L.G4.2: x(xP G(x,xP)) (GW
n
(P,A) GG
n
(P,A) A)
für bel. n 1
L.G5: GG
n+m
(P,A) GG
n
(P,GG
m
(P,A)) für bel n,m 1
L.G6: GG
m
(P,GG
n
(P,A)) GG
n
(P,GG
m
(P,A)) für bel n,m 1
L.G7: VxGW(P,x=b
1
) … VxGW(P,x=b