Table 1 推理与证明方法 Rule of Inference Name P→PVQ Addition/析取附加式 P∧Q→P Simplification/合取化简式 P、Q→P∧Q Conjunction/并发式 P、P→Q→Q Modus ponens,分离式 Q、P→Q→-P Modus tollens/拒取式 p、PVQ→Q Disjunctive syllogism析取三段式 P→Q、Q→R→P→R ypothetical syllogism假言三段式 2/24/202111:15PM Deren Chen Zhejiang univ推理与证明方法 2/24/2021 11:15 PM Deren Chen, Zhejiang Univ. 4 Table 1 Rule of Inference Name P  P ∨Q Addition/析取附加式 P ∧Q  P Simplification/合取化简式 P、Q  P ∧Q Conjunction/并发式 P、 P → Q  Q Modus ponens/分离式 ¬ Q、 P → Q  ¬ P Modus tollens/拒取式 ¬ p、P ∨Q  Q Disjunctive syllogism/析取三段式 P → Q、 Q → R  P → R Hypothetical syllogism/假言三段式