v(p-q=v(p)v9=1+v(p)+v(pvlg V(-→p)=v(p→F)=1+vp) v(pva=v(p-q=v(p)+v(a+v(pv(a V(pAq=vpv-g=v(pva; V(p<>q)=v(p→q)∧(q→p) =1+v(p)+vq) V(日xp)=v(一x-p)=1+v(vx-p) v(p→q)=v(p)→v(q)=1+v(p)+v(p)v(q)  v(p)=v(p→F)=1+v(p)；  v(pq)=v(p→q)=v(p)+v(q)+v(p)v(q)  v(pq)=v((pq))=v(p)v(q);  v(pq)=v((p→q)(q→p)) =1+v(p)+v(q)  v(xp)=v(xp)=1+v(xp)