谓词演算公式在个体域上的指派名词解释：一种映射.指局限于公式中符号的指派.设谓词演算公式α中含有自由的个体变元x1,x2,…,xm;命题变元p1,p2,…,pn;谓词变元R1,R2,…,Rj;函词变元F1,F2,…,Fk.公式α在个体域I上的指派是满足下列条件的映射σ名词解释：
1.σ(xi)∈I (i=1,2,…,m).
2.σ(pi)∈{T,F} (i=1,2,…,n).
3.σ(Ri)为I上的一个具体的ni元谓词(i=1,2,…,j).
4.σ(Fi)为I上的一个具体的ni元函词(i=1,2,…,k).
