第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）的真值也是客观存在的，只是我们地球人 尚不知道而已，随着科学技术的发展，其真值是可以 知道的，因而也是命题