第七讲命题逻辑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 ? ?B ∴ ?A （12）否定消除规则（?－）：在给定前提下，由引入假设的?A，推出B和?B，那么由此可推出A； ? （ ? A） ? B ? ?B ∴ A （三）自然推理系统定理的证明 定理1：p→（p∨q） 证明： 1、?p （P） 2、?p∨q （1∨＋） 3、p→（p∨q） （1，2→＋） 定理2：（p∨q）→（q∨p） 证明： 1、?p∨q （P） 2、 ??p （P） 3、 ??q∨p （2∨＋） 4、?p→（q∨p） （2，3 →＋） 5、 ??q （P） 6、 ??q∨p （5 ∨＋） 7、?q→（q∨p） （5，6 →＋） 8、?q∨p （1，4，7 ∨－） 9、（p∨q）→（q∨p） （1，8 →＋） 定理3：??p→p 证明： 1、???p （P） 2、 ???p （P） 3、 ????p （1Rep） 4、 ???p （2Rep） 5、? p (2、3、4?－) 6、??p→p （1、5→＋） 定理4：?（p∧q）→（?p∨?q） 证明： 1、??（p∧q） （P） 2、 ???（?p∨?q） （P） 3、 ????p （P） 4、 ????p∨?q (3∨＋) 5、 ????（?p∨?q）（2R） 6、 ??p (3、4、5?－) 7、 ????q （P） 8、 ????p∨?q (7∨＋) 9、 ????（?p∨?q）（2R） 10、 ??q （7、8、9?－） 11、 ??p∧q （6、10∧＋） 12、 ???（p∧q） （1R） 13、 ??p∨?q （2、11、12?－） 14、?（p∧q）→（?p∨?q）（1、13→＋） * 第四章 命题逻辑（三）  逻辑系统推理系统 现代逻辑最大的特别是用形式语言来构造逻辑系统。这样有利于避免自然语言的模糊性和不准确性。形式语言是一种具有精确规则、能表意的符号系统，它由两部分构成：一是符号库，二是形成规则。符号库：p，q，r，p1，···（，）∨形成规则： 形成规则： （1）一个命题变项π是合式公式。 （2）如果符号序列A是合式公式，那么?A也是合式公式。 （3）如果符号序列A和B是合式公式，那么A∨B是合式公式。 （4）只有符合上面三条的符号序列是合式公式。