Chap3 命题逻辑的推理理论 1.核心知识点 1.推理：由前提推出结论 2.推理正确 当且仅当 对应的蕴含式为重言式 3.推理定律（重言蕴含式）： 构造性二难推理：(A→B)∧(C→D)∧(A∨C)⇒(B∨D)         (A→B)∧(┐A→B)⇒B (特殊形式) 破坏性二难推理：(A → B)∧(C→D)∧(┐B∨┐D)⇒ (┐A ∨┐C) 4.构造证明方法:直接构造法，附加前提证明法（结论为蕴含式），归谬法（结论的否定式作为附加前提） 2.一般知识点 1.判断蕴含式是否为重言式的三种方法：真值表法、等值演算法、主析取范式法 2.自然推理系统P 3.消解证明法：根据归谬法思想，采用...