Voraussetzungen und Prinzipien C17
T.G15: GW(P,P* P) (GW(P,A) GW(P*,A))
C.3.2 Prinzipien Wechselseitigen Glaubens
(i) Grundprinzipien
T.G16: A ├ WG(P,G(Ŷ,A))
T.G17: WG(P,F(Ŷ) F*(Ŷ)) (WG(P,F(Ŷ) WG(P,F*(Ŷ))))
T.G18: WG(P,F(Ŷ)) WG(P, F(Ŷ))
T.G19: WG(P,F(Ŷ)) WG(P,WG(
,P,F(Ŷ))
(ii) Weitere Prinzipien
T.G20: A B ├ WG(P,G(Ŷ,A) G(Ŷ,B))
T.G21: WG(P,F(Ŷ)) WG(P,F*(Ŷ)) WG(P,F(Ŷ) F*(Ŷ))
T.G22: WG(P,F(Ŷ) F*(Ŷ)) (WG(P,F(Ŷ)) WG(P,F*(Ŷ)))
T.G23: WG
1
(X,P,F(Ŷ)) WG
2
(X,P,F(Ŷ)) WG(X,P,F(Ŷ))
T.G24: WG
1
(X,P,F(Ŷ)) WG
2
(X,P,WG
1
(Ŷ,P,F(
)))
T.G25: WG
2
(X,P,F(Ŷ)) WG
2
(X,P,WG
2
(Ŷ,P,F(
)))
C.3.3 Gemeinsamer und Wechselseitiger Glaube – Zusammenhang
T.G26: WG(P,F(Ŷ)) WG(P,G(Ŷ,F(Ŷ))) X(XP
G(X,F(