命题逻辑基本概念演示文件修改版.pptVIP

第一部分 数理逻辑 应用数理逻辑，可以把人类的推理过程分解成一些非常简单原始的、非常和机械的动作，使得用机器代替人类进行推理成为可能 提供程序员设计算法时的思维方法指导 第一部分 数理逻辑 使用电子计算机前，必须先进行程序设计，把整个推理、计算的过程，丝毫不漏地考虑到，统统编入程序，机器则依次运行 必须有足够的数理逻辑训练，熟悉推理过程的全部细节，才能从事程序的设计 第一部分 数理逻辑 程序设计是一个细致而麻烦的工作 如何设计正确的程序？ 如何防止在计算过程中出现错误？ 如何很快地发现这种错误而及时加以改正？ 程序设计理论(软件理论)中的基本而重要的内容 利用数理逻辑可以帮助证明程序(段)正确性 第一章 数理逻辑 主要内容 命题逻辑基本概念 命题逻辑等值演算 命题逻辑的推理理论 一阶逻辑基本概念 一阶逻辑等值演算与推理 学习要求 掌握命题、联结词、复合命题、命题公式、等值式、等值演算、推理及证明等基本概念 熟练进行等值演算与构造证明 命题(proposition) 命题与真值 命题：判断结果惟一的陈述句(断言 assert) 真值：命题的判断结果 取值=真/假 T/F True/False 1/0 真命题与假命题 二值逻辑：vs. 多值逻辑、模糊逻辑 Example sqrt(5) 是有理数 √F 2 + 5 ＝ 7 √T x + 5 ＞ 3× 你去教室吗？× 这个苹果真大呀！