(北大)数理逻辑课件 离散数学.pptVIP

离散数学 数理逻辑部分 命题逻辑 第1章 命题逻辑 1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 对偶与范式 1.5 推理理论 1.1 命题符号化及联结词 命题与真值 原子命题 复合命题 命题常项 命题变项 联结词 命题与真值 命题: 能判断真假的陈述句 命题的真值: 判断的结果 真值的取值: 真与假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 1.感叹句、祈使句、疑问句都不是命题； 2.陈述句中的悖论不是命题； 3.判断结果不惟一确定的不是命题 例：下列句子中哪些是命题？ (1) 是无理数. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你有铅笔吗？ (5) 这只兔子跑得真快呀！ (6) 请不要讲话！ (7) 我正在说谎话. 命题的分类 1.简单命题(原子命题) 简单构成的命题 (不能分解成更简单的陈述句) 简单命题的真值是确定的，又称为命题常项或命题常元 2.复合命题 由简单命题与联结词按一定规则复合而成的命题 3.命题变项（命题变元） 真值不确定的陈述句，如:x+35 注意：命题变元不是命题！ 简单命题符号化 联结词与复合命题 1.否