关于逻辑函词演算的建立

建立逻辑函词演算如下。本原逻辑函词: C_a(x)=a,I_(mn)(x_1,…,x_m)=x_n(1≤n≤m)。配对函词pg,K,L使得 Kpg(x,y)=x,Lpg(x,y)=y。求逆算子τ,当f为1-1函词时它将f(x)变成?f(x)(亦记为f^(-1)(a))使得即 f(f^(-1)(a))=a。递归鼻子p^V它将两函词g(x)与f(x,y)变成?{g(x),f(x,y)}(暂记为k(a,b,c))使得这是—般递归式的一种。以上的x,y叫做作用变元(指导变元,为约束变元),而a,b,c叫做新添变元(自由变元)。当g(x)为1-1函词时,可将?{g^(-1)(x),,f(x,y)}记为?·{g(x),f(x,y)}或h(a,b,c),则有:这是原始递归式的一种。