Voraussetzungen und Prinzipien C19
L.G11: VxGW(P,x=b) x(x=b GW(P,x=b))
L.G11-1: VxGW
n
(P,x=b) x(x=b GW
n
(P,x=b)) für bel. n 1
L.G12: VxGW(P,x=b) VxGW(P,x=b’) GG(P,b=b’)
L.G12-1: VxGW
n
(P,x=b) VxGW
n
(P,x=b’) GG
m
(P,b=b’)
für bel. m,n 1, mit m n
L.G13: GW(P,x(GW
1
(P,xP) v GW
1
(P,(xP))))
x(GW(P,xP) v GW(P,(xP)))