离散数学课后习题答案
- 格式:doc
- 大小:250.01 KB
- 文档页数:17
离散数学课后习题及答案离散数学是计算机科学与数学的重要基础课程之一,它涵盖了很多重要的概念和理论。
为了更好地掌握离散数学的知识,课后习题是必不可少的一部分。
本文将介绍一些常见的离散数学课后习题,并提供相应的答案,希望对读者有所帮助。
一、集合论1. 设A={1,2,3},B={2,3,4},求A∪B和A∩B的结果。
答案:A∪B={1,2,3,4},A∩B={2,3}2. 设A={1,2,3},B={2,3,4},C={3,4,5},求(A∪B)∩C的结果。
答案:(A∪B)∩C={3,4}二、逻辑与命题1. 判断下列命题的真假:a) 若2+2=5,则地球是平的。
b) 若今天下雨,则我会带伞。
c) 若x>0,则x^2>0。
答案:a)假,b)真,c)真。
2. 用真值表验证下列命题的等价性:a) p∧(q∨r) ≡ (p∧q)∨(p∧r)b) p→q ≡ ¬p∨q答案:a)等价,b)等价。
三、关系与函数1. 给定关系R={(1,2),(2,3),(3,4)},求R的逆关系R^-1。
答案:R^-1={(2,1),(3,2),(4,3)}2. 设函数f(x)=x^2,g(x)=2x+1,求复合函数f(g(x))的表达式。
答案:f(g(x))=(2x+1)^2=4x^2+4x+1四、图论1. 给定图G,其邻接矩阵为:0 1 11 0 11 1 0求图G的度数序列。
答案:度数序列为(2,2,2)2. 判断下列图是否为连通图:a) G1的邻接矩阵为:0 1 11 0 01 0 0b) G2的邻接矩阵为:0 1 01 0 10 1 0答案:a)不是连通图,b)是连通图。
五、组合数学1. 从10个不同的球中,任选3个,求共有多少种选法。
答案:C(10,3)=120种选法。
2. 求下列排列的循环节:a) (123)(45)(67)b) (12)(34)(56)(78)答案:a)循环节为(123)(45)(67),b)循环节为(12)(34)(56)(78)。
离散数学~习题1.11.下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷21+3<5。
⑸老王是山东人或河北人。
⑹2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以 。
⑾只有6是偶数,3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨,他就乘班车上班。
解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷,所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影,那么我也不看电影。
⑺我既不看电视也不外出,我在睡觉。
⑻除非天下大雨,否则他不乘班车上班。
解:⑴本命题为原子命题;⑵p:天气冷;q:我穿羽绒服;⑶p:天在下雨;q:湿度很高;⑷p:刘英上山;q:李进上山;⑸p:王强学过法语;q:刘威学过法语;⑹p:你看电影;q:我看电影;⑺p:我看电视;q:我外出;r:我睡觉;⑻p:天下大雨;q:他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭,一面听音乐。
⑵3是素数或2是素数。
⑶若地球上没有树木,则人类不能生存。
⑷8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形ABCD是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数,则a+b是偶数。
解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q⑵p:3是素数;q:2是素数;原命题符号化为:p∨q⑶p:地球上有树木;q:人类能生存;原命题符号化为:⌝p→⌝q⑷p:8是偶数;q:8能被3整除;原命题符号化为:p↔q⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:p↔q。
第一章 命题逻辑习题1.11.解 ⑴不是陈述句,所以不是命题。
⑵x 取值不确定,所以不是命题。
⑶问句,不是陈述句,所以不是命题。
⑷惊叹句,不是陈述句,所以不是命题。
⑸是命题,真值由具体情况确定。
⑹是命题,真值由具体情况确定。
⑺是真命题。
⑻是悖论,所以不是命题。
⑼是假命题。
2.解 ⑴是复合命题。
设p :他们明天去百货公司;q :他们后天去百货公司。
命题符号化为q p ∨。
⑵是疑问句,所以不是命题。
⑶是悖论,所以不是命题。
⑷是原子命题。
⑸是复合命题。
设p :王海在学习;q :李春在学习。
命题符号化为p ∧q 。
⑹是复合命题。
设p :你努力学习;q :你一定能取得优异成绩。
p →q 。
⑺不是命题。
⑻不是命题⑼。
是复合命题。
设p :王海是女孩子。
命题符号化为:⌝p 。
3.解 ⑴如果李春迟到了,那么他错过考试。
⑵要么李春迟到了,要么李春错过了考试,要么李春通过了考试。
⑶李春错过考试当且仅当他迟到了。
⑷如果李春迟到了并且错过了考试,那么他没有通过考试。
4.解 ⑴⌝p →(q ∨r )。
⑵p →q 。
⑶q →p 。
⑷q → p 。
习题1.21.解 ⑴是1层公式。
⑵不是公式。
⑶一层: p ∨q ,⌝p二层:⌝p ↔q所以,)()(q p q p ↔⌝→∨是3层公式。
⑷不是公式。
⑸(p →q )∧⌝(⌝q ↔( q →⌝r ))是5层公式,这是因为 一层:p →q ,⌝q ,⌝r 二层:q →⌝r 三层:⌝q ↔( q →⌝r ) 四层:⌝(⌝q ↔( q →⌝r ))2.解 ⑴A =(p ∨q )∧q 是2层公式。
真值表如表2-1所示:表2-1⑵p q p q A →→∧=)(是3层公式。
真值表如表2-2所示:表2-2⑶)()(q p r q p A ∨→∧∧=是3层公式。
真值表如表2-3所示:表2-3⑷)()()(r q r p q p A ∨∧∨⌝∧∨=是4层公式。
真值表如表2-4所示:3.解 ⑴p q p A ∨⌝∧⌝=)(真值表如表2-5所示:表2-5所以其成真赋值为:00,10,11;其成假赋值为01。
、命题逻辑1.用形式语言写出下列命题:(1)如果这个数是大于1 的整数,则它的大于1 最小因数一定是素数。
(2)如果王琳是学生党员又能严格要求自己,则她一定会得到大家的尊敬。
(3)小王不富有但很快乐。
(4)说逻辑学枯燥无味或毫无价值都是不对的。
(5)我现在乘公共汽车或者坐飞机。
(6)如果有雾,他就不能搭船而是乘车过江。
解:(1)设P:这个数是大于1 的整数。
Q:这个数的大于1 最小因数是素数。
则原命题可表示为:P→Q。
或:设P1:这个数大于1。
P2:这个数是整数。
Q:这个数的大于1 最小因数是素数。
则原命题可表示为:P1∧ P2→Q。
(2)设P:王琳是学生。
Q:王琳是党员。
R:王琳能严格要求自己。
S:王琳会得到大家的尊敬。
则原命题可表示为:P ∧Q∧R→ S。
(3)设P:小王富有。
Q:小王很快乐。
则原命题可表示为:⌝P ∧Q。
(4)设P:逻辑学枯燥无味。
Q:逻辑学毫无价值。
则原命题可表示为:⌝( P∨Q)。
(5)设P:我现在乘公共汽车。
Q:我现在坐飞机。
则原命题可表示为:P⎺∨Q。
(6)设P:天有雾。
Q:他搭船过江。
R:他乘车过江。
则原命题可表示为:P →⌝ Q∧R。
2.设P:天下雪。
Q:我将进城。
R:我有时间。
将下列命题形式化:(1)天不下雪,我也没有进城。
(2)如果我有时间,我将进城。
(3)如果天不下雪而我又有时间的话,我将进城。
解:原命题可分别表示为:(1)⌝P ∧⌝ Q。
(2)R→Q。
(3)⌝P ∧ R→Q。
3.将P、Q、R所表示的命题与上题相同,试把下列公式翻译成自然语言:(1)R∧Q(2)⌝(R∨Q)(3)Q↔(R∧⌝P)(4)(Q→R)∧(R→Q)解:(1)原公式可翻译为:我有时间而且我将进城。
(2)⌝(R∨Q) ⇔⌝R∧⌝Q。
原公式可翻译为:我没有时间也没有进城。
(3)我将进城当且仅当我有时间而且天不下雪。
(4)(Q→R)∧(R→Q) ) ⇔(Q∧R) ∨ (⌝Q ∧⌝ R) ⇔ Q↔R。
1-1,1-2(1) 解:a) 是命题,真值为T。
b) 不是命题。
c) 是命题,真值要根据具体情况确定。
d) 不是命题。
e) 是命题,真值为T。
f) 是命题,真值为T。
g) 是命题,真值为F。
h) 不是命题。
i) 不是命题。
(2) 解:原子命题:我爱北京天安门。
A(3) 解:a) (┓P ∧R)→Qb) Q→Rc) ┓Pd) P→┓Q(4) 解:a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c) 设Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5) 解:a) 设P:王强身体很好。
Q:王强成绩很好。
P∧Qb) 设P:小李看书。
Q:小李听音乐。
P∧Qc) 设P:气候很好。
Q:气候很热。
P∨Qd) 设P: a和b是偶数。
Q:a+b是偶数。
P→Qe) 设P:四边形ABCD是平行四边形。
Q :四边形ABCD的对边平行。
PQf) 设P:语法错误。
Q:程序错误。
R:停机。
(P∨ Q)→ R(6) 解:a) P:天气炎热。
Q:正在下雨。
P∧Qb) P:天气炎热。
R:湿度较低。
P∧Rc) R:天正在下雨。
S:湿度很高。
R∨Sd) A:刘英上山。
B:李进上山。
A∧Be) M:老王是革新者。
N:小李是革新者。
M∨Nf) L:你看电影。
M:我看电影。
┓L→┓Mg) P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh) P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3(1)解:a) 不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b) 是合式公式c) 不是合式公式(括弧不配对)d) 不是合式公式(R和S之间缺少联结词)e) 是合式公式。
(2)解:a) A是合式公式,(A∨B)是合式公式,(A→(A∨B)) 是合式公式。
1-1,1-2(1)解:a)是命题,真值为T。
b)不是命题。
c)是命题,真值要根据具体情况确定。
d)不是命题。
e)是命题,真值为T。
f)是命题,真值为T。
g)是命题,真值为F。
h)不是命题。
i)不是命题。
(2)解:原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
(3)解:a)(┓P ∧R)→Qb)Q→Rc)┓Pd)P→┓Q(4)解:a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c) 设Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5) 解:a)设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)设P:小李看书。
Q:小李听音乐。
P∧Qc)设P:气候很好。
Q:气候很热。
P∨Qd)设P: a和b是偶数。
Q:a+b是偶数。
P→Qe)设P:四边形ABCD是平行四边形。
Q :四边形ABCD的对边平行。
P Qf)设P:语法错误。
Q:程序错误。
R:停机。
(P∨ Q)→ R(6) 解:a)P:天气炎热。
Q:正在下雨。
P∧Qb)P:天气炎热。
R:湿度较低。
P∧Rc)R:天正在下雨。
S:湿度很高。
R∨Sd)A:刘英上山。
B:李进上山。
A∧Be)M:老王是革新者。
N:小李是革新者。
M∨Nf)L:你看电影。
M:我看电影。
┓L→┓Mg)P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh)P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3(1)解:a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b)是合式公式c)不是合式公式(括弧不配对)d)不是合式公式(R和S之间缺少联结词)e)是合式公式。
(2)解:a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。
习题1.11. 下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷ 21+3<5。
⑸老王是山东人或河北人。
⑹ 2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以π。
⑾只有6是偶数,3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨,他就乘班车上班。
解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷,所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影,那么我也不看电影。
⑺我既不看电视也不外出,我在睡觉。
⑻除非天下大雨,否则他不乘班车上班。
解:⑴本命题为原子命题;⑵p:天气冷;q:我穿羽绒服;⑶p:天在下雨;q:湿度很高;⑷p:刘英上山;q:李进上山;⑸p:王强学过法语;q:刘威学过法语;⑹p:你看电影;q:我看电影;⑺p:我看电视;q:我外出;r:我睡觉;⑻p:天下大雨;q:他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭,一面听音乐。
⑵ 3是素数或2是素数。
⑶若地球上没有树木,则人类不能生存。
⑷ 8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形ABCD是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数,则a+b是偶数。
解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q⑵p:3是素数;q:2是素数;原命题符号化为:p∨q⑶p:地球上有树木;q:人类能生存;原命题符号化为:⌝p→⌝q⑷p:8是偶数;q:8能被3整除;原命题符号化为:p↔q⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:p↔q。
离散数学课后习题答案 (邱学绍)————————————————————————————————作者:————————————————————————————————日期:第一章 命题逻辑习题1.11.解 ⑴不是陈述句,所以不是命题。
⑵x 取值不确定,所以不是命题。
⑶问句,不是陈述句,所以不是命题。
⑷惊叹句,不是陈述句,所以不是命题。
⑸是命题,真值由具体情况确定。
⑹是命题,真值由具体情况确定。
⑺是真命题。
⑻是悖论,所以不是命题。
⑼是假命题。
2.解 ⑴是复合命题。
设p :他们明天去百货公司;q :他们后天去百货公司。
命题符号化为q p ∨。
⑵是疑问句,所以不是命题。
⑶是悖论,所以不是命题。
⑷是原子命题。
⑸是复合命题。
设p :王海在学习;q :李春在学习。
命题符号化为p ∧q 。
⑹是复合命题。
设p :你努力学习;q :你一定能取得优异成绩。
p →q 。
⑺不是命题。
⑻不是命题⑼。
是复合命题。
设p :王海是女孩子。
命题符号化为:⌝p 。
3.解 ⑴如果李春迟到了,那么他错过考试。
⑵要么李春迟到了,要么李春错过了考试,要么李春通过了考试。
⑶李春错过考试当且仅当他迟到了。
⑷如果李春迟到了并且错过了考试,那么他没有通过考试。
4.解 ⑴⌝p →(q ∨r )。
⑵p →q 。
⑶q →p 。
⑷q → p 。
习题1.21.解 ⑴是1层公式。
⑵不是公式。
⑶一层: p ∨q ,⌝p二层:⌝p ↔q所以,)()(q p q p ↔⌝→∨是3层公式。
⑷不是公式。
⑸(p →q )∧⌝(⌝q ↔( q →⌝r ))是5层公式,这是因为 一层:p →q ,⌝q ,⌝r 二层:q →⌝r 三层:⌝q ↔( q →⌝r ) 四层:⌝(⌝q ↔( q →⌝r ))2.解 ⑴A =(p ∨q )∧q 是2层公式。
真值表如表2-1所示:表2-1p q q p ∨A0 0 0 0 0 1 1 1 1 0 1 0 1111⑵p q p q A →→∧=)(是3层公式。
离散数学课后题目及答案魏雪莉一、【单项选择题】(本大题共15小题,每小题3分,共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在答题卷相应题号处。
1、在由3个元素共同组成的子集上,可以存有 ( ) 种相同的'关系。
[A] 3 [B] 8 [C]9 [D]272、设A1,2,3,5,8,B1,2,5,7,则AB( )。
[A] 3,8 [B]3 [C]8 [D]3,83、若X就是Y的子集,则一定存有( )。
[A]X不属于Y [B]X∈Y[C]X真涵盖于Y [D]X∩Y=X4、下列关系中是等价关系的是( )。
[A]左右关系 [B]空关系[C]全关系 [D]偏序关系5、对于一个从子集A至子集B的态射,以下定义中错误的就是( )。
[A]对A的每个元素都要有象 [B] 对A的每个元素都只有一个象[C]对B的每个元素都存有原象 [D] 对B的元素可以存有远不止一个原象6、设p:小李努力学习,q:小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为( )。
[A]p→q [B]q→p [C]┐q→┐p [D]┐p→q7、设A={a,b,c},则A到A的双射共有( )。
[A]3个 [B]6个 [C]8个 [D]9个8、一个连通G具有以下何种条件时,能一笔画出:即从某结点出发,经过中每边仅一次回到该结点( )。
[A] G没奇数度结点 [B] G存有1个奇数度结点[C] G有2个奇数度结点 [D] G没有或有2个奇数度结点9、设立〈G,*〉就是群,且|G|>1,则以下命题不设立的就是( )。
[A] G中有幺元 [B] G中么元是唯一的[C] G中任一元素存有逆元 [D] G中除了幺元外并无其他幂等元10、令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( )[A] p→┐q [B] p∨┐q[C] p∧q [D] p∧┐q11、设G=的结点集是V={v1,v2,v3},边集是E={,}.则G的割去(点)集是( )。
可编辑修改精选全文完整版离散数学习题答案习题一:P121.判断下列句子哪些是命题?在是命题的句子中,哪些是简单命题?哪些是真命题?哪些命题的真值现在还不知道?(1)中国有四大发明。
(2)5是无理数。
(3)3是素数或4是素数。
(4)x2+3<5,其中x是任意实数。
(5)你去图书馆吗?(6)2与3都是偶数。
(7)刘红与魏新是同学。
(8)这朵玫瑰花多美丽呀!(9)吸烟请到吸烟室去!(10)圆的面积等于半径的平方乘π。
(11)只有6是偶数,3才能是2的倍数。
(12)8是偶数的充分必要条件是8能被3整除。
(13)2025年元旦下大雪。
1、2、3、6、7、10、11、12、13是命题。
在上面的命题中,1、2、7、10、13是简单命题;1、2、10是真命题;7的真值现在还不知道。
2.将上题中是简单命题的命题符号化。
(1)p:中国有四大发明。
(2)q:5是无理数。
(7)r:刘红与魏新是同学。
(10)s:圆的面积等于半径的平方乘π。
(1)t:2025年元旦下大雪。
3.写出下列各命题的否定式,并将原命题及其否定式都符号化,最后指出各否定式的真值。
“5是有理数”的否定式是“5不是有理数”。
解:原命题可符号化为:p:5是有理数。
其否定式为:非p。
非p的真值为1。
4.将下列命题符号化,并指出真值。
(1)2与5都是素数。
(2)不但π是无理数,而且自然对数的底e也是无理数。
(3)虽然2是最小的素数,但2不是最小的自然数。
(4)3是偶素数。
(5)4既不是素数,也不是偶数。
a:2是素数。
b:5是素数。
c:π是无理数。
d:e是无理数。
f:2是最小的素数。
g:2是最小的自然数。
h:3是偶数。
i:3是素数。
j:4是素数。
k:4是偶数。
解:(1)到(5)的符号化形式分别为a∧b,c∧d,f∧非g,h∧i,非j∧非k。
这五个复合命题的真值分别为1,1,1,0,0。
5.将下列命题符号化,并指出真值。
a:2是偶数。
b:3是偶数。
c:4是偶数。
离散数学习题答案习题一及答案:(P14-15) 14、将下列命题符号化:(5)李辛与李末是兄弟解:设p :李辛与李末是兄弟,则命题符号化的结果是p (6)王强与刘威都学过法语解:设p :王强学过法语;q :刘威学过法语;则命题符号化的结果是p q ∧(9)只有天下大雨,他才乘班车上班解:设p :天下大雨;q :他乘班车上班;则命题符号化的结果是q p → (11)下雪路滑,他迟到了解:设p :下雪;q :路滑;r :他迟到了;则命题符号化的结果是()p q r ∧→15、设p :2+3=5.q :大熊猫产在中国. r :太阳从西方升起. 求下列复合命题的真值:(4)()(())p q r p q r ∧∧⌝↔⌝∨⌝→ 解:p=1,q=1,r=0,()(110)1p q r ∧∧⌝⇔∧∧⌝⇔,(())((11)0)(00)1p q r ⌝∨⌝→⇔⌝∨⌝→⇔→⇔ ()(())111p q r p q r ∴∧∧⌝↔⌝∨⌝→⇔↔⇔19、用真值表判断下列公式的类型: (2)()p p q →⌝→⌝解:列出公式的真值表,如下所示:由真值表可以看出公式有3个成真赋值,故公式是非重言式的可满足式。
20、求下列公式的成真赋值: (4)()p q q ⌝∨→解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是:()10p q q ⌝∨⇔⎧⎨⇔⎩⇒0p q ⇔⎧⎨⇔⎩ 所以公式的成真赋值有:01,10,11。
习题二及答案:(P38)5、求下列公式的主析取范式,并求成真赋值: (2)()()p q q r ⌝→∧∧解:原式()p q q r ⇔∨∧∧q r ⇔∧()p p q r ⇔⌝∨∧∧()()p q r p q r ⇔⌝∧∧∨∧∧37m m ⇔∨,此即公式的主析取范式, 所以成真赋值为011,111。
*6、求下列公式的主合取范式,并求成假赋值: (2)()()p q p r ∧∨⌝∨解:原式()()p p r p q r ⇔∨⌝∨∧⌝∨∨()p q r ⇔⌝∨∨4M ⇔,此即公式的主合取范式,所以成假赋值为100。
第一章习题1.11.解 ⑴:A ={}19,17,13,11,7,5,3,2;⑵:B ={a , e , i ,m , n , o , r , t , u }; ⑶:C ={-3,2}。
2.解 ⑴ A ={x 1 x 79, x N };⑵ B ={x x =2k +1, k N }; ⑶ C ={x x =5n , n I }。
3.解 ⑴:1,2,3,4,6,9,12,18,36; ⑵:a ,b ;⑶:1,{}3,{}{}a 。
习题1.21.解 互不相同。
⑴是不包含任何元素的空集,⑵是以空集为元素的单元素集合,⑶是以0为元素的单元素集合,但和⑵的集合中的元素不同。
2.证明 若d b c a ==,,则{}{}{}{}{}{}d c c b a a ,,,,=;反之,若{}{}{}{}{}{}d c c b a a ,,,,=,则 {}{}c a =,{}{}d c b a ,,=, 因此,d b c a ==,。
3.解 ⑴设{}A φ=,则(){,{}}P A φφ=;⑵设{,{}}B φφ=,则(){,{},{{}},{,{}}}P B φφφφφ=;⑶设{{,},{}}C a a φ=,则(){,{{,}},{{}},{{,},{}}}P C a a a a φφφ=; ⑷设{{,},{,,},{,,}}{{,}}D a b a a b b a b a b ==,则(){,{{,}}}P D a b φ=。
4.解 ⑴M T ;⑵N P ;⑶P T = 。
5.解 由题意可得:{}8,7,2,1=A ;{}7,6,5,4,3,2,1,0=B ;{}30,27,24,21,18,15,12,9,6,3,0=C ;{}64,32,16,8,4,2,1=D 。
⑴A (B (C D )) = A B C D={0,1,2,3,4,5,6,7,8,9,12,15,16,18,21,24,27,30,32,64}; ⑵A (B (C D ))=;⑶因为,A C ={0,1,2,3,6,7,8,9,12,15,18,21,24,27,30},所以,B - A C ={4,5}; ⑷}6,5,4,3,0{=-=⋂A B B A ,D B A ⋃⋂)(={}64,32,16,8,6,5,4,3,2,0;6.解 ⑴、⑵的文氏图如图1-1所示,图中阴影部分表示所求集合。
1-1,1-2(1)解:a)是命题,真值为T。
b)不是命题。
c)是命题,真值要根据具体情况确定。
d)不是命题。
e)是命题,真值为T。
f)是命题,真值为T。
g)是命题,真值为F。
h)不是命题。
i)不是命题。
(2)解:原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
(3)解:a)(┓P ∧R)→Qb)Q→Rc)┓Pd)P→┓Q(4)解:a)设Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q↔ (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)设R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c) 设Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5) 解:a)设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)设P:小李看书。
Q:小李听音乐。
P∧Qc)设P:气候很好。
Q:气候很热。
P∨Qd)设P: a和b是偶数。
Q:a+b是偶数。
P→Qe)设P:四边形ABCD是平行四边形。
Q :四边形ABCD的对边平行。
P↔Qf)设P:语法错误。
Q:程序错误。
R:停机。
(P∨ Q)→ R(6) 解:a)P:天气炎热。
Q:正在下雨。
P∧Qb)P:天气炎热。
R:湿度较低。
P∧Rc)R:天正在下雨。
S:湿度很高。
R∨Sd)A:刘英上山。
B:李进上山。
A∧Be)M:老王是革新者。
N:小李是革新者。
M∨Nf)L:你看电影。
M:我看电影。
┓L→┓Mg)P:我不看电视。
Q:我不外出。
R:我在睡觉。
P∧Q∧Rh)P:控制台打字机作输入设备。
Q:控制台打字机作输出设备。
P∧Q1-3(1)解:a)不是合式公式,没有规定运算符次序(若规定运算符次序后亦可作为合式公式)b)是合式公式c)不是合式公式(括弧不配对)d)不是合式公式(R和S之间缺少联结词)e)是合式公式。
(2)解:a)A是合式公式,(A∨B)是合式公式,(A→(A∨B))是合式公式。
1.3.1习题1.1解答1设S = {2,a,{3},4},R ={{a},3,4,1},指出下面的写法哪些是对的,哪些是错的?{a}∈S,{a}∈R,{a,4,{3}}⊆S,{{a},1,3,4}⊂R,R=S,{a}⊆S,{a}⊆R,φ⊆R,φ⊆{{a}}⊆R⊆E,{φ}⊆S,φ∈R,φ⊆{{3},4}。
解:{a}∈S ,{a}∈R ,{a,4,{3}} ⊆ S ,{{a},1,3,4 } ⊂ R ,R = S ,{a}⊆S ,{a}⊆ R ,φ⊆ R ,φ⊆ {{a}} ⊆ R ⊆ E ,{φ} ⊆ S ,φ∈R ,φ⊆ {{3},4 } 2写出下面集合的幂集合{a,{b}},{1,φ},{X,Y,Z}解:设A={a,{b}},则ρ(A)={ φ,{a},{{b}},{a,{b}}};设B={1,φ},则ρ(B)= { φ,{1},{φ},{1,φ}};设C={X,Y,Z},则ρ(C)= { φ,{X},{Y},{Z},{X,Y },{X,Z },{ Y,Z },{X,Y,Z}};3对任意集合A,B,证明:(1)A⊆B当且仅当ρ(A)⊆ρ(B);(2)ρ(A)⋃ρ(B)⊆ρ(A⋃B);(3)ρ(A)⋂ρ(B)=ρ(A⋂B);(4)ρ(A-B) ⊆(ρ(A)-ρ(B)) ⋃{φ}。
举例说明:ρ(A)∪ρ(B)≠ρ( A∪B)证明:(1)证明:必要性,任取x∈ρ(A),则x⊆A。
由于A⊆B,故x⊆B,从而x∈ρ(B),于是ρ(A)⊆ρ(B)。
充分性,任取x∈A,知{x}⊆A,于是有{x}∈ρ(A)。
由于ρ(A)⊆ρ(B),故{x}∈ρ(B),由此知x∈B,也就是A⊆B。
(2)证明:任取X∈ρ(A)∪ρ(B),则X∈ρ(A)或X∈ρ(B)∴X⊆A或X⊆B∴X⊆(A∪B)∴X∈ρ(A∪B)所以ρ(A)∪ρ(B) ⊆ρ( A∪B)(3)证明:先证ρ(A)∩ρ(B) ⊆ρ( A∩B)任取X∈ρ(A)∩ρ(B),则X∈ρ(A)且X∈ρ(B)∴X⊆A且X⊆B∴X⊆ A∩B∴X∈ρ( A∩B)所以ρ(A)∩ρ(B) ⊆ρ( A∩B)再证ρ( A∩B) ⊆ρ(A)∩ρ(B)任取Y∈ρ(A∩B),则Y⊆ A∩B∴Y⊆A且Y⊆B∴Y∈ρ(A)且Y∈ρ(B)∴Y∈ρ(A)∩ρ(B)所以ρ( A∩B) ⊆ρ(A)∩ρ(B)故ρ(A)∩ρ(B) = ρ( A∩B)得证。
习题1.11.下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴中国有四大发明。
⑵计算机有空吗?⑶不存在最大素数。
⑷21+3<5。
⑸老王是山东人或河北人。
⑹2与3都是偶数。
⑺小李在宿舍里。
⑻这朵玫瑰花多美丽呀!⑼请勿随地吐痰!⑽圆的面积等于半径的平方乘以 。
⑾只有6是偶数,3才能是2的倍数。
⑿雪是黑色的当且仅当太阳从东方升起。
⒀如果天下大雨,他就乘班车上班。
解:⑴⑶⑷⑸⑹⑺⑽⑾⑿⒀是命题,其中⑴⑶⑽⑾是真命题,⑷⑹⑿是假命题,⑸⑺⒀的真值目前无法确定;⑵⑻⑼不是命题。
2. 将下列复合命题分成若干原子命题。
⑴李辛与李末是兄弟。
⑵因为天气冷,所以我穿了羽绒服。
⑶天正在下雨或湿度很高。
⑷刘英与李进上山。
⑸王强与刘威都学过法语。
⑹如果你不看电影,那么我也不看电影。
⑺我既不看电视也不外出,我在睡觉。
⑻除非天下大雨,否则他不乘班车上班。
解:⑴本命题为原子命题;⑵p:天气冷;q:我穿羽绒服;⑶p:天在下雨;q:湿度很高;⑷p:刘英上山;q:李进上山;⑸p:王强学过法语;q:刘威学过法语;⑹p:你看电影;q:我看电影;⑺p:我看电视;q:我外出;r:我睡觉;⑻p:天下大雨;q:他乘班车上班。
3. 将下列命题符号化。
⑴他一面吃饭,一面听音乐。
⑵3是素数或2是素数。
⑶若地球上没有树木,则人类不能生存。
⑷8是偶数的充分必要条件是8能被3整除。
⑸停机的原因在于语法错误或程序错误。
⑹四边形ABCD是平行四边形当且仅当它的对边平行。
⑺如果a和b是偶数,则a+b是偶数。
解:⑴p:他吃饭;q:他听音乐;原命题符号化为:p∧q⑵p:3是素数;q:2是素数;原命题符号化为:p∨q⑶p:地球上有树木;q:人类能生存;原命题符号化为:⌝p→⌝q⑷p:8是偶数;q:8能被3整除;原命题符号化为:p↔q⑸p:停机;q:语法错误;r:程序错误;原命题符号化为:q∨r→p⑹p:四边形ABCD是平行四边形;q:四边形ABCD的对边平行;原命题符号化为:p↔q。
第1章 命题逻辑P7 习题1. 给出下列命题的否定命题: (1)大连的每条街道都临海。
否命题:不是大连的每条街道都临海。
(2)每一个素数都是奇数。
否命题: 并非每一个素数都是奇数。
2. 对下述命题用中文写出语句: (1)()P R Q ⌝∧→如果非P 与R ,那么Q 。
(2)Q R ∧Q 并且R 。
3. 给出命题P Q →,我们把Q P →、P Q ⌝→⌝、Q P ⌝→⌝分别称为命题P Q →的逆命题、反命题、逆反命题。
(1)如果天不下雨,我将去公园。
解:逆命题:如果我去公园,则天不下雨; 反命题:如果天下雨,则我不去公园;逆反命题:如果我不去公园,则天下雨了。
(2)仅当你去我才逗留。
解:(此题注意:p 仅当q 翻译成p q →) 逆命题:如果你去,那么我逗留。
反命题:如果我不逗留,那么你没去。
逆反命题:如果你没去,那么我不逗留。
(3)如果n 是大于2的正整数,那么方程nn n xy z +=无整数解。
解:逆命题:如果方程nn n xy z +=无整数解,那么n 是大于2的正整数。
反命题:如果n 不是大于2的正整数,那么方程nn n x y z +=有整数解。
逆反命题:如果方程nn n xy z +=有整数解,那么n 不是大于2的正整数。
(4)如果我不获得更多的帮助,那么我不能完成这项任务。
解:逆命题:如果我不完成任务,那么我不获得更多的帮助。
反命题:如果我获得了更多的帮助,那么我能完成任务。
逆反命题:如果我能完成任务,那么我获得了更多的帮助。
4. 给P 和Q 指派真值T ,给R 和S 指派真值F ,求出下列命题的真值。
(1)(()(()()))P Q R Q P R S ⌝∧∨⌝∨↔⌝→∨⌝=(()(()()))T T F T T F F ⌝∧∨⌝∨↔⌝→∨⌝ =()T F T ⌝∨→ =T F ∨ =T(2)()Q P Q P ∧→→ =()T T T T ∧→→ =T T T ∧→ =T T →=T(3)((()))()P Q R P Q S ∨→∧⌝↔∨⌝=((()))()T T F T T F ∨→∧⌝↔∨⌝ =(())T T F T ∨→↔ =T T ↔ =T(4)()()P R Q S →∧⌝→ =()()T F T F →∧⌝→=()F F F ∧→=F5. 构成下来公式的真值表: (1)()Q P Q P ∧→→(2)()()()P Q R P Q P R ⌝∨∧↔∨∧∨(3)()P Q Q P P R ∨→∧→∧⌝(4)()P P Q R Q R ⌝→∧⌝→∧∨⌝6. 使用真值表证明:如果P Q ↔为T ,那么P Q →和Q P →都是T ,反之亦然。
1.3.1习题1.1解答1设S = {2,a,{3},4},R ={{a},3,4,1},指出下面的写法哪些是对的,哪些是错的?{a}∈S,{a}∈R,{a,4,{3}}⊆S,{{a},1,3,4}⊂R,R=S,{a}⊆S,{a}⊆R,φ⊆R,φ⊆{{a}}⊆R⊆E,{φ}⊆S,φ∈R,φ⊆{{3},4}。
解:{a}∈S ,{a}∈R ,{a,4,{3}} ⊆ S ,{{a},1,3,4 } ⊂ R ,R = S ,{a}⊆S ,{a}⊆ R ,φ⊆ R ,φ⊆ {{a}} ⊆ R ⊆ E ,{φ} ⊆ S ,φ∈R ,φ⊆ {{3},4 } 2写出下面集合的幂集合{a,{b}},{1,φ},{X,Y,Z}解:设A={a,{b}},则ρ(A)={ φ,{a},{{b}},{a,{b}}};设B={1,φ},则ρ(B)= { φ,{1},{φ},{1,φ}};设C={X,Y,Z},则ρ(C)= { φ,{X},{Y},{Z},{X,Y },{X,Z },{ Y,Z },{X,Y,Z}};3对任意集合A,B,证明:(1)A⊆B当且仅当ρ(A)⊆ρ(B);(2)ρ(A)⋃ρ(B)⊆ρ(A⋃B);(3)ρ(A)⋂ρ(B)=ρ(A⋂B);(4)ρ(A-B) ⊆(ρ(A)-ρ(B)) ⋃{φ}。
举例说明:ρ(A)∪ρ(B)≠ρ( A∪B)证明:(1)证明:必要性,任取x∈ρ(A),则x⊆A。
由于A⊆B,故x⊆B,从而x∈ρ(B),于是ρ(A)⊆ρ(B)。
充分性,任取x∈A,知{x}⊆A,于是有{x}∈ρ(A)。
由于ρ(A)⊆ρ(B),故{x}∈ρ(B),由此知x∈B,也就是A⊆B。
(2)证明:任取X∈ρ(A)∪ρ(B),则X∈ρ(A)或X∈ρ(B)∴X⊆A或X⊆B∴X⊆(A∪B)∴X∈ρ(A∪B)所以ρ(A)∪ρ(B) ⊆ρ( A∪B)(3)证明:先证ρ(A)∩ρ(B) ⊆ρ( A∩B)任取X∈ρ(A)∩ρ(B),则X∈ρ(A)且X∈ρ(B)∴X⊆A且X⊆B∴X⊆ A∩B∴X∈ρ( A∩B)所以ρ(A)∩ρ(B) ⊆ρ( A∩B)再证ρ( A∩B) ⊆ρ(A)∩ρ(B)任取Y∈ρ(A∩B),则Y⊆ A∩B∴Y⊆A且Y⊆B∴Y∈ρ(A)且Y∈ρ(B)∴Y∈ρ(A)∩ρ(B)所以ρ( A∩B) ⊆ρ(A)∩ρ(B)故ρ(A)∩ρ(B) = ρ( A∩B)得证。
举例:A={1},B={a}则ρ(A)={ φ,{1}},ρ(B)={ φ,{a}}ρ(A)∪ρ(B) = { φ,{1},{a}}A∪B={1,a}ρ( A∪B)={ φ,{1},{a},{1,a}}可见{1,a}∈ρ( A∪B),{1,a}∉ρ(A)∪ρ(B)所以ρ(A)∪ρ(B)≠ρ( A∪B)(4)对任意的集合x,若x=φ,则x∈ρ( A-B) 且x∈(ρ( A) -ρ( B))∪{φ}。
若x≠φ,则x∈ρ( A-B)当且仅当x⊆( A-B)当且仅当x⊆A∧x⊈B当且仅当x∈ρ( A)∧x∉ρ( B) 当且仅当x∈(ρ(A)-ρ(B))。
综上所述,可知ρ(A-B) ⊆(ρ(A)-ρ(B)) ⋃{φ}。
4.设A,B,C为任意三个集合,下列各式对否?并证明你的结论。
(1)若A∈B且B⊆C,则A∈C;(2)若A∈B且B⊆C,则A⊆C;(3)若A⊆B且B∈C,则A∈C;(4)若A⊆B且B∈C,则A⊆C。
解:(1)正确;(2)不正确,举一个反例即可;(3)不正确,举一个反例即可;(4)不正确,举一个反例即可。
1.3.1习题1.2解答3.R,S是集合A上的两个关系。
试证明下列等式:(1)(R•S)-1= S-1•R-1(2)(R-1)-1= R(3)(R∪S)-1= R-1∪S-1(4)(R∩S)-1= R-1∩S-1证明:(1)先证(R•S)-1⊆ S-1•R-1,对任意(x,y) ∈(R•S)-1,则(y,x) ∈(R•S),则存在a∈A,满足(y,a) ∈R且(a,x) ∈S,那么(x,a) ∈S-1且(a,y) ∈R-1,所以(x,y) ∈ S-1•R-1,因此(R•S)-1⊆S-1•R-1;再证S-1•R-1⊆(R•S)-1,对任意(x,y) ∈ S-1•R-1,则存在a∈A,满足(x,a) ∈S-1且(a,y) ∈R-1,所以(y,a) ∈R且(a,x) ∈S,所以(y,x) ∈(R•S),所以(x,y) ∈(R•S)-1,因此S-1•R-1⊆(R•S)-1。
(2)先证(R-1)-1⊆ R,对任意(x,y) ∈(R-1)-1,则(y,x) ∈ R-1,则(x,y) ∈ R,所以(R-1)-1⊆R;再证R ⊆(R-1)-1,对任意(x,y) ∈ R,则(y,x) ∈ R-1,则(x,y) ∈(R-1)-1,所以R ⊆(R-1)-1。
故(R-1)-1= R得证。
(3)先证(R∪S)-1⊆ R-1∪S-1,对任意(x,y) ∈(R∪S)-1,则(y,x) ∈ R∪S,则(y,x) ∈ R 或(y,x) ∈S,则(x,y) ∈R-1或者(x,y) ∈S-1,所以(x,y)⊆ R-1∪S-1,所以(R∪S)-1⊆ R-1∪S-1;再证R-1∪S-1⊆(R∪S)-1,对任意(x,y) ∈ R-1∪S-1,则(x,y) ∈R-1或者(x,y) ∈S-1,则(y,x) ∈R或(y,x) ∈S,所以(y,x) ∈ R∪S,所以(x,y) ∈(R∪S)-1,所以R-1∪S-1⊆(R∪S)-1。
故(R ∪S)-1= R-1∪S-1得证。
(4)先证(R∩S)-1⊆ R-1∩S-1,对任意(x,y) ∈(R∩S)-1,则(y,x) ∈ R∩S,则(y,x) ∈ R 且(y,x) ∈S,则(x,y) ∈R-1且(x,y) ∈S-1,所以(x,y)⊆ R-1∩S-1,所以(R∩S)-1⊆ R-1∩S-1;再证R-1∩S-1⊆(R∩S)-1,对任意(x,y) ∈ R-1∩S-1,则(x,y) ∈R-1且(x,y) ∈S-1,则(y,x) ∈ R 且(y,x) ∈S,所以(y,x) ∈ R∩S,所以(x,y) ∈(R∩S)-1,所以R-1∩S-1⊆(R∩S)-1。
故(R∩S)-1= R-1∩S-1得证。
1.3.3习题1.3解答2.将集合M中元素映射到自身的变换称为同一变换,记为I。
设σ,τ是集合M上的两个变换,如果σ•τ=τ•σ=I,则σ,τ是1–1变换,并且τ=σ-1。
证明:(1)先证σ、τ分别是单映射。
对任意x1,x2∈M,如果σ(x1)= σ(x2),则有x1=I(x1)= (τ•σ) (x1)= τ(σ(x1) )= τ(σ(x2) )= (τ•σ) (x2) =I(x2)= x2所以σ是单映射。
同理可证τ是单映射。
(2)再证σ、τ分别是满射。
因为σ和τ都是M到M的单映射,所以有σ(M) ⊆ M,τ (M) ⊆ M,于是M =I (M)= (σ•τ) (M)= σ (τ (M) ) ⊆σ(M),同理A=I (M)= (τ•σ) (M)= τ (σ (M) ) ⊆τ (M),所以σ(M) = M,τ (M)= M,即σ、τ是满射。
(3)往证τ=σ-1。
由σ是1–1映射,故存在σ-1,对任意x ∈M,σ-1(x)= I (σ-1(x))= (τ•σ) (σ-1(x))= τ(σ (σ-1(x))= τ(x)故τ=σ-1。
2. 说出下述每一命题的逆命题和逆否命题:(1)如果天下雨,我将不去。
(2)仅当你去我将逗留。
(3)如果n是大于2的正整数,则方程x n+y n=z n无正整数解。
(4)如果我不获得更多帮助,我不能完成这个任务。
解:(1)逆命题为:如果我不去,那么天下雨;逆否命题为:如果我去,那么天不下雨。
(2)逆命题为:仅当我将逗留你去;逆否命题为:你不去我将不逗留。
(3)逆命题为:如果方程x n+y n=z n无正整数解,则n是大于2的正整数;逆否命题为:如果方程x n+y n=z n有正整数解,则n是不大于2的正整数。
(4)逆命题为:我不能完成这个任务,因为我没有获得更多帮助。
逆否命题:如果我完成了任务,则我获得了更多帮助。
3. 给P和Q指派真值1,给R和S指派真值0,求出下面命题的真值:a) (P∧(Q∧R))∨⌝((P∨Q)∧(R∨S))b) (⌝(P∧Q)∨⌝R)∨(((⌝P∧Q)∨⌝R)∧S)c) (⌝(P∧Q)∨⌝R)∨((Q↔⌝P)→(R∨⌝S))d) (P∨(Q→(R∧⌝P)))↔(Q∨⌝S)解:a)令G= (P∧(Q∧R))∨⌝((P∨Q)∧(R∨S))则:T I(G) = (1∧(1∧0))∨⌝((1∨1)∧(0∨0))= 0∨⌝0=1b)令G=(⌝(P∧Q)∨⌝R)∨(((⌝P∧Q)∨⌝R)∧S)则:T I (G) = (⌝(1∧1)∨⌝0)∨(((⌝1∧1)∨⌝0)∧0)= 1∨0=1c) 令G =(⌝(P∧Q)∨⌝R)∨((Q↔⌝P)→(R∨⌝S))=(⌝(P∧Q)∨⌝R)∨( ⌝ ( (⌝Q∨⌝P) ∧(P ∨Q)) ∨(R∨⌝S))=(⌝P∨⌝Q∨⌝R)∨( (Q∧P) ∨ (⌝P ∨⌝Q) ∨(R∨⌝S))则:T I (G) =(⌝1∨⌝1∨⌝0)∨( (1∧1) ∨ (⌝1 ∨⌝1) ∨(0∨⌝0)) = 1∨1=1d) 令G =(P∨(Q→(R∧⌝P)))↔(Q∨⌝S)=(P∨(Q→(R∧⌝P)))↔(Q∨⌝S)=(P∨(⌝Q∨(R∧⌝P)))↔(Q∨⌝S)=(⌝ (P∨(⌝Q∨(R∧⌝P))) ∨ (Q∨⌝S)) ∧(⌝ (Q∨⌝S) ∨ (P∨(⌝Q∨(R∧⌝P))))=(⌝ P ∧ (Q∧ (⌝R∨P))) ∨ (Q∨⌝S)) ∧((⌝ Q∧S) ∨ (P∨(⌝Q∨(R∧⌝P)))) T I (G) =(⌝ 1 ∧ (1∧ (⌝0∨1))) ∨ (1∨⌝0)) ∧((⌝1∧0)∨ (1∨(⌝1∨(0∧⌝1))))=1 ∧1=13. 对P和Q的所有值,证明P→ Q与⌝P∨Q有同样的真值。
证明(P→ Q)↔(⌝P∨Q)是恒真的。
解:对P→ Q的任意解释I,若I使P→ Q为真,则I使P为假或P和Q同时为真,若I使P为假,则使⌝P,此时⌝P∨Q为真,若I使P和Q同时为真,则Q为真,此时⌝P∨Q为真,也就是说P→ Q为真时⌝P∨Q为真。
若I使P→ Q为假,则I使P为真Q为假,此时⌝P∨Q 为假,也就是说P→ Q为假时⌝P∨Q为假。
综上知P→ Q与⌝P∨Q同真同假,由定义知(P→Q)↔(⌝P∨Q)是恒真的。
习题2.3解答2设S={G1,…,G n}是命题公式集合。
试求出在不增加新原子的情况下从S出发演绎出的所有命题公式。
提示:考虑G1∧…∧G n的主合取范式。
解:任设一公式G’为从S出发演绎出来的公式。