■二、等价替换定理与代换定理 m定义21.16:设pq∈PY,若{Pq且 q}Fp,则称p语法等价,记为pHq。 引理212若pHq,则 / Vxd a因为{p}hq由演绎定理知hp→q,同样有 q→p 然后分别证明xp}xq,xq}vxp 二、等价替换定理与代换定理  定义21.16：设p,qP(Y)，若{p}┣q且 {q}┣p，则称p,q语法等价，记为p┣┫q。  引理21.2:若p┣┫q，则xp┣┫xq  因为{p}┣q,由演绎定理知┣ p→q,同样有  ┣ q→p  然后分别证明{xp}┣xq, {xq}┣xp