赋值

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第676页（188字）

也叫“指派”。逻辑语义学基本概念之一。在解释内给具体表达式以确定的对象。在命题逻辑中，通常指把某个真值(真或假)赋予一个命题的所有原子命题。赋值时相反的真值不能同时赋予某个原子命题。如以V表示一个任意的赋值，以“1”表示真，以“0”表示假，p为命题，那么v(p)=1表示在某赋值中p是真的，v(p)=0表示在某赋值中p是假的。