Handlungstheoretische Semantik

Beweise D11

Beweise

Für G.i*: Es gilt sowohl

G.i*.1: (0..1)  ((6*)  (8*)) bereits p.l.

als auch

G.1*.2: (0..2)  ((8*)  (6*)) bereits p.l.

Und daraus dann direkt G.i*. Beweis für G.ii

n

* direkt analog.

Für G.ii*. Wir zeigen:

G.ii*.1: GG(P,(0..1))  ((5*)  (7*))

und

G.ii*.2: GG(P,(0..2))  ((7*)  (5*))

Und daraus dann, da

G.ii*.1: GG(P,(0..1))  GG(P,(0..2)) nach T.G6 äquivalent mit

GG(P,(0..1))  (0..2)), mit T.G5 wegen der Äquivalenz von (0..1) 

(0..2) mit (0.) dann G.ii*.

Für G.ii*.1: Aus (0..1) und x(B(x)  F(x)) p.l. x(x=b

1

v … v x=b

m



F(x)), i.e. F(b

1

)  …  F(b

m

). Nun aber aus GG(P,(0..1)) und (5*) nach

T.G6 GG(P,(0..1)  x(B(x)  F(x))), nach T.G5 also auch GG(P,F(b

1

)