謂詞演算賦值是滿足一定條件的指派.它是從全體謂詞演算公式集到真值集的映射a(設a}R為任意兩個謂詞演算公式)。
謂詞演算賦值(valuation in a predicate calcu- lus)滿足一定條件的指派.它是從全體謂詞演算公式集到真值集的映射a(設a}R為任意兩個謂詞演算公式)，該映射。必須滿足下列條件:
此處習,V,立，丟的定義與命題演算賦值中的這些符號的定義相同. 6.如果對任一個x，在1上的取值a (x)為真，則 (E/x)a(x)=T，否則(E/x)a(x)=F. 7.如果對某個x，在1上的取值a (x)為真，則 (}x)a(x)=T，否則(}x)a(x)=F.
