西安电子科技大学$1.5.2推理规则软件学院家P-→Q前提三段论Q→R..(P→R)P合职式Q..PAQ构造性二难推理(P-Q)A(R-S)PVR:.Qvs破坏性二难推理(P-→Q)A(R-S)-QV-S..-PV-R逻辑恒等式可以用来对公式进行等价变换，同时 A台B当且仅当 A→B且 B=A,因此逻辑恒等式也可作为推理规则来用。西安电子科技大学 §1.5.2 推理规则 软件学院