自考离散数学第1章.ppt

离散数学 第一章 命题演算 主要内容 1.1命题概念 1.2复合命题与联结词 1.3命题公式与真值表 1.4等价变换与蕴含式 1.5最小联结词组与范式 1.6推理理论 1.1 命题概念 命题：具有唯一真值的陈述句 命题的真值：判断的结果 真值的取值：真与假 注意： （1）命题可以为真，也可以为假，但是不能同时为真又为假 （2）感叹句、祈使句、疑问句都不是命题 1.1 命题概念 例1 判断下列句子中哪些构成命题 (1) 8是偶数. (2)雪是黑色的. (3) 明年国庆节是个晴天. (4)3+89. (5)我是大学生. (6) 火星上有生物. (7) 星期五下午有会吗？ (8) 请勿吸烟！ (9) 这束花多么好看啊！ (10) x+y5. 1.1 命题概念 命题的表示 我们将使用大写字母A,B,…,P,Q,…或用带下标的大写字母，或用数字，如Ak，[20]等表示命题。 将表示命题的符号放在该命题的前面，称为命题符号化。例如， P： 8是偶数. [24]:雪是黑色的. 表示命题的符号称为命题标识符。P和[24]就是标识符。 1.1 命题概念 命题常量与命题变量 命题