离散数学--21命题逻辑.pptVIP

* 第2章 命题逻辑 * * 第2章 命题逻辑 2.1 命题逻辑基本概念 2.2 命题逻辑等值演算 2.3 范式 2.4 命题逻辑推理理论 * * 2.1 命题逻辑基本概念 2.1.1 命题与联结词 命题与真值(简单命题, 复合命题) 联结词(?, ?, ?, ?, ?) 命题公式及其分类 命题公式及其赋值 真值表 命题公式的分类 * * 命题及其真值 命题: 判断结果惟一的陈述句 命题的真值: 判断的结果,真或假 真命题: 真值为真的命题 假命题: 真值为假的命题 注意: 感叹句、祈使句、疑问句都不是命题 陈述句中的悖论以及判断结果不惟一确定的也不是 命题 * * 例1 下列句子中那些是命题？ (1) 北京是中华人民共和国的首都. (2) 2 + 5 ＝8. (3) x + 5 ＞ 3. (4) 你会开车吗？ (5) 2050年元旦北京是晴天. (6) 这只兔子跑得真快呀！ (7) 请关上门！ (8) 我正在说谎话. 真命题 假命题 真值不确定 疑问句 感叹句 祈使句 悖论 (1),(2),(5)是命题, (3),(4),(6)~(8)都不是命题 真值确定, 但未知 实例 * * 简单命题与复合命题 简单命题(原子命题):简单陈述句构成的命题 简单命题的符号化:用p, q, r, … ,pi,qi,ri (i≥1)表示