定义18.4:设v为X→Z2的映射,称v为命 题变元的一个指派。 v(p→>q)=v(p)→v(q)=1+v(p)(1+v(q) 1+v(p)+v(pv(g); v(p)=v(p→F)=v(p)→→v(F)=1+v(p)(1+v(F) =1+v(p)(1+0)=1+v(p); v(pq)=v(→p→q)=v(p)-v(q) =1+(1+v(p)(1+v(q)=v(p)+v(q)+v(p)yv(q); v(pAg=v((pv-1g)=1+vepv-1g) -V(pv(q; v(p>q)=v(p→q)(q→p)) 1+v(p+v(g定义18.4:设v0为X→Z2的映射，称v0为命 题变元的一个指派。 v(p→q)=v(p)→v(q)=1+v(p)(1+v(q)) =1+v(p)+v(p)v(q)； v(p)=v(p→F)=v(p)→v(F)=1+v(p)(1+v(F)) =1+v(p)(1+0)=1+v(p)； v(pq)=v(p→q)=v(p)→v(q) =1+(1+v(p))(1+v(q)) =v(p)+v(q)+v(p)v(q)； v(pq)=v((pq))=1+v(pq) =v(p)v(q); v(pq)=v((p→q)(q→p)) =1+v(p)+v(q)