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

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