第1章 逻辑代数上命题演算Word格式.docx

1、q为真，否则为假。pq读作“p双向蕴涵q”，“p当且仅当q”，“p等价于q”。由于“当且仅当”“等价”常在其它地方使用，因而用第一种读法更好些。双向蕴涵词的意义及pq的真值状况由表1.5给出。表1.5 p q1.1.2 命题公式 定义1.1 归纳定义命题公式（简称公式proposition formula）： （1）命题常元和命题变元是命题公式，也称为原子公式或原子。 （2）如果A，B是命题公式，那么（ A），（AB），（AB），（AB），（A B）也是命题公式。 （3）只有有限步引用条款（1），（2）所组成的符号串是命题公式。定义1.2设公式A含有命题变元p1，p2，pn（有时用A（p1，p

2、2，pn）表示这一状况），称p1，p2，pn每一取值状况为一个指派（assignments），用希腊字母 ， 等表示，当A对取值状况 为真时，称指派 弄真A，或 是A的弄真指派，记为 （A） = 1；反之称指派 弄假A，或 是A的弄假指派，记为 （A） = 0。1.1.3 语句形式化 将自然语言表述的命题“翻译”成命题公式，常称为语句形式化。语句形式化要注意以下几个方面： 要善于确定原子命题，不要把一个概念硬拆成几个概念，例如“弟兄”是一个概念，不要拆成“弟”和“兄”、“我和他是弟兄”是一个原子命题。 要注意语句的语用，不同的语用有不同的逻辑含义。例如“狗急跳墙”可能说的是一个规律，也可能说的

3、是一个现象。 要善于识别自然语言中的联结词（有时它们被省略）。例如“风雨无阻，我去北京”一句，可理解为“不管是否刮风、是否下雨我都去北京”。 否定词的位置要放准确。 需要的括号不能省略；而可以省略的括号，在需要提高公式可读性时亦可不省略。 注意“只要 ，就 ”“只有 ，才 ”的正确理解。因果关系也常常用蕴涵词来表示，这一点是有争议的。 语句的形式化的结果未必是唯一的。 练习1.1题解1、选择题（1）设P:我将去镇上，Q:我有时间。命题“我将去镇上，仅当我有时间”符号化为（ ）APQ ； B. QP ； C. PQ ； D. QP.。【答案】：A（2）设P:张三可以做这件事，Q李四可以做这件事。

4、命题“张三或李四可以做这件事”符号化为（ ）APQ ； B.PQ ； C. PQ ； D. （PQ）（3）设P:我们划船，Q:我们跑步。命题“我们不能既划船又跑步”符号化为（ ）AP B. C.（PQ） ； D. PQB（4）下列语句中哪个是真命题（ ）A我正在说谎B. 如果1+2=3，那么雪是黑的C. 如果1+2=5，那么雪是黑的D. 严禁吸烟C（5）PQ的逆命题是（ ）A .QP B. PQ C.QP D.P（6）下面哪一个命题是命题“2是偶数或 3是负数”的否定（ ）A2是偶数或 3不是负数B. 2是奇数或 3不是负数C. 2不是偶数且 3不是负数D. 2是奇数且 3不是负数2、填空题（

5、1）下列句子中，是命题的有 .（a）我是教师。（b）禁止吸烟。（c）蚊子是鸟类动物。（d）上课去！（a），（c）（2）设P：我生病，Q：我去学校（a）命题“我虽然生病但我仍去学校”可符号化为 。（b）命题“只有我生病的时候，我才不去学校” 可符号化为 。（c）命题“只要我生病，我就不去学校” 可符号化为 。（d）命题“当且仅当我生病，我才不去学校” 可符号化为 。（a）PQ；（b）.QP；（c）PQ；（d）P（3）“a0”表示a0 a=0 ；“a是非负实数”表示a0 a是实数（在空格中填上适当的命题联结词）。；（4）在空格中填上表（表1.6）各列所定义的命题联结词： 表1.6P Q P Q0

6、00 11 01 1；（5）P，Q为两个命题，当且仅当 时，PQ的真值为0。P真且Q假（6）公式PQ的否命题为 ，逆否命题为 。PQ； QP3将下列命题形式化：（1）你是博士，但我是硕士。可表示为 （pq）， 其中p：你是博士；q：我是硕士（2）我今天或明天去泰山的说法是谣传。可表示为 （pq），其中p：我今天去泰山；我明天去泰山（3）如果买不到飞机票，我不去海南岛。可表示为pq，其中，p：我买到飞机票，q：我去海南岛（4）只要他出门，他必买书，不管他带的钱多不多。可表示为（pqr）（pqr）或qr，其中p：他带的钱多，q：他出门，r：他买书。（5）除非你陪伴我或代我雇辆车子，否则我不去。可表

