
C8 Georg Meggle
C.0.2.5 Verstehenslogische Prinzipien
T.V1: VA(Y,X,f,A) f(X)
T.V2: VA(Y,X,f,A) f(X) G(Y,VA(Y,X,f,A))
T.V2.1: VA(Y,X,f,A) W(Y,VA(Y,X,f,A))
T.V2a: VAI(Y,X,f) f(X) G(Y,VAI(Y,X,f))
T.V3: RVA(Y,X,f,A) W(Y,f(X) V(X,f,t))
T.V4: VA(Y,X,f,A) RVA(Y,X,f,A) FVA(Y,X,f,A)
T.V5: VA(Y,X,f,A) f(X) G(Y,RVA(Y,X,f,A))
T.V6: VAI(Y,X,f,A) VAI(Y,X,f)
T.V7: VI(Y,X,f) I(X,f)
T.V8: VI(Y,X,f) VAI(Y,X,f)
T.V8.1: VI(Y,X,f) G(Y,I(X,f))
T.V9: VI(Y,X,f) RVAI(Y,X,f)
T.V10: VI(Y,X,f) A(I(X,f,A) VAI(Y,X,f,A))
T.V11: VI(Y,X,f) RVAI(Y,X,f) A(I(X,f,A) VAI(Y,X,f,A))
T.V12: VAI(Y,X,f) G(Y,I(X,f))
T. ...