部分真值指派

（计算机科学技术）

部分真值指派（partial truth assignment），计算机科学技术名词，对一个逻辑表达式中的某些命题变量赋予0或1（分别表示假和真），而其他变量仍保持为命题变量的一个方法。