命题公式成真指派名词解释：一种指派.是使命题公式的真值为真的指派.例如,设公式α=(p→q)∨r.对应于指派(T,F,T),α的真值为T,所以(T,F,T)称为α的成真指派.有缺指派亦可为成真指派.例如,不论指派p,q以何真值,只要指派r以T,则所对应的公式α的真值总为T,所以(x,x,T)为α的有缺成真指派.