命題公式特異指派

命題公式特異指派(special assignment for a propositional formula)一種特殊映射.是從某命題公式中出現的命題變元集到真值集的映射.設公式a=Cp-'q) V r,.f: {p,q,r}->{T,F}為一映射，使得f (p> -T,.f (q> -F,.f (r>=T，則稱f為公式。的一個特異指派.公式的特異指派對公式全部變元都指派以真值，通常用按照變元的某種順序列出賦予各變元的真值的方法表示.例如，給公式a的變元以順序p,q,r，則上面的指派為f=(T,F,T).