离散数学第一章.pptVIP

: : 在命题逻辑中重言式即为永真式， 后面将看到，在谓词逻辑中，重演式与永真式是不同的概念。 : : : : : 上节我们讨论了命题和连接词, 具有唯一确定真假值的陈述句叫做命题, 不含连接词的命题叫原子命题,至少包含一个连接词的叫做复合命题, 任意命题都可由原子命题符号及连接词组成的符号串表示. 将命题用符号表示,目的就是想把对命题的研究转化为对符号的研究.看看这些符号串的构造规律和性质.“透过现象看本质” 例如 “他有理论知识但无实践知识. ” 分析: 设p:他有理论知识, q: 他有实践知识 符号化:p?( ? q) 该符号串有特定含义,代表上面的命题.如果抛开p,q的具体含义,单看这个符号串是什么意思呢? 就像代数中, 设x=1, y=2, x+y=3 抛开上述指定, x+y是什么意思呢? 这是一个代数表达式, 当x,y用不同的数代入,就可得到新的数. 同样道理, 单看这个式子,它的作用就相当于代数中的算术表达式.在此称p? (? q)为命题表达式或命题公式, 他是对命题的抽象描述,反映了命题的形式构造特征. 并非任意由原子命题符号和连接词组成的符号串都是命题公式.什么样的符号串代表命题?即它是一个命题公式呢?定义如下: 因此, 命题从语法结构上可分为两类: 原子命题:简单陈述句表示的判断 复合命题:符合陈述句表示的判断 复合命题的真值由各原子命题的真值及连接词的含义而定, 如上例:只有又刮风又下雨复合命题才真,其他情况,只刮风没下雨,之下雨没刮风,没刮风也没下雨均使命题为假. 总之,要确定一个复合命题的真值, 必须先确定每个支命题的真值,然后再看支命题之间的关系.即连接词.自然语言中连接词很多,用法很杂。为准确表示复合命题的形势及含义,需对连接词规范化形式化。 这里我们先介绍5种基本连接词：合取，析取，条件，双条件，否定。 先介绍几个将要用到的名词术语： 极小:不含有被同组中其他连接词定义的连接词. 如{?,?,?}事权功能集,但不是最小~ 因为: 除了{?,?}或{?,?}外,还可以由其他的极小全功能集. 已知一全功能集,如何证明另一连接词组也是全功能集呢? 例如,证明{?, ?}是全功能集 我们已知{?,?}和{?,?}是全功能集了,可证明{?,?}或{?,?}中的每个连接词均可用{?, ?}中的连接词定义即可 显然, ?p ? ?p ,p ? q ? ?p?q,所以{?, ?}是全功能集 还可证明{?},{?}都是极小全功能集. 他虽有理论知识,但无实践知识. 1解: 设 P: 他有理论知识 Q: 他有实践知识 符号化为: P?? Q 2. 铁和氧化合, 但 铁和氮不化合. 解: 设 P: 铁和氧化合 Q: 铁和氮化合 符号化为: P? ?Q 3.他是三好学生,当且仅当他学习好、工作好、身体好。 解: 设 A:他学习好 B:他工作好 C:他身体好 P:他是三好学生 符号化为: ( A? B ?C) ? P 4 上海到北京的14列车是下午五点半或六点半开。 解: 设 P:上海到北京的14列车是下午五点半开 Q:上海到北京的14列车是下午六点半开 符号化为: ? ( P ? Q ) 5.张三或李四都可以作这件事。 解: 设 P: 张三可以作这件事。 Q: 李四可以作这件事。 符号化为: P? Q ? P? Q ? ６ 除非你努力,否则你将失败。 解: 设 P: 你努力。 Q: 你失败。 符号化为: ? P ? Q 说明: 1. 可将任二命题用条件连接词连起来,不考虑复合命题含义是否合理. 2.当前件为真时,后件必须为真,蕴含式才成立.这说明前件成立是后件成立的充分条件. 3.当后件为真时,前件可真可假,即不能保证前件总为真.但后件若为假,则前件必为假,这说明后件为真时前件为真的一个必要条件.但不充分. 有了前面的知识，现在我们可以来讨论推理了，推理是由一个或几个判断推出新判断的思维过程，也就是由已知命题推出新命题的过程。已知命题称为前提，由前提推出的命题称为结论。命题逻辑的推理理论主要是研究如何建立一套严格定义的推理规则，按照这组规则进行推理就能保证推理的正确，由正确推理得到的结论称为有效结论，应注意，命题逻辑研究的是推理的一般形式和规律, 是基于语法学的论证，一个推理过程正确与否与前提结论的真假无关，前提正确则结论必正确；前提为假时结论仍有效。 上述例子中的推理都是正确的,语句的