离散数学(第2版).pptxVIP

1.1 命题符号化及联结词1.2 命题公式及分类1.3 等值演算1.4 联结词全功能集1.5 对偶对范式1.6 推理理论1.7 命题演算的自然推理形式系统1.8 例题选解习题一第一篇 数理逻辑 　　 任何基于命题分析的逻辑称为命题逻辑。命题是研究思维规律的科学中的一项基本要素，它是一个判断的语言表达。　　　　命题 能唯一判断真假的陈述句。　　 这种陈述句的判断只有两种可能，一种是正确的判断，一种是错误的判断。我们用两个数字1和0来区分这两种判断，称为命题的真值。如果某个陈述句判断为真(与人们公认的客观事实相符)，则我们称其为真命题，并说此命题的真值为1，否则称为假命题，并说此命题的真值为0。 　1.1 命题符号化及联结词 　【例1.1.1】 下述各句均为命题：　　(1) 4是偶数。　　(2) 太阳每天从西方升起。　　(3) 《几何原本》的作者是欧几里德。　　(4) 2190年人类将移居火星。　　(5) 地球外也有生命存在。 　　上述命题中(1)、(3)是真命题，(2)是假命题，其中的(3)可能有人说不出它的真假，但客观上能判断真假。(4)的结果目前谁也不知道，但到了时候则真假可辨，即其真值是客观存在的，因而是命题。同样，(5)的真值也是客观存在的，只是我们地球人尚不知道而已，随着科学技术的发展，其真值是可以知道