离散数学04幻灯片.pptVIP

第一章 命题逻辑;1.5 推理理论;1、推理规则;（2）常见的推理规则;（2）常见的推理规则（续）;（3）定义1.5.2;例1.5.1 证明;2、证明方法;（3）直接证明法;（5）分情况证明法;例1.5.2 证明;（7）反证法（归谬法）;例1.5.3 证明;应用实例1 分析下列事实“如果我有很高的收入，那么我就能资助许多贫困学生；如果我能资助许多贫困学生，那么我很高兴；但我不高兴，所以我没有很高的收入。”试指明前提和结论，并给予证明。;应用实例2 将下列条件作为前提，验证所得结论是否有效： 明天或是天晴，或是下雨； 如果是天晴，我去公园； 如果我去公园，我就不看书。 结论：如果我在看书，则天下雨。;二、公理系统 1、公理系统的组成;2、公理系统L;例1.5.4 证明 ├L;3、演绎定理;L的演绎定理：若;4、公理系统的质量标准;本节习题;第二章 一阶逻辑;下面要学习的知识点是：;2.1 命题符号化;例2.1.1 考虑下列句子： （1）苏格拉底是人。 （2）5是质数。 （3）x 大于或等于 3。 （4）张明生于北京。 个体：苏格拉底、5、 x、3、张明、北京;二、谓词和量词;2、量词;例2.1.2 将下列句子符号化： （1）2是质数，也是偶数。 解：设 P(x): x 是质数，E(x): x 是偶数，a: 2。则原语句可符号化为：;（3）整数都是有理数，并不是每个有理数都是整数，有些有理数不是整数。 解：设 I(x): x 是整数，Q(x): x 是有理数， 则原语句可符号化为：;3、特性谓词;（2）量词与特性谓词的配合原则： a）若是全称量词，则其特性谓词是作为蕴含式的前件出现的。 b）若是存在量词，则特性谓词是作为合取式的一个分量出现的。;例2.1.3 将苏格拉底论证符号化。 解：设 M(x): x 是人，D(x): x是会死的，a: 苏格拉底。 则有：;例2.1.4 将下列命题符号化： （1）存在小于 0 的实数。 （2）任何实数的平方都不小于 0。 解：取论域为实数集，则可设;若取论域为全总个体域，则需要引入特性谓词，设;本节习题