Handlungstheoretische Semantik

C6 Georg Meggle

Theoreme

TC1 a) NA  A

b) N(A  B)  (NA  NB)

c) xNA[x  NxA[x

TC2 a) N(A  B)  K(B,A)

b) A  B ├ K(A,C)  K(B,C)

TC3 a) MA  K(B,A)  MB

b) MA  K(B,A)  K(B,A)

c) NA  K(B,A)

TC4 a) MA  (K(B  C,A)  K(B,A)  K(C,A  B))

b) K(B,A)  K(A,B)  (K(C,A)  K(C,B))

TC5 a) K(x(B[x,A)  xK(B[x,A)

b) VxK(B[x,A)  K(VxB[x,A)

TC6 a) K(B,A)  K(A  B,A)

b) K(B,A)  K(C,A  B)  K(C,A)

TC7 a) L(A,A v B)  (K(C,A v B)  K(C,A))

b) L(A,A v B)  L(B,A v B)  (K(S,A v B) 

K(C,A)  K(C,B))

TC8 a) MB  NA  (K(C,B)  K(C,A  B))

b) L(C,A)  (K(B,A)  K(B,A  C))

TC9 a) L(A,B)  K(B,A)  K(C,B)  K(C,A)

b) L(C,A)  L(A,C)  (K(B,A)  K(A  B,C))

c) L(A,C)  L(A,C)  (K(B,A ...