7、示为（pq） r，其中p：你陪伴我，q：你代我雇车，r：我去（6）只要充分考虑一切论证，就可得到正确见解；必须充分考虑一切论证，才能得到正确见解。可表示为（pq） （qp ）或p q，其中p：你充分考虑了一切论证，q：你得到了正确见解（7） 除非你是成年人，否则只要你身高不超过1米3，就能到儿童游乐场玩耍。 r （st），其中r：你是成年人，s：你身高超过1米3，t: 你到儿童游乐场玩耍（8）如果只有懂得希腊文才能了解柏拉图，那么我不了解柏拉图。可表示为（qp ） q，其中p：我懂得希腊文，q：我了解柏拉图（9）侈而惰者贫，而力而俭者富。（韩非：韩非子 显学）可表示为（pq）r） （pq）r）

8、，其中p：你奢侈，q：你懒惰，r：你贫困（10）骐骥一跃，不能十步；驽马十驾，功在不舍；锲而舍之，朽木不折；锲而不舍，金石可镂。（荀况：荀子 劝学）可表示为（pq） （sr） （mno） （mnv），其中p：骐骥一跃，q：骐骥行十步，r：驽马行千里，s：驽马不断奔跑，m：你雕刻，n：你放弃，o：你将朽木折断，v：你将金石雕刻4根据命题公式的定义和括号省略的约定，判定下列符号串是否为公式，若是，请给出它的真值表，并请注意这些真值表的特点（p,q,r,s为原子命题）：（1） （p） （p） 不是公式（2）（pqr）s（pqr）s 不是公式（3）（pq）p（pq）p 是公式，其真值表如表1.7所示：

9、表1.7pq（pq）p（4）p（pq）p（pq） 是公式，其真值表如表1.8所示（恒真）：表1.8p（pq）（5）p（pq）qp（pq）q 是公式，其真值表如表1.9所示（恒真）：表1.9p（pq）p（pq）q（6）p（pq）（pq）p（pq）（pq） 是公式，其真值表如表1.10所示（恒假）：表1.10qpqp（pq）（pq）（7） （pq） qp （pq） qp 是公式，其真值表如表1.11所示（恒真）：表1.11 （pq）qp（pq） （ q p）（8） pq （pq） pq （pq） 是公式，其真值表如表1.12所示（恒真）：表1.12pq （pq）（9）（pq）（qr）（p r ）（

10、pq）（qr）（pr） 是公式，其真值表如表1.13所示（恒真）：表1.13rqrpr（pq）（qr）（pq）（qr）（pr）（10）（pqr） （pr）（qr）（pqr） （pr）（qr） 是公式，其真值表如表1.14所示（恒真）：表1.14pqr（pr）（qr）（pqr） （pr）（qr）5给出弄真下列命题公式的指派：（1）（pq）q）p弄真指派有（0,0），（0,1），（1,0）（2）（pq）r）（qp）r）弄真指派有（0,0,0），（0,0,1），（0,1,0），（0,1,1），（1,0,1），（1,1,0），（1,1,1）（3）（p q）r）（qp） r）弄真指派有（0,0,0），（

11、0,0,1），（0,1,0）， （1,0,1），（1,1,0），（1,1,1）（4） （pq）r）（rp）弄真指派有（0,0,0），（0,1,0）， （0,1,1），（1,0,0），（1,0,1），（1,1,0），（1,1,1）1.2 逻辑等价式和逻辑蕴涵式1.2.1 重言式定义1.3 如果对命题公式A中命题变元的一切指派均弄真A，那么，称A为重言式（tautology）；重言式又称永真式；如果至少有一个这样的指派弄真A，那么，称A为可满足式（satisfactable formula），否则称A为不可满足式或永假式、矛盾式。1.2.2 逻辑等价式和逻辑蕴涵式 定义1.4 当命题公式A B为永

12、真式时，称A逻辑等价于B，记为AB，它又称为逻辑等价式（logically equivalent）。 以下是一些重要的逻辑等价式，其中A，B，C表示任意命题公式：E1 AA 双重否定律E2 AAA ，AAA 幂等律E3 ABBA ，ABBA 交换律E4 （AB）CA（BC） 结合律 （AB）CA（BC） E5 A（BC）（AB）（AC） 分配律 A（BC）（AB）（AC） E6 （AB） A B 德摩根律 （AB） A B E7 A（AB）A 吸收律 A（AB）A E8 AB AB E9 A B（AB）（BA）E10 Att ， AffE11 AfA ， AtAE12 A At ，A Af E

13、13 tf, ftE14 ABCA（BC）E15 ABC（AC）（BC）E16 AB B AE17 （AB）（A B） AE18 A B（AB）（ A B） 定义1.5 当命题公式AB为永真式时，称A逻辑蕴涵B，记为A B，它又称为逻辑蕴涵式（logically implication）。 一些十分重要的逻辑蕴涵式： I1 A AB，B ABI2 AB A，AB BI3 BABI4 A（AB） BI5 （AB） B AI6 A（AB） B， B（AB） AI7 （AB）（BC） ACI8 （AB）（CD） （AC）（BD）I9 （A B）（B C） A CI10 A t ； f A 逻辑等价式

