指派 ■命题形式的真假由它中命题变元的值完全确定。 n定义7设α为一个命题形式,α中出现的所有命题 变元都在p1,p2,…,pn中,对序列p,p2,…,pn 指定的的任一真假值序砒,t2,…,t称为的关 于p1,p2,…,pn的一个指派( asignment),其中t =0或1,i∈N,1≤i≤n 即指派是从{1,p2,…,pn到0,1的一个函数。指派 „ 命题形式的真假由它中命题变元的值完全确定。 „ 定义7 设α为一个命题形式, α中出现的所有命题 变元都在p1，p2，…，pn中, 对序列p1，p2，…，pn 指定的的任一真假值序列t1，t2，…，tn称为α的关 于p1，p2，…，pn的一个指派 (asignment)，其中ti = 0或1, i ∈ N, 1≤ i ≤ n. 即指派是从{p1，p2，…，pn}到{0，1}的一个函数