第七讲命题逻辑2015(二)系统研讨.ppt

（4）合取消除规则（∧-）： A∧B A∧B ∴ A ∴ B （5）析取引入规则（∨＋）： A B ∴ A∨B ∴ A∨B （6）析取消除规则（∨－）：设C为求证的公式，A∨B为前提。假如能从A可推出C，从B也能推出C，则C得证： A∨B A→C B→C ∴ C （7）蕴涵引入规则（→＋）：在一个前提集合P的基础上加进一个假设而推出B，那么从P可以推出A→B： ? （A） ? B ∴ A→B （8）蕴涵消除规则（→－） A→B A ∴ B （9）等值引入规则（←→＋）： A→B，B→A ∴ A←→B （10） 等值消除规则（←→－） A←→B A←→B ∴ A→B ∴ B→A （11）否定引入规则（－＋）：在给定前提下，引入假设A，由此推出B和?B，那么原来的前提可推出?A： ? （A） ? B