命題演算賦值

命題演算賦值(valuation of propositional cal- culus)一種特殊映射。

命題演算賦值(valuation of propositional cal- culus)一種特殊映射.是從全部命題演算公式集到真值集的映射.該映射必須滿足下列條件:對任何一個命題公式a，有一個惟一確定的真值a (a)，並且使得:

任一賦值。必須給每一個命題變元以一賦值，因而確定了一個指派A;同時，對任一指派A，有一惟一確定的賦值。與之對應，使得對所有命題變元p，有