Q·2.AUmq要证明Ahp-q ◆因为AU{p}q,故存在AU{p导出q的 有限证明序列p1,pn=q,为了证明 A卜p→>q,对AUp}卜q的证明序列长度 作归纳证明。 ◆例:证明{pq,q→r}Fpr ◆证明:先证{p→q,q→r,p}Fr ◆然后由演绎定理即可得 2. A∪{p}┝q要证明A┝p→q  因为A∪{p}┝q，故存在A∪{p}导出q的 有限证明序列 p1 ,…,pn=q，为了证明 A┝p→q，对A∪{p}┝q的证明序列长度 作归纳证明。  例：证明{p→q, q→r}┝p→r  证明： 先证{p→q, q→r,p}┝r  然后由演绎定理即可得