西安电子科技大学$1.5.3推理证明方法软件学院三、描述推理任务P→-Q,R→Q,R -P四、推理步骤根据公式(1)R→QP规则(2)P规则R(3)QT (1) (2) I假言推理(4)P规则P→-Q(5)-Q→PT (4) E(5)-PT (3) (4) I假言推理西安电子科技大学 软件学院 三、描述推理任务 P → ¬ Q ，R → Q ， R ⇒ ¬ P 四、推理 (1) R → Q P规则 (2) R P规则 步骤 公式 根据 (3) Q T (1) (2) I 假言推理 (4) P → ¬ Q P规则 (5) ¬ P T (3) (4) I 假言推理 (5) ¬ Q → P T (4) E §1.5.3 推理证明方法