西安电子科技大学$1.5.2推理规则软件学院加法式P:.PvQ简化式PAQ..P假言推理PA(P-Q)..Q拒取式(P→Q)A-Q..-P-P析取三段论PvQ.:Q西安电子科技大学 §1.5.2 推理规则 软件学院