离散数学 第一章.pptVIP

: : : 上节我们讨论了命题和连接词, 具有唯一确定真假值的陈述句叫做命题, 不含连接词的命题叫原子命题,至少包含一个连接词的叫做复合命题, 任意命题都可由原子命题符号及连接词组成的符号串表示. 将命题用符号表示,目的就是想把对命题的研究转化为对符号的研究.看看这些符号串的构造规律和性质.“透过现象看本质” 例如 “他有理论知识但无实践知识. ” 分析: 设p:他有理论知识, q: 他有实践知识 符号化:p?( ? q) 该符号串有特定含义,代表上面的命题.如果抛开p,q的具体含义,单看这个符号串是什么意思呢? 就像代数中, 设x=1, y=2, x+y=3 抛开上述指定, x+y是什么意思呢? 这是一个代数表达式, 当x,y用不同的数代入,就可得到新的数. 同样道理, 单看这个式子,它的作用就相当于代数中的算术表达式.在此称p? (? q)为命题表达式或命题公式, 他是对命题的抽象描述,反映了命题的形式构造特征. 并非任意由原子命题符号和连接词组成的符号串都是命题公式.什么样的符号串代表命题?即它是一个命题公式呢?定义如下: : : 在命题逻辑中重言式即为永真式， 后面将看到，在谓词逻辑中，重演式与永真式是不同的概念。 : : 说明: 1. 可将任二命题用条件连接词连起来,不考虑复合命题含义是否合理. 2.当前件为真时,后件必须为真,蕴含式才成立.这说明前件成立是后件成立的充分条件. 3.当后件为真时,前件可真可假,即不能保证前件总为真.但后件若为假,则前件必为假,这说明后件为真时前件为真的一个必要条件.但不充分. 有了前面的知识，现在我们可以来讨论推理了，推理是由一个或几个判断推出新判断的思维过程，也就是由已知命题推出新命题的过程。已知命题称为前提，由前提推出的命题称为结论。命题逻辑的推理理论主要是研究如何建立一套严格定义的推理规则，按照这组规则进行推理就能保证推理的正确，由正确推理得到的结论称为有效结论，应注意，命题逻辑研究的是推理的一般形式和规律, 是基于语法学的论证，一个推理过程正确与否与前提结论的真假无关，前提正确则结论必正确；前提为假时结论仍有效。 上述例子中的推理都是正确的,语句的意义虽不同,但它们都具有相同的推理形式: 推理形式：凡A是X, a是A, 所以, a是 X。 凡是符合这种关系的判断,都是正确的推理,而与语句的内容无关 (只与推理的形式有关) . 又例如: 自然数是整数，２是自然数. 所以，２是整数。 如何保证我们的推理正确,即符合思维规律而不致产生谬误?这正是形式逻辑研究的目标. 形式逻辑研究的目标就是要找到一般方法和规则 (规律) ,使得我们只要按照规则进行推理就能得到有效结论.即当前提正确时,结论必然正确;即使前提不正确,但推理过程正确,因此结论是有效的. 形式逻辑采用自然语言研究推理,自然语言虽然生动丰富,但不够精确,一个词可有不同的理解,一个意思也可用多个词表达,这给精确描述推理形式带来困难.为此人们引入一套符号系统代替形式逻辑中的自然语言表达,把推理过程中涉及的判断及判断之间的关系,推理规则等等符号化,并借助于数学方法,把判断之间的关系及推理过程转化成符号之间的运算关系 如同算术中的 1+1=2一样,只要给出运算规则就可由已知判断得到新的判断,从而把形式逻辑的推理系统变成了一个严密,精确,形式化,公理化的数学系统,即数理逻辑. : 先介绍几个将要用到的名词术语. 上述概念等同于代数中的变量, 常量, 赋值... 前面看到, 要确定一个复合命题的真值, 必须先确定每个支命题的真值,然后再看支命题之间的关系.即连接词.自然语言中连接词很多,用法很杂为准确表示复合命题的形式及含义,需对连接词规范化形式化。 连接词的作用就如同两个数用+ ,-, *, / 等算符构成一个新数一样. 构成复合命题的算符就是连接词,也叫逻辑算符。.这里我们先介绍5种基本连接词.先看第一种： 运算关系可以用运算表来表示,称为真值表.(其实就是函数列表) 说明:否定是个相对的概念. 说明 “我们去看电影且房间里有十张桌子” 在自然语言中,该句毫无意义,但在数理逻辑中,p ? q仍为复合命题。 只要是两个命题,都可以用命题 连接词连起来构成复合命题.因为我们研究的是命题和推理的一般形式和规律,与命题的语义无关. 在汉语中,或者的使用有三种不同用法(含义) 只有确切弄清逻辑连接词与自然连接词的区别与联系才能正确把命题符号化 列真值表必须掌握. 真值表给出了命题公式的全部取值情况,从中可得到很多性质。。。.