14、与逻辑蕴涵式有如下明显性质。 定理1.1 对任意命题公式A，B，C，A，B， （1）AB当且仅当 A B （2）A B当且仅当 AB （3）若AB，则BA （4）若AB，BC，则AC （5）若A B，则B A （6）若A B，B C，则A C （7）若A B，AA，BB，则A B 定理1.2 设A为永真式，p为A中命题变元，A（B/p）表示将A中p的所有出现全部代换为公式B后所得的命题公式（称为A的一个代入实例），那么A（B/p）亦为永真式。 定理1.2常被称为代入原理（rule of substitution），简记为RS 定理1.3 设A为一命题公式，C为A的子公式，且CD。若将A中子公式

15、C的某些（未必全部）出现替换为D后得到的公式记为B，那么AB。 定理1.3常被称为替换原理（rule of replacement）简记为RR。 请注意RS与RR的区别，详见表1.15。表1.15代入原理 RS替换原理 RR使用对象任意永真式任一命题公式被代换对象任一命题变元任一子公式代换对象任一与代换对象等价的命题公式代换方式代换同一命题变元的所有出现代换子公式的某些出现代换结果仍为永真式与原公式等价 当然，证明逻辑蕴涵式A B不成立的方法只有一个，那就是：找出一个指派使得A为真，却使 B为假。证明逻辑等价式AB不成立的方法是：证明A B不成立或者证明BA不成立。推而广之，为证 B（ 为公式

16、集合）不成立，只要找出一个指派使得 中所有公式为真，却使B为假。1.2.3 对偶原理 定义1.6 设公式A仅含联结词 ，A*为将A中符号，t，f分别改换为，f，t后所得的公式，那么称A*为A的对偶（dual）。 下面两定理所描述的事实常称为对偶原理。定理1.4 设公式A中仅含命题变元p1,pn，及联结词 ，那么 A A* （ p1p1， pnpn） 这里，A* （ p1p1， pnpn）表示在A*中对p1,pn分别作代入 p1, pn后所得的公式。定理1.5 设A，B为仅含联结词 ，和命题变元p1,pn的命题公式，且满足AB，那么有B* A*。进而当AB时有A*B*。定义1.7 B* A*，A

17、*B*分别称为A B和AB的对偶式。1.2.4 应用逻辑命题逻辑的相关知识，特别是逻辑等价式和逻辑蕴含式所反映的逻辑思维规律，如，排中律、矛盾律、双重否定律、德摩根律等，是人们逻辑推理的基础，在逻辑训练和实际生活中有十分广泛的应用。练习1.2题解1选择题（1）K是重言式，那么K的否定是（ ）A.重言式 B.矛盾式 C.可满足式 D. 不能确定（2）K不是重言式，那么它是（ ）A.永假式 B.矛盾式 C.可满足式 D.不能确定（3）命题公式（P（PQ） Q是（ ）A矛盾式 B. 可满足式 C. 重言式 D. 不能确定（4）命题公式（P（PQ） Q是（ ）（5）如果PQ为真时我们称命题P强于Q，那

18、么最强的命题是（ ），最弱的命题是（ ）。A永假式 B. 可满足式 C. 永真式 D. 不能确定A，C2填空题（1）两个重言式的析取是 ，一个重言式与一个矛盾式的析取是 。两个重言式的合取是 ，一个重言式与一个矛盾式的合取是 。一个重言式蕴涵一个矛盾式的是 ，一个矛盾式蕴涵一个重言式的是 。重言式，重言式，重言式，矛盾式，矛盾式，重言式（2）在下列各式中，是永真式的有 。（a）（P（PQ） Q（b）P（PQ）（c）Q（PQ）（d）（P（PQ）Q（e）（PQ）Q（a），（b），（d）（3）化简下列各式：（a）（PQ） （PQ）可化简为 。（b）Q（P（PQ）可化简为 。（c）（PQ）（QP）P可

19、化简为 。（a）P；（b）QP；（c）P（4）公式（PQ）R的只含联结词，的等价式为 ，它的对偶式为 。（Q）R）；（PQ） R3试判定以下各式是否为重言式：（1）（pq）（qp）否（2）p（pq）是（3）q（pq）（4）pq（p q）（5）（pq）（rq）（pr）q）（6）（pq）（rs）（pr）（qs）4试用真值表验证E6，E8，E15，E17。（1） E6 （AB）AB的真值表如表1.16所示：表1.16AB（AB）ABAB（AB） AB（AB）AB的真值表如表1.17所示：表1.17AB（AB）AB（AB） AB（2） E8 ABAB的真值表如表1.18所示：表1.18ABABAB AB（3）E15 ABC（AC）（BC） 的真值表如表1.19所示：表1.19ABCACBC（AC）（BC）（ABC） （AC）（BC）