第1章命题逻辑 第1章命题逻辑 1.1命题符号化及联结词 1.2命题公式及分类 13等值演算 14联结词全功能集 15对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解 习题 dBac
第1章 命题逻辑 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习 题 一
第1章命题逻辑 1.1命题符号化及联结词 任何基于命题分析的逻辑称为命题逻辑。命题是 研究思维规律的科学中的一项基本要素,它是一个判 断的语言表达。 命题能唯一判断真假的陈述句
第1章 命题逻辑 1.1 命题符号化及联结词 任何基于命题分析的逻辑称为命题逻辑。命题是 研究思维规律的科学中的一项基本要素,它是一个判 断的语言表达。 命题能唯一判断真假的陈述句
第1章命题逻辑 这种陈述句的判断只有两种可能,一种是正确的 判断,一种是错误的判断。如果某个陈述句判断为真 (与人们公认的客观事实相符),则我们称其为一真 命题,并说此命题的真值为真,否则称为假命题,并 说此命题的真值为假
第1章 命题逻辑 这种陈述句的判断只有两种可能,一种是正确的 判断,一种是错误的判断。如果某个陈述句判断为真 (与人们公认的客观事实相符),则我们称其为一真 命题,并说此命题的真值为真,否则称为假命题,并 说此命题的真值为假
第1章命题逻辑 【例1.1.1】下述各句均为命题: (1)4是偶数。 (2)煤是白色的。 (3)《几何原本》的作者是欧几里德 (4)2190年人类将移居火星 (5)地球外也有生命存在
第1章 命题逻辑 【例1.1.1】 下述各句均为命题: (1)4是偶数。 (2)煤是白色的。 (3)《几何原本》的作者是欧几里德。 (4)2190年人类将移居火星。 (5)地球外也有生命存在
第1章命题逻辑 上述命题中(1)、(3)是真命题,(2)是假命 题,其中的(3)可能有人说不出它的真假,但客观上 能判断真假。(4)的结果目前谁也不知道,但到了时 候则真假可辨,即其真值是客观存在的,因而是命题。 同样,(5)的真值也是客观存在的,只是我们地球人 尚不知道而已,随着科学技术的发展,其真值是可以 知道的,因而也是命题
第1章 命题逻辑 上述命题中(1)、(3)是真命题,(2)是假命 题,其中的(3)可能有人说不出它的真假,但客观上 能判断真假。(4)的结果目前谁也不知道,但到了时 候则真假可辨,即其真值是客观存在的,因而是命题。 同样,(5)的真值也是客观存在的,只是我们地球人 尚不知道而已,随着科学技术的发展,其真值是可以 知道的,因而也是命题
第1章命题逻辑 【例1.1.2】下列语句不是命题: (1)你好吗? (2)好棒啊! (3)请勿吸烟 (4)x>3。 (5)我正在说谎。 (1)、(2)、(3)均不是陈述句,因而不是命 题。(4)是陈述句,但它的真假取决于变量x的取值, 例如取x为4时其值为真,取x为2时其值为假,即其真 值不唯一,因此不是命题。(5)也是陈述句,但它是 悖论,因而也不是命题
第1章 命题逻辑 【例1.1.2】 下列语句不是命题: (1)你好吗? (2)好棒啊! (3)请勿吸烟。 (4)x>3。 (5)我正在说谎。 (1)、(2)、(3)均不是陈述句,因而不是命 题。(4)是陈述句,但它的真假取决于变量x的取值, 例如取x为4时其值为真,取x为2时其值为假,即其真 值不唯一,因此不是命题。(5)也是陈述句,但它是 悖论,因而也不是命题
第1章命题逻辑 从上面讨论可以看出,判断一个语句是香是命题 的关键是: 1)语句必须是陈述句 (2)陈述句必须具有唯一的真值。要注意两点: ①一个陈述句在客观上能判断真假,而不受人的 知识范围的限制。 ②一个陈述句暂时不能确定真值,但到了一定时 候就可以确定,与一个陈述句的真值不能唯一确定是 不同的
第1章 命题逻辑 从上面讨论可以看出,判断一个语句是否是命题 的关键是: (1)语句必须是陈述句。 (2)陈述句必须具有唯一的真值。要注意两点: ①一个陈述句在客观上能判断真假,而不受人的 知识范围的限制。 ②一个陈述句暂时不能确定真值,但到了一定时 候就可以确定,与一个陈述句的真值不能唯一确定是 不同的
第1章命题逻辑 以上所讨论的命题均是一些简单陈述句。在语言学 中称为简单句,其结构均具有“主语+谓语”的形式, 在数理逻辑中,我们将这种由简单句构成的命题称为简 单命题,或称为原子命题,用、q、F、p、q、r等符 号表示(必要时亦可用其它小写的英文字母表示)。如: p:4是偶数。 q:煤是白的 :《几何原本》的作者是欧几里德
第1章 命题逻辑 以上所讨论的命题均是一些简单陈述句。在语言学 中称为简单句,其结构均具有“主语+谓语”的形式, 在数理逻辑中,我们将这种由简单句构成的命题称为简 单命题,或称为原子命题,用p、q、r、pi、qi、ri等符 号表示(必要时亦可用其它小写的英文字母表示)。如: p:4是偶数。 q:煤是白的。 r:《几何原本》的作者是欧几里德
第1章命题逻辑 【例1.1.3】下列命题不是简单命题: (1)4是偶数且是2的倍数 (2)北京不是个小城市 3)小王或小李考试得第 (4)如果你努力,则你能成功 (5)三角形是等边三角形,当且仅当三内角相等
第1章 命题逻辑 【例1.1.3】 下列命题不是简单命题: (1)4是偶数且是2的倍数。 (2)北京不是个小城市。 (3)小王或小李考试得第一。 (4)如果你努力,则你能成功。 (5)三角形是等边三角形,当且仅当三内角相等
第1章命题逻辑 上面的命题除(3)的真假需由具体情况客观判断 外,余者的真值均为1。但是它们均不是简单命题,分 别用了“且”、“非”、“或”、“如果..则.…、 “当且仅当”等联结词。 由命题和联结词构成的命题称为复合命题。构成 复合命题的可以是原子命题,也可以是另一个复合命 题。一个复合命题的真值不仅与构成复合命题的命题 的真值有关,而且也与所用联结词有关。下面我们给 出几个基本的联结词
第1章 命题逻辑 上面的命题除(3)的真假需由具体情况客观判断 外,余者的真值均为1。但是它们均不是简单命题,分 别用了“且” 、 “非” 、 “或” 、 “如果……则……”、 “当且仅当”等联结词。 由命题和联结词构成的命题称为复合命题。构成 复合命题的可以是原子命题,也可以是另一个复合命 题。一个复合命题的真值不仅与构成复合命题的命题 的真值有关,而且也与所用联结词有关。下面我们给 出几个基本的联结词