《离散数学》杨争锋ch01-4幻灯片资料.pptVIP

§1.5 Rules of Inference Introduction Example: Read it by yourself(Page 63) Modus Ponens (假言推理) Hypotheses p, p→q Conclusionq also written as: p p→q q (c) Conjunction (合取) p q p /\ q (d) Modus ponens (假言推理) p p→q q (e) Modus tollens (拒取式) ?q p→q ?p (f) Hypothetical syllogism (假言三段论) p→q q→r p→r (g) Disjunctive syllogism (析取三段论) p \/ q