Restriktion der Alternativen

Restriktion der Alternativen
(42) (a) Sam hat nur SUSESF Baum gegossen.
K3 x,y,z
x=sam
z=suse A Z
poss(y,z)
giessen(x,y) baum*(A) poss*(A,Z)
A\{y}…i Z\{z}…i
y0A z0Z
"œu. u0A & giessen(x,u) u=y"
"y unique bzgl. baum(y) & poss(y,z)"
(b) Die Bäume der ANDERENF Kinder sind fast vertrocknet.
K4 V,Y
(c) K3 + K4
Y#ζ
vertrocknet*(V) W U ζ
poss*(V,Y)
baum*(W) kind*(U) ζ0U
VdW YdU
poss*(W,U)
"V maximal bzgl. W & poss*(V,Y)"
"Y maximal bzgl. U\{ζ}"
x,y,z A Z V Y
x=sam baum*(A) kind*(Z) VdA YdZ
z=sue y0A z0Z Y#z
poss(y,z) A\{y}…i Z\{z}…i vertrocknet*(V)
giessen(x,y) poss*(A,Z)
"V maximal bzgl. A & poss*(V,Y)"
"Y maximal bzgl. Z\{z}"
"y unique bzgl. baum(y) & poss(y,z)"
"œu. u0A & giessen(x,u) u=y"
kind*(Z) "Y max. bzgl. Z\{z}"
"V max. bzgl. A' & poss(V,Y)"
199