命题公式特异指派名词解释：一种特殊映射.是从某命题公式中出现的命题变元集到真值集的映射.设公式α=(p→q)∨r,f名词解释：{p,q,r}→{T,F}为一映射,使得f(p)=T,f(q)=F,f(r)=T,则称f为公式α的一个特异指派.公式的特异指派对公式全部变元都指派以真值,通常用按照变元的某种顺序列出赋予各变元的真值的方法表示.例如,给公式α的变元以顺序p,q,r,则上面的指派为f=(T,F,T).
