逻辑表示及推理方法.pptVIP

第五章 谓词演算（复习） 数理逻辑思想的起源：Leibnitz之梦 产生的历史：Boole的工作、Frege的工作 发展的现实：计算机学科的基础（软件到硬件） 古典数理逻辑主要包括两部分：命题逻辑和谓词逻辑。 命题逻辑又是谓词逻辑的一种简单情形。 逻辑研究的基本内容 语法 语言部分：基本符号集、公式形成规则 推理部分：公理集、推理规则 语义 语法和语义之间的关系：可靠性、完备性 基本问题 逻辑表示下的判定问题 一、命题逻辑 1 命题 一句有真假意义的话。 用大写英文字母P，Q，…，P1，P2，…，表示。 例： 上海是中国最大的城市。 今天是星期日。 所有素数都是奇数。 1+1=2。 我不会解答这道题。 别的星球上有生物。 长春今天下雪。 如果太阳从西方升起，你就可以长生不老。 严禁吸烟。 今天的温度有多少度？ 全体起立！ 今天好冷啊！ 我正在说谎。 2 真值 如果一个命题是真的，就说它的真值是T； 如果一个命题是假的，就说它的真值是F。 T和F统称为命题的真值。 也用T代表一个抽象的真命题，用F代