谓词演算在个体域上的指派名词解释：一种映射.指谓词演算形式系统的语义解释.个体域I上的指派是满足下列条件的映射σ名词解释：
1.对每一个命题变元p,σ(p)∈{T,F}.
2.对每一个个体变元x,σ(x)∈I.
3.对每一个谓词变元R,σ(R)为I上的一个具体的n元谓词.
4.对每一个函词变元F,σ(F)为I上的一具体的n元函词.
谓词演算在个体域上的指派名词解释：一种映射.指谓词演算形式系统的语义解释.个体域I上的指派是满足下列条件的映射σ名词解释：
1.对每一个命题变元p,σ(p)∈{T,F}.
2.对每一个个体变元x,σ(x)∈I.
3.对每一个谓词变元R,σ(R)为I上的一个具体的n元谓词.
4.对每一个函词变元F,σ(F)为I上的一具体的n元函词.
