第6章命题.ppt

Discrete Math. , DeRen Chen 第6章 命题逻辑 §6.1 命题与命题联结词 §6.2 命题公式与真值表 §6.3 命题公式的等价关系和蕴涵关系 §6.4 命题公式的范式表示 §6.5 命题演算的推理理论 §6.2 命题公式与真值表 §6.3 命题公式的等价关系和蕴涵关系 6.3.2 命题公式的蕴涵关系 §6.5 命题演算的推理理论6.5.1 推理形式 6.4.3 主范式的应用 * 例如： “雪是白的。” 是真的。 “确定的” —— 要么是真，要么是假，二者必居其一！ 真 —— 对、成立 假 —— 不对、不成立 定义6.1 命题：有确定的真假的陈述句 §6.1 命题与命题联结词 6.1.1 命题与真值 1. 南京是江苏的省城。 2. 1+1=10。 3. 我学英语，或者学德语。 4. 如果天气好，我就去公园。 5. 地球是唯一有生物的星球。 6. x+1=10。 思考：“我正在说假话。”是命题吗？ 例. 下面的陈述句是命题吗？ 真值：命题的真、假。用1表示真，0表示假 命题表示：通常用大写字母表示(可带下标) 例. P: 雪是白的。 Q1: 煤是白的。 显然有: P=1, Q1=0 命题常元：具有确定真值(值不变的)的命题 命题变元：没赋予具体内容的抽象命题 命题常元 例. R: x+1=10。 S是个命题。 注意：(1) 1,0 也都是命题常元。 (2) 命题变元值是不确定的。 R,S 没赋予具体内容， 都是命题变元 考虑：下列命题之间的关系？ 雪是白的。 煤是黑的。 雪是白的并且煤是黑的。 原子命题：不能分解成更简单命题的命题 (简单命题) (简单陈述句对应的命题) 复合命题：由原子命题和联结词组合成的命题 ?P的真值表 1 0 0 1 否定是语言中不、不是、非、并非、没有等词的逻辑抽象，是命题的一元运算。 ?P的真值？ 思考：P: 小王在看书。则?P 表示语句——？ 小王不在看书。 Q: 他们都在看书。则?Q表示语句——？ 并非他们都在看书。？ 他们都不在看书。 ？ 他们不是都在看书。？ 1. 否定—— ? (不) ?P是个命题, 表示“P的否定”, 读成“非P” 设P、Q都是命题 例. P: 雪是白的。 则 “雪不是白的。” 可表示为：?P 6.1.2 命题联结词 2.合取 —— ∧（且） P∧Q 是个命题, 表示 “P且Q”, 读成“P且Q” (或读成“P合取Q”) 例. P: 今天下雨。 Q: 今天下雪。 则 “今天下雨并且下雪。” 可表示为：P∧Q 合取是语言中并且、而且、与、同、和、既…又、以及、不但…而且、虽然…依旧、尽管…仍然等词的逻辑抽象，是命题的二元运算。 P∧Q的真值表 P∧Q 1 1 0 0 0 1 1 0 1 0 0 0 3.析取 —— ∨（或） P∨Q是个命题, 表示 “P或Q”, 读成“P或Q” (或读成“P析取Q”) 例. P: 今天下雨。 Q: 今天下雪。 则 “今天下雨或下雪。” 可表示为：P∨Q 析取是语言中或、或者、也许、可能等词的逻辑抽象，是命题的二元运算。 P∨Q的真值表 P∨Q 1 1 0 0 0 1 1 0 1 0 1 1 4.蕴涵 —— ?（若…则） P?Q是个命题, 表示 “若P则Q”, 读成“若P则Q” (或读成“P蕴涵Q”) 例. P: 上午天气好。 Q: 我去公园。 则 “如果上午天气好, 我就去公园。” 可表为: P?Q P?Q的真值表 P?Q 1 1 0 0 0 1 1 0 1 1 1 0 蕴涵是语言中如果(若)…则、假如…就、倘若…那么、当…则等词的逻辑抽象，是命题的二元运算。 注意：对应P?Q的蕴涵语句有两种表示方式： ?先说P后说Q：若P则Q、当P时有Q、由P推出Q、P对Q充分 ?先说Q后说P：必须Q才可能P、只当Q时才有P、除非Q才可能P、 Q对P必要 5.等价 —— ?（当且仅当） P?Q 是个命题，表示 “P等价Q” 例. P: 两个三角形全等。 Q: 两个三角形的三组对应边相等。 则 “两个三角形全等，当且仅当两个三角形的三 组对应边相等。” 可表示为：P?Q 等价是语言中相等、一样