第1章命题演算.docxVIP

第一章命题演算2§1.1 命题及联结词21、否定22、合取23、析取34、条件35、双条件4§1.2 命题变元与命题公式4§1.3 命题演算的关系式5§1.3.1命题公式的等价关系5§1.3.2 命题公式的蕴含关系6§1.3.3命题公式的对偶关系6§1.4 其他联结词71、不可兼析取72、逆条件83、与非84、或非9§1.5 范式10§1.5.1 析取范式和合取范式10§1.5.2 主析取范式和主合取范式10§1.6 命题演算的推理12§1.6.1 真值表技术12§1.6.2 直接推演13§1.6.3 间接推演16第一章命题演算§1.1 命题及联结词可以分辨其真假的语句叫做命题一般用大写字母表示例如：A：中华人民共和国的首都是北京。√ B：2+45 。√C：我是大学生。√请勿吸烟！× x+y5 。×这束花多么好看啊！×上述命题也称为原始命题或原子命题。命题的真值有两个即：真（T）和假（F）由复合语句表达的命题叫做复合命题。例如：D：你看书，我也看书。E：灯泡有故障或开关有故障。F：如果你不去，那么我也不去了。1、否定定义1.1.1 设P是一个命题，我们构造一新命题是原命题的P的否定，称它是命题P的取否命题，表示为? P 。如：P：今天下雨。? P：今天不下雨。真值表：P?PTFFT2、合取定义1.1.2 设P和Q是两个命题，我们构造一新命题“P与Q”，称它是命题P和命题Q的合取命题，表示为P ∧Q。如：P：我将去北京。Q：你将去上海。P∧Q：我将去北京并且你将去上海。真值表：PQP ∧QTTTTFFFTFFFF3、析取定义1.1.3 设P和Q是两个命题，我们构造一新命题“P或Q”，称它是命题P和命题Q的析取命题，表示为P ∨ Q。如：P：灯泡有故障。Q：开关有故障。P∨Q：灯泡有故障或开关有故障。真值表：PQP ∨ QTTTTFTFTTFFF◆上述三个联结词称为基本联结词。4、条件定义1.1.4设P和Q是两个命题，我们构造一新命题“如果P则Q”，表示为P → Q。如：P：你去。Q：我去。P → Q：如果你去，则我就去。真值表：PQP → QTTTTFFFTTFFT5、双条件定义1.1.5 设P和Q是两个命题，我们构造一新命题“P当且仅当Q”，表示为P ? Q。如：P：两个三角形是全等的。Q：两个三角形的三条对应边相等。P ? Q：两个三角形全等，当且仅当它们的三条对应边分别相等。真值表：PQP ? QTTTTFFFTFFFT命题公式举例“如果明天不下雨且不下雪，那么我去学校” 令：A：明天下雨。B：明天下雪。C：我去学校。则上述命题可表示为：[(?A) (?B)] → C 。五个联结词的强弱顺序为：?，，， →， ? 所以上式可简写为： ?A ?B → C§1.2 命题变元与命题公式◆在一个命题公式中可能出现三类符号：大写字母，即命题变元。联结符号?，，， →， ? 。括号（）。如： (PQ) → Q。定义 1.2.1（递归定义）命题演算的命题公式（简称公式）规定为：每一个命题变元是命题公式。如果A是命题公式，则?A是命题公式。如果A、B是命题公式，则(A B), (A B), (A → B), (A ? B)都是命题公式一个由三类符号组成的符号串是命题公式，当且仅当是由上述三原则产生。(P→Q)(Q→P)的真值表：PQP→QQ→P(P→Q)(Q→P)TTTTTTFFTFFTTFFFFTTT与P ? Q的真值表相同，称这两个命题等价。◆两个真值表相同的命题称为等价。§1.3 命题演算的关系式§1.3.1命题公式的等价关系定义1.3.1设A和B是两个命题（或命题公式），P1, P2,…, Pn是A、B中的全部变元，假如P1, P2,…, Pn ，的任意一组取值，A、B的取值都相同，就称A、B是等价的命题，表示为：AB。◆注意与?的区别◆就是A、B等价，当且仅当它们的真值表相同。命题等价的三条性质：自反性： AA，对称性：若AB，则BA，传递性：若AB， BC，则AC。一些重要的等价关系：等幂率：P P P； P P P结合率：(P Q) R P (QR )；(P Q) R P (Q R )交换率： P Q QP； P Q Q P分配率：P (Q R) (P Q) (P R)；P (Q R) (P Q) (P R)同一率：P F P； P T P零元率： P T T； P F F补余率： P ? P T； P ? PF吸收率： P (PQ) P； P (P Q) P德.摩根率： ?( PQ) ? P? Q； ?( PQ) ? P? Q双重否定率： ? ?P P●如果公式Q是公式P的一部分则称Q是P的子公式。如P：A [(A →B) C]，则C，