第3章节命题逻辑-1.pptVIP

计算机科学与工程学院 第2篇 数理逻辑 什么是数理逻辑 ？ 用数学的方法来研究推理的规律统称为数理逻辑。 为什么要研究数理逻辑？ 程序＝算法＋数据 算法＝逻辑＋控制 5.1 命题与命题联结词 5.1.1 命题 定义5.1 具有确切真值的陈述句称为命题,该命题可以取一个“值”，称为真值。 真值只有“真”和“假”两种，分别用“Ｔ”(或“１”)和“Ｆ”(或“０”)表示。 (4) ３＋２≥１０。 (5)１＋１０１＝１１０。 (6) 我喜欢踢足球。 (7) 把门关上。 (8) 你要出去吗？ (9) 今天天气真好啊！ (11)明天我要去旅游。 (12)ｘ＝０。 (13)这个语句是假的。 命题的分类 一般来说，命题可分两种类型： 5.1.2 命题联结词 例1.2 ⑴ 用复合命题表示如下图所示的开关电路 例1.2（续） ⑵．用复合命题表示如下图所示的逻辑电路。 P Q P Q P  图5-4 图5-5 图5-6 解： 1. 如果明天上午七点不是雨夹雪，则我将去学校。 可符号化为： ┐(P∧Q)→R。 例1.4 符号化语句：  除非你陪伴我或代我叫车子，否则我将不出去。 定义5.7 一个特定的命题是一个常值命题，它不是具有值“T”(“1”)，就是具有值“F”(“0”)。 而一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量(或命题变元); 命题变量无具体的真值，其变域是集合 {T，F} (或{0，1})。 说明 含有命题变元的原子或复合命题实际上是命题变元的“函数”，可称为“真值函数”，或称为命题公式，命题公式没有确切真值。 5.2.1 命题公式 例2.1 符号串： ┐(P∧Q)； (P→(┐(P∧Q)))；  ((P→Q)∧(R→Q))→(P→R) ；  ((P∧(Q∨R))→(Q∧(┐S∨R))) 。 等都是命题公式。 例2.2符号串： P∨Q∨, (P→ ∨ Q)； ┐P∨ (QR), (P→Q)∧┐Q) 等都不是合法的命题公式。 5.2.2 公式的解释与真值表 定义5.9设命题变元P1, P2, P3, …, Pn是出现在公式G中的所有命题变元，指定P1, P2, P3, …, Pn一组真值，则这组真值称为G 的一个解释,常记为Ｉ。 一般来说，若有 n个命题变元，则应有2n个不同的解释。 定义5.10公式G在其所有可能的解释下所取真值的表，称为的真值表。 例2.1 求公式：G1＝ ┐P∨Q 和 G2＝ (P → Q) ∧ (Q → P) 的真值表, 其中P 和Q 是 G1和 G2 的所有命题变元. 例2.2 设有公式：G＝(P∧Q)→R其中，P、Q、R是G的所有命题变元，则其真值表如下： 例2.2（续） 该真值表可简化为： 5.2.3-4 一些特殊的公式, 等价公式 例3.1 考虑 ┐(P→Q)→P 的真值表。 定义5.11 (1)公式 G 称为永真公式(重言式)，如果在它的所有解释之下都为“真”。 例3.2 列出真值表，验证下列公式是否是永真公式。 (1) ((P→Q)∧P)→Q； (2) ┐(P ∨ Q) ? (┐P ∧ ┐ Q) 例3.2（续） (2) ┐(P ∨ Q) ? (┐P ∧ ┐ Q) 的真值表如下： 2.等价公式 定义5.12公式G、H说是等价的(Equivalent)，记作G＝H，如果在其任意的解释下，其真值相同。 定理5.1 公式G、H 等价的充分必要条件是公式 G?H 是永真公式。 证明 “?”．假定G，H 等价，则G，H在其任意解释Ｉ下或同为真或同为假，于是由“?”的意义知，G?H在Ｉ下为“真”，由Ｉ的任意性 G?H 为永真公式。 “?”．假定公式G?H是永真公式， 则对任意的解释Ｉ，G?H 均为真，因此，G、H或同为真，或同为假，由Ｉ的任意性，故有G＝H。■ 说明 1. 定理5.1表明:G=H ? G?H 是永真公式; 这是符号 = 与 ? 的联系. 2. = 与 ? 的区别: 3.两个定理 定理5.2(代入定理)设G(P1,P2,…,Pn)是一个命题公式，其中：P1、P2、…、Pn 是命题变元， G1(P1,P2,…,Pn)、G2(P1,P2,…,Pn)、...、Gn(P1,P2,…,Pn) 为任意的命题公式，此时若G是永真公式或永假公式,则用G1取