第十章 现代逻辑基础.pptVIP

第十章 现代逻辑基础 主要内容： 1、命题逻辑 2、谓词逻辑 第一节 命题逻辑 命题是通过陈述语句反映事物情况的思维形式。命题逻辑是研究以命题联结词为核心、简单命题为基本单位所构成的复合命题的逻辑性质及其相互间的推导关系的逻辑。形式化的命题逻辑是现代逻辑的基础部分之一。 一、重言式 （一）命题联结词与真值形式 1、命题联结词 用符号表示为：﹁、∧、∨、→、←→。 2、真值形式 真值形式是指由真值联结词（命题联结词）和命题变项所构成的形式结构，也就是各种复合命题的命题形式。所谓命题形式，其外延定义是： （1）任何命题变项p、q、r……是命题形式，且﹁p，p∧q，p∨q，p→q，p←→q是命题形式。 （2）如果A和B是命题形式，那么﹁A，A∧B，A∨B，A→B，A←→B也是命题形式。根据这样的定义可知：p，p∧q→p，﹁﹁p，﹁p∨﹁q→（p→q）等都是真值形式，但﹁q→，∧q，∨﹁q→（p→等由于不符合规定，不是真值形式。 在命题逻辑中，基本的真值形式有五种： 否定式：﹁p 合取式：p∧q 析取式：p∨q 蕴涵式：p→q 等值式：p←→q （二）真值形式的种类 1、重言式。一个真值形式，不论其中的命题变项取值是什么，它的真值永远为真，则这个真值形式就是重言式，也叫永真式。例如，p∨﹁p，p→p等。 2、矛盾式。一个真值形式，不论其中的命题变项取值是什么，它的真值永远为假，则这个真值形式就是矛盾式，也叫永假式。例如，p∧﹁p，﹁（p→p）等。 3、偶真式。一个真值形式，如果对于其中命题变项的某些真值组合取值为真，对于其中命题变项的另一些真值组合取值为假，则这个真值形式叫做偶真式，也叫可满足式。例如，p∧q，(p∨﹁q) ∧（p→q）等。 常用的重言式都是逻辑规律，主要有： （1）p→p 同一律 （2）﹁（p∧﹁p） 不矛盾律 （3）p∨﹁p 排中律 （4）（p→q）∧p→q 分离律 （5）（p→q）∧﹁q→﹁p 否后律 （6）（p∨q）∧﹁p→q 否析律 （p∨q）∧﹁q→p 否析律 （7）p∧q→q 合简律 p∧q→p 合简律 （8）p→（q→p∧q） 合并律 （9）p→p∨q 析取引入律 （10）p∨p←→q 幂等律 p∧p←→q 幂等律 （11）（p→﹁p）→﹁p 蕴简律 （﹁p→p）→p 蕴简律 （12）（p→q）∧（q→r）→(p→r) 三段论律（13）（p→r∧﹁r）→﹁p 归谬律 （14）p←→﹁﹁p 双否律 （15）（p→q）←→（﹁q→﹁p） 换位律 （16）﹁（p∧q）←→﹁p∨﹁q 德摩根律 ﹁（p∨q）←→﹁p∧﹁q 德摩根律 （17）p∧q←→q∧p 交换律 p∨q←→q∨p 交换律 （18）(p∧q)∧r←→p∧(q∧r) 结合律 (p∨q) ∨r←→p∨(q∨r) 结合律 （19）p∧（q∨r）←→（p∧q）∨（p∧r） 分配律 p∨（q∧r）←→（p∨q）∧（p∨r） 分配律 （20）（p→q）←→﹁p∨q 蕴析律 （21）（p←→q）←→（p→q）∧（q→p） 等值律 （p←→q）←→（p∧q）∨（﹁p∧﹁q） 等值律 （22）p←→p∧（q∨﹁q） 加元律 p←→p∨（q∧﹁q） 加元律 二、命