离散数学(微课版) 第2章习题答案
(完整word版)《离散数学》同步练习答案

华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题(1)设:p:派小王去开会。
q:派小李去开会。
则命题:“派小王或小李中的一人去开会”可符号化为:(p q) (p q) 。
(2)设A,B都是命题公式,A B,则A B的真值是T。
(3)设:p:刘平聪明。
q:刘平用功。
在命题逻辑中,命题:“刘平不但不聪明,而且不用功”可符号化为:p q。
(4)设A , B 代表任意的命题公式,则蕴涵等值式为A B A B。
(5)设,p:径一事;q:长一智。
在命题逻辑中,命题:“不径一事,不长一智。
”可符号化为: p q 。
(6)设A , B 代表任意的命题公式,则德摩根律为(A B)Û A B)。
(7)设,p:选小王当班长;q:选小李当班长。
则命题:“选小王或小李中的一人当班长。
”可符号化为:(p q) (p q) 。
(8)设,P:他聪明;Q:他用功。
在命题逻辑中,命题:“他既聪明又用功。
”可符号化为:P Q 。
(9)对于命题公式A,B,当且仅当 A B 是重言式时,称“A蕴含B”,并记为A B。
(10)设:P:我们划船。
Q:我们跑步。
在命题逻辑中,命题:“我们不能既划船又跑步。
”可符号化为: (P Q) 。
(11)设P , Q是命题公式,德·摩根律为:(P Q)P Q)。
(12)设P:你努力。
Q:你失败。
在命题逻辑中,命题:“除非你努力,否则你将失败。
”可符号化为:P Q。
(13)设p:小王是100米赛跑冠军。
q:小王是400米赛跑冠军。
在命题逻辑中,命题:“小王是100米或400米赛跑冠军。
”可符号化为:p q。
(14)设A,C为两个命题公式,当且仅当A C为一重言式时,称C可由A 逻辑地推出。
二.判断题1.设A,B是命题公式,则蕴涵等值式为A B A B。
()2.命题公式p q r是析取范式。
(√)3.陈述句“x + y > 5”是命题。
()4.110 (p=1,q=1, r=0)是命题公式(((p q))r)q 的成真赋值。
2023学堂在线网课《离散数学》课后作业单元考核答案

2023学堂在线网课《离散数学》课后作业单元考核答案第一单元答案1.1题目:在集合 {1, 2, 3, 4} 上定义一个二元关系 R,其中 R = {(1,1), (2,2), (3,3), (4,4), (1,4), (4,1)}。
给出 R 的自反、对称、反对称和传递性特点。
•自反特性:对于任意元素x ∈ {1, 2, 3, 4},都存在 (x, x) ∈ R。
所以,R 是自反的。
•对称特性:对于任意的(x, y) ∈ R,都存在(y, x) ∈ R。
所以,R 是对称的。
•反对称特性:对于任意的(x, y) ∈ R,如果存在 (y, x) ∈ R,那么 x = y。
所以,R 是反对称的。
•传递性特性:对于任意的(x, y) ∈ R 和(y, z) ∈ R,都存在(x, z) ∈ R。
所以,R 是传递的。
1.2题目:在集合 {1, 2, 3, 4} 上定义一个二元关系 R,其中 R = {(1,1), (1,2), (2,1), (2,2), (3,3), (3,4), (4,3), (4,4)}。
给出 R 的自反、对称、反对称和传递性特点。
•自反特性:对于任意元素x ∈ {1, 2, 3, 4},都存在 (x, x) ∈ R。
所以,R 是自反的。
•对称特性:对于任意的(x, y) ∈ R,都存在(y, x) ∈ R。
所以,R 是对称的。
•反对称特性:对于任意的(x, y) ∈ R,如果存在 (y, x) ∈ R,那么 x = y。
所以,R 是反对称的。
•传递性特性:对于任意的(x, y) ∈ R 和(y, z) ∈ R,都存在(x, z) ∈ R。
所以,R 是传递的。
第二单元答案2.1题目:证明或给出一个反例:若 R 是集合 A 上的一个等价关系,且对于任意 a, b ∈ A,有 (a, b) ∈ R 或 (b, a) ∈ R,那么 A 必然可以划分为若干等价类。
假设 R 是集合 A 上的一个等价关系,且对于任意a, b ∈ A,有(a, b) ∈ R 或(b, a) ∈ R。
离散数学答案(尹宝林版)第二章习题解答

离散数学答案(尹宝林版)第二章习题解答第二章谓词逻辑习题与解答1. 将下列命题符号化:(1) 所有的火车都比某些汽车快。
(2) 任何金属都可以溶解在某种液体中。
(3) 至少有一种金属可以溶解在所有液体中。
(4) 每个人都有自己喜欢的职业。
(5) 有些职业是所有的人都喜欢的。
解 (1) 取论域为所有交通工具的集合。
令T(x):x是火车, C(x):x是汽车, F(x,y):x比y跑得快。
“所有的火车都比某些汽车快”可以符号化为?x(T(x)??y(C(y)?F(x,y)))。
(2) 取论域为所有物质的集合。
令M(x):x是金属, L(x):x是液体, D(x,y):x可以溶解在y中。
“任何金属都可以溶解在某种液体中” 可以符号化为?x(M(x)??y(L(y)?D(x,y)))。
(3) 论域和谓词与(2)同。
“至少有一种金属可以溶解在所有液体中” 可以符号化为?x(M(x)??y(L(y)?D(x,y)))。
(4) 取论域为所有事物的集合。
令M(x):x是人, J(x):x是职业, L(x,y):x喜欢y。
“每个人都有自己喜欢的职业” 可以符号化为?x(M(x)??y(J(y)?L(x,y))) (5)论域和谓词与(4)同。
“有些职业是所有的人都喜欢的”可以符号化为?x(J(x)??y(M(y)?L(y,x)))。
2. 取论域为正整数集,用函数?(加法),?(乘法)和谓词?,?将下列命题符号化:(1) 没有既是奇数,又是偶数的正整数。
(2) 任何两个正整数都有最小公倍数。
(3) 没有最大的素数。
(4) 并非所有的素数都不是偶数。
解先引进一些谓词如下:D(x,y):x能被y整除,D(x,y)可表示为?v(v?y?x)。
J(x):x是奇数,J(x)可表示为??v(v?2?x)。
E(x):x是偶数,E(x)可表示为?v(v?2?x)。
P(x):x是素数,P(x)可表示为?(x?1)??u(?v(v?u?x)?u?1?u?x)。
自考离散数学第二章答案

自考离散数学第二章答案-CAL-FENGHAI-(2020YEAR-YICAI)_JINGBIAN习题2.1答案(从本章起,习题答案由jhju提供,晓津补充。
如有问题或不同意见,欢迎到分课论坛发表)1、用谓词表达式写出下列命题a)小张不是研究生;解:设A(x):x是研究生;a:小张;|A(a)。
b)他是跳高或篮球运动员;解:设A(x):x是跳高运动员;B(x):x是篮球运动员;a: 他;A(a)∨B(a) 。
c)晓莉非常聪明和能干;解:设 A(x):x非常聪明;B(x):x能干;l: 晓莉;A(l)∧B(l)d)若m是奇数则2m是偶数解:设 A(x): x是奇数B(y):y是偶数m:某数A(m)→ B(2m)2、将下列命题符号化并要分析到个体词及谓词a)长江流经四川省;解:B(x,y):x流经y;a:长江 b:四川省B(a,b)。
个体词:长江、四川省谓词:流经b)这架新式歼击机击沉了那艘老式快艇解:设A(x,y):x击沉了ya:新式歼击机 b:老式快艇A(a,b).个体词:歼击机、快艇谓词:击沉3、用谓词表达式符号化下列命题。
那位戴眼镜穿西服的大学生在看一本英文杂志。
解:设:A(x): x戴眼镜;B(x): x穿西服;C(x): x在看英文杂志;a: 那位大学生A(a)∧B(a)∧C(a)这个表达式的含义就是一个陈述句:那位大学生戴眼镜且那位大学生穿西服且那位大学生在看英文杂志。
个体词是:那位大学生。
谓词有:戴眼镜、穿西服、在看英文杂志。
2.2习题答案(从本章起,习题答案由jhju提供,晓津补充。
如有问题或不同意见,欢迎到分课论坛发表)题号:1234561、对下列公式指出约束变元和自由变元,并指明量词的辖域。
a,(x)(P(x)—→Q(x))∧(x)R(x,y);(x)的指导变元是x,其辖域是(P(x)—→Q(x))(x)的指导变元是x,其辖域是R(x,y)对于(x)来说,x是约束出现,y则是自由出现。
新版离散数学答案(尹宝林版)第二章习题解答课件.doc

(5)I(xy(P(x,y)P(y,x)))
(PIaaPIaaPIabPIba
(,)(,))((,)(,))
(PIbaPIabPIbbPIbb
(,)(,))((,)(,))
(11)(00)(00)(11)1
(6)I(xP(x,x))PI(a,a)PI(b,b)111
9.写出一个语句A,使得A有模型,并且A的每个模型的论域至少有三个元素。
(2)))
(PIPIfIfIPIPIfIfI
(2,1)((2),(1)))((2,2)((2),
(2)))
(PIPIPIPIPIPIPIPI
(1,1)(2,2))((1,2)(2,1))((2,1)(1,2))((2,2)
(1,1))
(10)(10)(01)(01)00110
7.给定解释I如下:
I,PI(a,b)PI(b,a)0
5.归纳证明:若t,t是项,则
x
t也是项。
t
证明①若t是x,则tx是t,x
t是项。
tt
②若t是不同于x的变元y,则ttx仍是y,ttx是项。
③若t是常元a,则tx仍是a,x
t是项。
tt
④若t是f(t1,,tn),则
xxx
t是f ((t1)t,,(t)),由归纳假设知
tnt
xx
(t1),,()都是项,
(xP(x,x))1
元素。
10.写出一个语句A,使得A有模型,并且A的每个模型的论域有无穷多个元素。
解语句A为xP(x,x)xy(P(x,y)P(y,z)P(x,z))xyP(x,y)。给定解
释I如下。
D为自然数集合,PI(x,y)1当且仅当xy
I
离散数学(屈婉玲版)第二章习题答案

2.13 设解释I为:个体域D I ={-2,3,6},一元谓词F(X):X≤3,G(X):X>5,R(X):X≤7。
在I下求下列各式的真值。
(1)∀x(F(x)∧G(x))解:∀x(F(x)∧G(x))⇔(F(-2) ∧G(-2)) ∧(F(3) ∧G(3)) ∧(F(6) ∧G(6))⇔((-2≤3) ∧(-2>5)) ∧((3≤3) ∧(3>5)) ∧((6≤3) ∧(6<5))⇔((1 ∧0))∧((1 ∧0)) ∧((0 ∧0))⇔0∧0∧0⇔0(2) ∀x(R(x)→F(x))∨G(5)解:∀x(R(x)→F(x))∨G(5)⇔(R(-2)→F(-2))∧ (R(3)→F(3))∧ (R(6)→F(6))∨ G(5)⇔((-2≤7) →(-2≤3))∧ (( 3≤7) →(3≤3))∧ (( 6≤7) →(6≤3)) ∨ (5>5)⇔(1 →1)∧ (1 →1)∧ (1→0) ∨ 0⇔1∧ 1∧ 0 ∨ 0⇔0(3)∃x(F(x)∨G(x))解:∃x(F(x)∨G(x))⇔(F(-2) ∨ G(-2)) ∨ (F(3) ∨G(3)) ∨ (F(6) ∨G(6))⇔((-2≤3) ∨ (-2>5)) ∨ ((3≤3) ∨ (3>5)) ∨ ((6≤3) ∨ (6>5))⇔(1 ∨ 0) ∨ (1 ∨ 0) ∨ (0 ∨ 1)⇔1 ∨ 1 ∨ 1⇔12.14 求下列各式的前束范式,要求使用约束变项换名规则。
(1)⌝∃xF(x)→∀yG(x,y)(2) ⌝(∀xF(x,y) ∨∃yG(x,y) )解:(1)⌝∃xF(x)→∀yG(x,y)⇔⌝∃xF(x)→∀yG(z,y) 代替规则⇔∀x⌝F(x)→∀yG(z,y) 定理2.1(2 )⇔∃x(⌝F(x)→∀yG(z,y) 定理2.2(2)③⇔∃x∀y(⌝F(x)→G(z,y)) 定理2.2(1)④(2)⌝(∀xF(x,y) ∨∃yG(x,y) )⇔⌝(∀zF(z,y) ∨∃tG(x,t)) 换名规则⇔⌝(∀zF(z,y) )∧⌝(∃tG(x,t) )⇔∃z⌝F(z,y) ∧∀t⌝G(x,z)⇔∃z (⌝F(z,y) ∧∀t⌝G(x,z))⇔∃z ∀t(⌝F(z,y) ∧⌝G(x,t))2.15 求下列各式的前束范式,要求使用自由变项换名规则。
离散数学第四版课后答案(第2章)
离散数学课后答案第2章习题解答2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x(是鸟F:)x(会飞翔.G:)xx命题符号化为xFx→∀.))G((x)((2)令x(为人.xF:)(爱吃糖G:)xx命题符号化为GxFx→⌝∀(x))()(或者xFx⌝∧∃(xG))(()(3)令xF:)(为人.xG:)(爱看小说.xx命题符号化为xF∃.Gx∧(x()))((4) x(为人.xF:)G:)(爱看电视.xx命题符号化为Fx⌝⌝∃.x∧(x))()G(分析 1°如果没指出要求什么样的个体域,就使用全总个休域,使用全总个体域时,往往要使用特性谓词。
(1)-(4)中的)(x F 都是特性谓词。
2° 初学者经常犯的错误是,将类似于(1)中的命题符号化为))()((x G x F x ∧∀即用合取联结词取代蕴含联结词,这是万万不可的。
将(1)中命题叙述得更透彻些,是说“对于宇宙间的一切事物百言,如果它是鸟,则它会飞翔。
”因而符号化应该使用联结词→而不能使用∧。
若使用∧,使(1)中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。
”这显然改变了原命题的意义。
3° (2)与(4)中两种符号化公式是等值的,请读者正确的使用量词否定等值式,证明(2),(4)中两公式各为等值的。
2.2 (1)d (a),(b),(c)中均符号化为)(x xF ∀其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。
(2) 在)(),(),(c b a 中均符号化为)(x xG ∃其中02:)(=+x x G ,此命题在(a )中为假命题,在(b)(c)中均为真命题。
(3)在)(),a中均符号化为b(c(),∃xH)(x其中.1(bH此命题在)(),a中均为假命题,在(c)中为(=5:)xx真命题。
分析 1°命题的真值与个体域有关。
2°有的命题在不同个体域中,符号化的形式不同,考虑命题“人都呼吸”。
(完整word版)离散数学第二版 屈婉玲 1-5章(答案)
《离散数学1-5章》练习题答案第2,3章(数理逻辑)1.答:(2),(3),(4)2.答:(2),(3),(4),(5),(6)3.答:(1)是,T (2)是,F (3)不是(4)是,T (5)不是(6)不是4.答:(4)5.答:⌝P ,Q→P6.答:P(x)∨∃yR(y)7.答:⌝∀x(R(x)→Q(x))8、c、P→(P∧(Q→P))解:P→(P∧(Q→P))⇔⌝P∨(P∧(⌝Q∨P))⇔⌝P∨P⇔ 1 (主合取范式)⇔ m0∨ m1∨m2∨ m3 (主析取范式)d、P∨(⌝P→(Q∨(⌝Q→R)))解:P∨(⌝P→(Q∨(⌝Q→R)))⇔ P∨(P∨(Q∨(Q∨R)))⇔ P∨Q∨R⇔ M0 (主合取范式)⇔ m1∨ m2∨m3∨ m4∨ m5∨m6 ∨m7 (主析取范式) 9、b、P→(Q→R),R→(Q→S) => P→(Q→S)证明:(1) P 附加前提(2) Q 附加前提(3) P→(Q→R) 前提(4) Q→R (1),(3)假言推理(5) R (2),(4)假言推理(6) R→(Q→S) 前提(7) Q→S (5),(6)假言推理(8) S (2),(7)假言推理d、P→⌝Q,Q∨⌝R,R∧⌝S⇒⌝P证明、(1) P 附加前提(2) P→⌝Q 前提(3)⌝Q (1),(2)假言推理(4) Q∨⌝R 前提(5) ⌝R (3),(4)析取三段论(6 ) R∧⌝S 前提(7) R (6)化简(8) R∧⌝R 矛盾(5),(7)合取所以该推理正确10.写出∀x(F(x)→G(x))→(∃xF(x) →∃xG(x))的前束范式。
解:原式⇔∀x(⌝F(x)∨G(x))→(⌝(∃x)F(x) ∨ (∃x)G(x))⇔⌝(∀x)(⌝F(x)∨G(x)) ∨(⌝(∃x)F(x) ∨ (∃x)G(x))⇔ (∃x)((F(x)∧⌝ G(x)) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀x) ⌝F(x)⇔ (∃x)((F(x) ∨G(x)) ∨ (∀y) ⌝F(y)⇔ (∃x) (∀y) (F(x) ∨G(x) ∨⌝F(y))(集合论部分)1、答:(4)2.答:323.答:(3)4. 答:(4)5.答:(2),(4)6、设A,B,C是三个集合,证明:a、A⋂ (B-C)=(A⋂B)-(A⋂C)证明:(A⋂B)-(A⋂C)= (A⋂B)⋂~(A⋂C)=(A⋂B) ⋂(~A⋃~C)=(A⋂B⋂~A)⋃(A⋂B⋂~C)= A⋂B⋂~C=A⋂(B⋂~C)=A⋂(B-C)b、(A-B)⋃(A-C)=A-(B⋂C)证明:(A-B)⋃(A-C)=(A⋂~B)⋃(A⋂⋂~C) =A⋂ (~B ⋃~C)=A⋂~(B⋂C)= A-(B⋂C)(二元关系部分)1、答:(1)R={<1,1>,<4,2>} (2) R1-={<1,1>,<2,4>}2.答:RοR ={〈1,1〉,〈1,3〉,〈2,2〉,〈2,4〉}R-1 ={〈2,1〉,〈1,2〉,〈3,2〉,〈4,3〉}3.答:R={<1,1>,<2,2>,<3,3>,<4,4>,<5,5>,<6,6>,<1,2>,<1,3>,<1,4>,<1,5>,<1,6>,<2,4>,<2,6>,<3,6>}4.答:R 的关系矩阵=⎥⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎢⎣⎡000000001000000001 R 1-的关系矩阵=⎥⎥⎥⎦⎤⎢⎢⎢⎣⎡0000000100000000015、解:(1)R={<2,1>,<3,1>,<2,3>};M R =⎪⎪⎪⎭⎫ ⎝⎛001101000;它是反自反的、反对称的、传递的;(2)R={<1,2>,<2,1>,<1,3>,<3,1>,<2,3>,<3,2>};M R =⎪⎪⎪⎭⎫⎝⎛011101110;它是反自反的、对称的;(3)R={<1,2>,<2,1>,<1,3>,<3,3>};M R =⎪⎪⎪⎭⎫⎝⎛100001110;它既不是自反的、也不是反自反的、也不是对称的、也不是反对称的、也不是传递的。
离散数学第四版课后答案(第2章)
离散数学课后答案第2章习题解答2.1 本题没有给出个体域,因而使用全总个体域. (1) 令x(是鸟F:)x(会飞翔.G:)xx命题符号化为xFx→∀.))G((x)((2)令x(为人.xF:)(爱吃糖G:)xx命题符号化为GxFx→⌝∀(x))()(或者xFx⌝∧∃(xG))(()(3)令xF:)(为人.xG:)(爱看小说.xx命题符号化为xF∃.Gx∧(x()))((4) x(为人.xF:)G:)(爱看电视.xx命题符号化为Fx⌝⌝∃.x∧(x))()G(分析 1°如果没指出要求什么样的个体域,就使用全总个休域,使用全总个体域时,往往要使用特性谓词。
(1)-(4)中的)(x F 都是特性谓词。
2° 初学者经常犯的错误是,将类似于(1)中的命题符号化为))()((x G x F x ∧∀即用合取联结词取代蕴含联结词,这是万万不可的。
将(1)中命题叙述得更透彻些,是说“对于宇宙间的一切事物百言,如果它是鸟,则它会飞翔。
”因而符号化应该使用联结词→而不能使用∧。
若使用∧,使(1)中命题变成了“宇宙间的一切事物都是鸟并且都会飞翔。
”这显然改变了原命题的意义。
3° (2)与(4)中两种符号化公式是等值的,请读者正确的使用量词否定等值式,证明(2),(4)中两公式各为等值的。
2.2 (1)d (a),(b),(c)中均符号化为)(x xF ∀其中,12)1(:)(22++=+x x x x F 此命题在)(),(),(c b a 中均为真命题。
(2) 在)(),(),(c b a 中均符号化为)(x xG ∃其中02:)(=+x x G ,此命题在(a )中为假命题,在(b)(c)中均为真命题。
(3)在)(),a中均符号化为b(c(),∃xH)(x其中.1(bH此命题在)(),a中均为假命题,在(c)中为(=5:)xx真命题。
分析 1°命题的真值与个体域有关。
2°有的命题在不同个体域中,符号化的形式不同,考虑命题“人都呼吸”。
离散数学答案(尹宝林版)第二章习题解答
第二章谓词逻辑习题与解答1. 将下列命题符号化:<1>所有的火车都比某些汽车快.<2>任何金属都可以溶解在某种液体中.<3>至少有一种金属可以溶解在所有液体中.<4>每个人都有自己喜欢的职业.<5>有些职业是所有的人都喜欢的.解<1>取论域为所有交通工具的集合.令x x T :)(是火车,x x C :)(是汽车,x y x F :),(比y 跑得快."所有的火车都比某些汽车快〞可以符号化为))),()(()((y x F y C y x T x ∧∃→∀.<2>取论域为所有物质的集合.令x x M :)(是金属,x x L :)(是液体,x y x D :),(可以溶解在y 中."任何金属都可以溶解在某种液体中〞可以符号化为))),()(()((y x D y L y x M x ∧∃→∀.<3>论域和谓词与<2>同."至少有一种金属可以溶解在所有液体中〞可以符号化为))),()(()((y x D y L y x M x →∀∧∃.<4>取论域为所有事物的集合.令x x M :)(是人,x x J :)(是职业,x y x L :),(喜欢y ."每个人都有自己喜欢的职业〞可以符号化为))),()(()((y x L y J y x M x ∧∃→∀<5>论域和谓词与<4>同."有些职业是所有的人都喜欢的〞可以符号化为))),()(()((x y L y M y x J x →∀∧∃.2.取论域为正整数集,用函数+〔加法〕,•〔乘法〕和谓词<,=将下列命题符号化:<1>没有既是奇数,又是偶数的正整数.<2>任何两个正整数都有最小公倍数.<3>没有最大的素数.<4>并非所有的素数都不是偶数.解先引进一些谓词如下:x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =•∃.x x J :)(是奇数,)(x J 可表示为)2(x v v =•⌝∃.x x E :)(是偶数,)(x E 可表示为)2(x v v =•∃.x x P :)(是素数,)(x P 可表示为)1)(()1(x u u x u v v u x =∨=↔=•∃∀∧=⌝.<1>"没有既是奇数,又是偶数的正整数〞可表示为))()((x E x J x ∧⌝∃,并可进一步符号化为))2()2((x v v x v v x =•∃∧=•⌝∃⌝∃.<2>"任何两个正整数都有最小公倍数〞可表示为))),(),((),(),((u z u z y u D x u D u y z D x z D z y x =∨<→∧∀∧∧∃∀∀,并可进一步符号化为)))()(()()((u z u z u y v v u x v v u z y v v z x v v z y x =∨<→=•∃∧=•∃∀∧=•∃∧=•∃∃∀∀<3>"没有最大的素数〞可表示为)))(()((x y x y y P y x P x =∨<→∀∧⌝∃,并可进一步符号化为<4>"并非所有的素数都不是偶数〞可表示为))()((x E x P x ⌝→⌝∀,并可进一步符号化为))2()1)(()1((x v v x u u x u v v u x x =•⌝∃→=∨=↔=•∃∀∧=⌝⌝∀3.取论域为实数集合,用函数+,-〔减法〕和谓词<,=将下列命题符号化:<1>没有最大的实数.<2>任何两个不同的实数之间必有另一实数.<3>函数)(x f 在点a 处连续.<4>函数)(x f 恰有一个根.<5>函数)(x f 是严格单调递增函数.解<1>"没有最大的实数〞符号化为)(x y x y y x =∨<∀⌝∃.<2>"任何两个不同的实数之间必有另一实数〞符号化为))((y z z x z y x y x <∧<∃→<∀∀.<3>"函数)(x f 在点a 处连续〞的定义是:任给0>ε,总可以找到0>δ,使得只要δ<-||a x 就有ε<-|)()(|a f x f ."函数)(x f 在点a 处连续〞符号化为<4>"函数)(x f 恰有一个根〞符号化为))0)((0)((x y y f y x f x =→=∀∧=∃.<5>"函数)(x f 是严格单调递增函数〞符号化为))()((y f x f y x y x <→<∀∀.4.指出下列公式中变元的约束出现和自由出现,并对量词的每次出现指出其辖域.<1>)),(),((a x P x y P x →∀<2>),()(y x zQ x xP ∀→∀<3>)()())()((x Q x xP x R x P x ∧∀→∧∀<4>))),(,()),,(((y x g z xP x y x f P y ∀→∀<5>)())()()((x R x xR x Q x P x ∧∃∧→∀解<1>变元x 在)),(),((a x P x y P x →∀中三次出现都是约束出现,∀x 的唯一出现的辖域是 P <y , x > →P <x , a >.<2>变元x 在),()(y x zQ x xP ∀→∀中的头两次出现是约束出现,第三次出现是自由出现.变元y 在),()(y x zQ x xP ∀→∀中的唯一出现是自由出现.变元z 在),()(y x zQ x xP ∀→∀中的唯一出现是约束出现.∀x 的唯一出现的辖域是 P <x >,∀z 的唯一出现的辖域是Q <x , y >.<3>变元x 在)()())()((x Q x xP x R x P x ∧∀→∧∀中的头五次出现是约束出现,第六次出现是自由出现.∀x 的第一次出现的辖域是P <x > ∧R <x >,第二次出现的辖域是P <x >.<4>变元x 在))),(,()),,(((y x g z xP x y x f P y ∀→∀中的头两次出现是自由出现,后两次出现是约束出现.∀x 的唯一出现的辖域是 P <z , g <x , y >>,∀y 的唯一出现的辖域是P <f <x , y >, x > →∀xP <z , g <x , y >>.<5>变元x 在)())()()((x R x xR x Q x P x ∧∃∧→∀中的头五次出现是约束出现,第六次出现是自由出现.∀x 的唯一出现的辖域是P <x > →Q <x >∧∃xR <x >,∃x 的唯一出现的辖域是R <x >.5.归纳证明:若t ,t '是项,则x t t '也是项.证明① 若t 是x ,则x t t '是t ',x t t '是项.② 若t 是不同于x 的变元y ,则x t t '仍是y ,x t t '是项.③若t 是常元a ,则x t t '仍是a ,x t t '是项.④若t 是),,(1n t t f ,则x t t '是))(,,)((1x t n x t t t f '' ,由归纳假设知x t n x t t t '')(,,)(1 都是项,所以x t t '是项.6.归纳证明:若t 是项,A 是公式,则xt A 也是公式.证明①若A 是),,(1n t t P ,则x t A 是))(,,)((1x t n x t t t P ,由上题知x t n x t t t )(,,)(1 都是项,所以x t A 是公式.②若A 是B ⌝,则x t A 是x t B ⌝,由归纳假设知x t B 是公式,所以x t A 是公式.③若A 是C B →,则x t A 是x t x t C B →,由归纳假设知x t B 和x t C 都是公式,所以x t A 是公式. ④若A 是xB ∀,则x t A 仍是A ,x t A 是公式.⑤若A 是yB ∀,其中y 是不同于x 的变元,则x t A 是x t yB ∀,由归纳假设知x t B 是公式,所以x t A 是公式.7.给定解释I 和I 中赋值v 如下:}2,1{=I D ,1=I a ,2=I b ,2)1(=I f ,1)2(=I f1)2,1()1,1(==I I P P ,0)2,2()1,2(==I I P P ,1)(=x v ,1)(=y v计算下列公式在解释I 和赋值I 中v 下的真值.<1>)),(())(,())(,(x y f P b f x P x f a P ∧∧<2>),(x y yP x ∃∀<3>)))(),((),((y f x f P y x P y x →∀∀解<1>)))(),(())(,())(,((v x y f P b f x P x f a P I ∧∧<2>)))(,((v x y yP x I ∃∀<3>)))))((),((),(((v y f x f P y x P y x I →∀∀7.给定解释I 如下:},{b a D I =, 1),(),(==b b P a a P I I , 0),(),(==a b P b a P I I判断I 是不是以下语句的模型.<1>),(y x yP x ∃∀<2>),(y x yP x ∀∀<3>),(y x yP x ∀∃<4>),(y x P y x ⌝∃∃<5>)),(),((x y P y x P y x →∀∀<6>),(x x xP ∀解<1>)),((y x yP x I ∃∀<2>)),((y x yP x I ∀∀<3>)),((y x yP x I ∀∃<4>)),((y x P y x I ⌝∃∃<5>))),(),(((x y P y x P y x I →∀∀<6>111),(),()),((=∧=∧=∀b b P a a P x x xP I I I9.写出一个语句A ,使得A 有模型,并且A 的每个模型的论域至少有三个元素.解 语句A 为),(),(),(),(a c P c b P b a P x x P x ∧∧∧⌝∀.给定解释I '如下.I D '为自然数集合, 1),(='y x P I 当且仅当y x ≠, 1='I a ,2='I b ,3='I c则I '是A 的模型,A 有模型.任取满足语句A 的解释I ,则1),(),(),(===I I I I I I I I I a c P c b P b a P ,又因为1)),((=⌝∀x x P x I ,所以I a ,I b ,I c 是论域I D 中三个不同元素,论域I D 中至少有三个元素.10.写出一个语句A ,使得A 有模型,并且A 的每个模型的论域有无穷多个元素.解 语句A 为),()),(),(),((),(y x yP x z x P z y P y x P y x x x P x ∃∀∧→∧∀∀∧⌝∀.给定解释I '如下.I D '为自然数集合, 1),(='y x P I 当且仅当y x <则I '是A 的模型,A 有模型.任取满足语句A 的解释I ,取I D d ∈1,因为1)),((=∃∀y x yP x I ,所以有I D d ∈2使得1),(21=d d P I ,又因为1)),((=⌝∀x x P x I ,故21d d ≠.因为1)),((=∃∀y x yP x I ,所以有I D d ∈3使得1),(32=d d P I ,又因为1)),((=⌝∀x x P x I ,故23d d ≠.因为1))),(),(),(((=→∧∀∀z x P z y P y x P y x I ,所以1),(31=d d P I ,故13d d ≠.因此,1d ,2d ,3d 是论域中的三个不同元素.这个过程可以不断进行下去,得到 ,,,321d d d 因此,论域D I 中必然有无穷多个元素.11.判断以下公式是不是永真式、永假式、可满足式,并说明理由.<1>))()(()()(x Q x P x x xQ x xP ∨∃→∃∨∃<2>))()(()()(x Q x P x x xQ x xP ∧∃→∃∧∃<3>)()())()((x xQ x xP x Q x P x ∀∨∀→∨∀<4>),(),(y x yP x x x xP ∀∀→∀<5>))()(())()((x Q x P x x xQ x xP →∀→∀→∀<6>))()(())()((x Q x P x x xQ x xP →∀→∀→∃<7>))()(())()((x xQ x xP x Q x P x ∃→∃→→∀解<1> ))()(()()(x Q x P x x xQ x xP ∨∃→∃∨∃是永真式.若解释I 使得1))()((=∃∨∃x xQ x xP I ,则1))((=∃x xP I 或1))((=∃x xQ I .① 若1))((=∃x xP I ,则存在I D d ∈使得1)(=d P I ,1)()(=∨d Q d P I I .② 若1))((=∃x xQ I ,则存在I D d ∈使得1)(=d Q I ,1)()(=∨d Q d P I I .因此,1)))()(((=∨∃x Q x P x I .<2> ))()(()()(x Q x P x x xQ x xP ∧∃→∃∧∃是非永真的可满足式.给定解释I 如下.}{d D I =, 1)(=d P I , 1)(=d Q I则1)))()(()()((=∧∃→∃∧∃x Q x P x x xQ x xP I .给定解释I '如下.},{b a D I =',1)(='a P I ,0)(='b P I ,0)(='a Q I ,1)(='b Q I则0)))()(()()((=∧∃→∃∧∃'x Q x P x x xQ x xP I .<3> )()())()((x xQ x xP x Q x P x ∀∨∀→∨∀是非永真的可满足式.给定解释I 如下.}{d D I =, 1)(=d P I , 1)(=d Q I则1))()())()(((=∀∨∀→∨∀x xQ x xP x Q x P x I .给定解释I '如下.},{b a D I =',1)(='a P I ,0)(='b P I ,0)(='a Q I ,1)(='b Q I则0))()())()(((=∀∨∀→∨∀'x xQ x xP x Q x P x I .<4> ),(),(y x yP x x x xP ∀∀→∀是非永真的可满足式.给定解释I 如下.}{d D I =, 1),(=d d P I则1)),(),((=∀∀→∀y x yP x x x xP I .给定解释I '如下.},{b a D I =',1),(),(==''b b P a a P I I ,0),(),(==''a b P b a P I I则0)),(),((=∀∀→∀'y x yP x x x xP I .<5> ))()(())()((x Q x P x x xQ x xP →∀→∀→∀是非永真的可满足式.给定解释I 如下.}{d D I =, 1)(=d P I , 1)(=d Q I则1)))()(())()(((=→∀→∀→∀x Q x P x x xQ x xP I .给定解释I '如下.},{b a D I =',1)(='a P I ,0)(='b P I ,0)(='a Q I ,1)(='b Q I则0)))()(())()(((=→∀→∀→∀'x Q x P x x xQ x xP I .<6> ))()(())()((x Q x P x x xQ x xP →∀→∀→∃是永真式.若解释I 使得0)))()(((=→∀x Q x P x I ,则存在I D d ∈使得0)()(=→d Q d P I I ,因此1)(=d P I 且0)(=d Q I ,1))((=∃x xP I 且0))((=∀x xQ I ,0)))()(((=∀→∃x xQ x xP I .<7> ))()(())()((x xQ x xP x Q x P x ∃→∃→→∀是永真式.若解释I 使得0)))()(((=∃→∃x xQ x xP I ,则1))((=∃x xP I 且0))((=∃x xQ I .存在I D d ∈使得1)(=d P I ,又因为0))((=∃x xQ I ,所以0)(=d Q I ,0)()(=→d Q d P I I .因此,0)))()(((=→∀x Q x P x I .12.设A ,B 是任意公式,证明以下公式是永真式.<1> xA A xt ∃→,其中项t 对于A 中的x 是可代入的.<2> A x xA ⌝∃↔∀⌝<3> A x xA ⌝∀↔∃⌝<4> xB xA B A x ∃∧∃→∧∃)(<5> )(B A x xB xA ∨∀→∀∨∀<6> )()(xB A B A x ∀→→→∀,其中x 不是A 的自由变元.解<1> 任取解释I 和I 中赋值v ,若1))((=v A I x t ,则1))])((/[)(())((==v t I x v A I v A I x t ,所以1))((=∃v xA I .这表明xA A x t ∃→是永真式.<2> 任取解释I 和I 中赋值v ,当且仅当 0))((=∀v xA I当且仅当 存在I D d ∈使得0])/[)((=d x v A I当且仅当 存在I D d ∈使得1])/[)((=⌝d x v A I 当且仅当 1))((=⌝∃v A x I这表明A x xA ⌝∃↔∀⌝是永真式.<3> 任取解释I 和I 中赋值v ,当且仅当 1))((=∃v xA I当且仅当 存在I D d ∈使得1])/[)((=d x v A I当且仅当 存在I D d ∈使得0])/[)((=⌝d x v A I 当且仅当 0))((=⌝∀v A x I这表明A x xA ⌝∀↔∃⌝是永真式.<4> 任取解释I 和I 中赋值v ,若1)))(((=∧∃v B A x I ,则存在I D d ∈使得1)]/[)((=∧d x v B A I ,1)]/[)(()]/[)((==d x v B I d x v A I ,1))((=∃v xA I 且1))((=∃v xB I ,1))((=∃∧∃v xB xA I .这表明xB xA B A x ∃∧∃→∧∃)(是永真式.<5> 任取解释I 和I 中赋值v ,若0)))(((=∨∀v B A x I ,则存在I D d ∈使得0)]/[)((=∨d x v B A I ,0)]/[)(()]/[)((==d x v B I d x v A I ,0))((=∀∨∀v xB xA I .这表明)(B A x xB xA ∨∀→∀∨∀是永真式.<6> 任取解释I 和I 中赋值v ,若1))(()))(((==→∀v A I v B A x I ,则对于每个I D d ∈,1)]/[)((=→d x v B A I ,因为x 不是A 的自由变元,所以1))(()]/[)((==v A I d x v A I ,因此1)]/[)((=d x v B I ,1))((=∀v xB I .这表明)()(xB A B A x ∀→→→∀是永真式.13.设1A 是公式A 的闭包,2A 是A x x n ∃∃ 1,其中},,{)(V ar 1n x x A =.证明:<1> A 是永真式当且仅当1A 是永真式;<2> A 是可满足式当且仅当2A 是可满足式.证明<1> 〔⇒〕首先证明:若A 是永真式,则xA ∀是永真式.设A 是永真式.任取解释I 和I 中赋值v ,任取I D d ∈,因为]/[d x v 也是I 中赋值,所以1)]/[)((=d x v A I ,1))((=∀v xA I .xA ∀是永真式.若A 是永真式,则A x n ∀是永真式,… ,A x x n ∀∀ 1是永真式.〔⇐〕因为A A x x n →∀∀ 1是永真式,所以若A x x n ∀∀ 1是永真式,则A 是永真式.<2> 〔⇒〕因为A x x A n ∃∃→ 1是永真式,所以若解释I 和I 中赋值v 满足A ,则I 和v 满足A x x n ∃∃ 1.〔⇐〕若解释I 和I 中赋值v 满足A x x n ∃∃ 1,则有I n D d d ∈,,1 使得1])/,,/[)((11=n n d x d x v A I ,I 和I 中赋值]/,,/[11n n d x d x v 满足A .14.判断以下等值式是否成立,并说明理由.<1> )()())()((x xQ x xP x Q x P x ∀↔∀⇔↔∀<2> )()())()((x xQ x xP x Q x P x ∀→∀⇔→∀<3> )()(x P x xP ⇔∀<4> )()(x xP x xP x ∀⇔∀∀<5> )()())()((y yQ x xP y yQ x P x ∀↔∀⇔∀↔∀<6> )()())()((y yQ x xP y yQ x P x ∀↔∃⇔∀↔∀解 <1> 不成立.取解释I 如下.},{b a D I =, 0)(=a P I , 1)(=b P I , 1)(=a Q I , 0)(=b Q I则0)))()(((=↔∀x Q x P x I 且1))()((=∀↔∀x xQ x xP I .<2> 不成立.取解释I 如下.},{b a D I =, 0)(=a P I , 1)(=b P I , 1)(=a Q I , 0)(=b Q I则0)))()(((=→∀x Q x P x I 且1))()((=∀→∀x xQ x xP I .<3> 不成立.取解释I 和I 中赋值v 下.},{b a D I =, 0)(=a P I , 1)(=b P I , b x v =)(则0)))(((=∀v x xP I 且1)))(((=v x P I .<4> 成立.任取解释I 和I 中赋值v ,因为x 不是)(x xP ∀中的自由变元,所以对于每个I D d ∈,)))(((])/[))(((v x xP I d x v x xP I ∀=∀.当且仅当对于每个I D d ∈,1])/[))(((=∀d x v x xP I 当且仅当1)))(((=∀v x xP I<5> 不成立.取解释I 如下.},{b a D I =, 0)(=a P I , 1)(=b P I , 1)(=a Q I , 0)(=b Q I则0)))()(((=∀↔∀y yQ x P x I 且1))()((=∀↔∀y yQ x xP I .<6> 不成立.取解释I 如下.},{b a D I =, 1)(=a P I , 0)(=b P I , 1)()(==b Q a Q I I则0)))()(((=∀↔∀y yQ x P x I 且1))()((=∀↔∃y yQ x xP I .15.设A ,B 是任意公式,证明以下等值式.<1> x y A y A x ∃⇔∃,其中y 在A 中不出现.<2> B x A x B A x ∃→∀⇔→∃)(<3> B y A x B A y x ∀∨∀⇔∨∀∀)(,其中x 不是B 的自由变元,y 不是A 的自由变元.<4> B y A x B A y x ∃∧∃⇔∧∃∃)(,其中x 不是B 的自由变元,y 不是A 的自由变元.<5> B y A x B A y x ∀→∀⇔→∀∃)(,其中x 不是B 的自由变元,y 不是A 的自由变元.<6> A x y A y x ∀∀⇔∀∀证明 <1> x y x y A y A y A x A x ∃⇔⌝∀⌝⇔⌝∀⌝⇔∃<2> B x A x B x A x B x A x B A x B A x ∃→∀⇔∃∨∀⌝⇔∃∨⌝∃⇔∨⌝∃⇔→∃)()(<3> B y A x B y A x B A y x ∀∨∀⇔∀∨∀⇔∨∀∀)()(<4> B y A x yB A x B A y x ∃∧∃⇔∃∧∃⇔∧∃∃)()(<5> B y A x yB A x B A y x ∀→∀⇔∀→∃⇔→∀∃)()(<6> 任取解释I 和I 中赋值v ,当且仅当有I D d ∈使得0])/[)((=∀d x v yA I当且仅当有I D c d ∈,使得0])/][/[)((=c y d x v A I当且仅当有I D c d ∈,使得0])/][/[)((=d x c y v A I当且仅当有I D c ∈使得0])/[)((=∀c y v xA I当且仅当0))((=∀∀v xA y I16.判断以下逻辑推论关系是否成立,并说明理由.<1> )()(|))()((x xQ x xP x Q x P x ∀∨∀=∨∀<2> ))()((|)()(x Q x P x x xQ x xP ∧∃=∃∧∃<3> ))()((|))()((x Q x P x x xQ x P x ↔∀=∀↔∀<4> ))()((|))()((x Q x P x x xQ x P x →∀=∀→∀<5> )(|)(,))()((x xQ x xP x Q x P x ∃=∃→∃<6> ),(|),(x x xP y x yP x ∃=∃∃解 <1> 不成立.取解释I 如下.},{b a D I =, 0)(=a P I , 1)(=b P I , 1)(=a Q I , 0)(=b Q I则1)))()(((=∨∀x Q x P x I 且0))()((=∀∨∀x xQ x xP I .这表明)()(/|))()((x xQ x xP x Q x P x ∀∨∀=∨∀.<2> 不成立.取解释I 如下.},{b a D I =, 0)(=a P I , 1)(=b P I , 1)(=a Q I , 0)(=b Q I则1))()((=∃∧∃x xQ x xP I 且0)))()(((=∧∃x Q x P x I .这表明))()((/|)()(x Q x P x x xQ x xP ∧∃=∃∧∃.<3> 不成立.取解释I 如下.},{b a D I =, 0)()(==b P a P I I , 1)(=a Q I , 0)(=b Q I则1)))()(((=∀↔∀x xQ x P x I 且0)))()(((=↔∀x Q x P x I .这表明))()((/|))()((x Q x P x x xQ x P x ↔∀=∀↔∀.<4> 若解释I 使得0)))()(((=→∀x Q x P x I ,则有ID d ∈使得0)()(=→d Q d P I I ,1)(=d P I 且0)(=d Q I ,0))((=∀x xQ I ,0)))()(((=∀→∀x xQ x P x I .这表明))()((|))()((x Q x P x x xQ x P x →∀=∀→∀.<5> 不成立.取解释I 如下.},{b a D I =, 1)(=a P I , 0)(=b P I , 0)()(==b Q a Q I I则1))(()))()(((=∃=→∃x xP I x Q x P x I 且0))((=∃x xQ I ,这表明)(/|)(,))()((x xQ x xP x Q x P x ∃=∃→∃.<6> 不成立.取解释I 如下.},{b a D I =, 1),(=b a P I , 0),(),(),(===b b P a b P a a P I I I则1)),((=∃∃y x yP x I ,但0)),((=∃x x xP I .所以),(/|),(x x xP y x yP x ∃=∃∃.17.设A ,B 是任意公式,证明以下结论.<1> xB xA B A x ∃∧∃=∧∃|)(<2> xB xA B A x ∀=∀→∀|,)(<3> A y x A x y x ∃∃=∃|,其中x 对于A 中的y 是可代入的.<4> )(|B A x B x A x →∃=∃→∃证明 <1> 若解释I 和I 中赋值v 使得1)))(((=∧∃v B A x I ,则有I D d ∈使得1])/[)((=∧d x v B A I ,1])/[)((])/[)((==d x v B I d x v A I ,1))((=∃v xA I 且1))((=∃v xB I ,1))((=∃∧∃v xB xA I .这表明xB xA B A x ∃∧∃=∧∃|)(.<2> 若解释I 和I 中赋值v 使得1))(()))(((=∀=→∀v xA I v B A x I ,则对于每个I D d ∈,1])/[)((])/[)((==→d x v A I d x v B A I ,1])/[)((=d x v B I ,1))((=∀v xB I .这表明xB xA B A x ∀=∀→∀|,)(.<3> 若解释I 和I 中赋值v 使得1))((=∃v A x I y x ,则有I D d ∈使得1])/[)((=y x v A I y x ,因为])/][/[)((])])/[)((/][/[)((])/[)((d y d x v A I d x v x I y d x v A I d x v A I y x ==,所以1])/][/[)((=d y d x v A I ,1])/[)((=∃d x v yA I ,1))((=∃∃v yA x I .这表明A y x A x y x ∃∃=∃|. <4> 若解释I 和I 中赋值v 使得0)))(((=→∃vB A x I ,则对于每个I D d ∈,0])/[)((=→d x v B A I ,1])/[)((=d x v A I 且0])/[)((=d x v B I ,因此1))((=∃v xA I 且0))((=∃v xB I ,0))((=∃→∃v xB xA I .所以)(|B A x B x A x →∃=∃→∃.18.设变元x 既不是公式B 中的自由变元,也不是公式集Γ中任何公式的自由变元,A 是公式.若B A =⋃Γ|}{,则B A x =∃⋃Γ|}{.证明 设解释I 和I 中赋值v 满足}{A x ∃⋃Γ,则1))((=∃v xA I ,有I D d ∈使得1])/[)((=d x v A I .因为x 不是公式集Γ中任何公式的自由变元,所以I 和]/[d x v 也满足Γ,I 和]/[d x v 满足}{A ⋃Γ.又因为B A =⋃Γ|}{,所以1])/[)((=d x v B I ,因为x 不是B 中的自由变元,因此1))((=v B I .这表明B A x =∃⋃Γ|}{.19. 设Γ是公式集合,A 是公式,则A =Γ|当且仅当}{A ⌝⋃Γ不可满足.证明 设}{A ⌝⋃Γ可满足,解释I 和I 中赋值v 满足}{A ⌝⋃Γ,则I 和v 满足Γ且0))((=v A I ,所以A /|=Γ.设A /|=Γ,则有解释I 和I 中赋值v 满足Γ且0))((=v A I ,所以I 和v 满足}{A ⌝⋃Γ.因此,}{A ⌝⋃Γ可满足.20.判断以下公式集合是否可满足,并说明理由.<1> )}({}|)({x xP t t P ∃⋃⌝是项<2> )},(,)),(),(),((,),({y x yP x z x P z y P y x P z y x x x P x ∃∀→∧∀∀∀⌝∀ 解 <1> 可满足.取解释I 和I 中赋值v 如下.}2,1{=I D , 0)1(=I P , 1)2(=I P ,对每个常元a ,1=Ia ;对每个n 元函数符号f ,1),,(1=n I x x f ;对每个变元x ,1)(=x v .可归纳证明:对每个项t ,1))((=v t I . I 和v 满足)}({}|)({x xP t t P ∃⋃⌝是项.<2> 可满足.取解释I 和I 中赋值v 如下.I D 为自然数集, 1),(=y x P I 当且仅当 y x <则I 和v 满足)},(,)),(),(),((,),({y x yP x z x P z y P y x P z y x x x P x ∃∀→∧∀∀∀⌝∀.。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学(微课版)第2章习题答案
2.1 集合与运算
习题1
给定两个集合A={1,3,5,7,9}和B={2,4,6,8,10},求A∪B和A∩B。
解答:
集合A和B的并集(A∪B)是包含了A和B中所有元素的集合。
根据题目给出的集合A和B,可以得到并集A∪B={1,2,3,4,5,6,7,8,9,10}。
集合A和B的交集(A∩B)是包含了A和B中共有的元素的集合。
根据题目给出的集合A和B,可以得到交集A∩B={},因为集合A和B中没有共有的元素。
习题2
给定两个集合A={奇数}和B={偶数},求A和B的交集和并集。
如果集合B改为B={2,4,6,8},结果是否有变化?
解答:
集合A表示奇数,集合B表示偶数。
当集合A和B中元素的范围比较广泛时,它们的交集为{},因为奇数和偶数没有共有的元素。
当集合B改为B={2,4,6,8}时,集合A和B中共有的
元素为{},并集为A∪B=奇数∪{2,4,6,8}={奇数,2,4,6,8}。
2.2 命题与逻辑运算
习题3
给定两个命题p:“小明喜欢篮球”和q:“小明是篮球队的队长”。
请判断以下复合命题是真还是假:(1)p∧q;(2)p∨q;(3)p→q。
解答:
命题p:“小明喜欢篮球” 是真命题。
命题q:“小明是篮球队的队长” 是假命题。
(1)p∧q:当p和q都为真时,命题p∧q才为真。
根据题目中给出的p和q的真值,可以确定p∧q是假命题。
(2)p∨q:当p和q中至少一个为真时,命题p∨q就为真。
根据题目中给出的p和q的真值,可以确定p∨q是真命题。
(3)p→q:当p为真时,命题p→q为真,否则为假。
根
据题目中给出的p和q的真值,可以确定p→q是真命题。
习题4
给定一个命题p:“2是偶数”。
请判断以下复合命题是真还是假:(1)¬p;(2)p∧¬p;(3)¬p∨p。
解答:
命题p:“2是偶数” 是真命题。
(1)¬p:取命题p的否定,即“2不是偶数”,根据命题p
的真值,可以确定¬p是假命题。
(2)p∧¬p:当p为真且¬p为真时,命题p∧¬p为真。
根
据命题p的真值和¬p的真值,可以确定p∧¬p是假命题。
(3)¬p∨p:当¬p为真或p为真时,命题¬p∨p为真。
根据命题p的真值和¬p的真值,可以确定¬p∨p是真命题。
2.3 谓词与量词
习题5
给定命题p(x):“x+1=3”,其中x∈Z(整数集)。
请判断以下命题的真值:(1)∃x,p(x);(2)∀x,p(x)。
解答:
命题p(x):“x+1=3” 是一个关于x的命题。
(1)∃x,p(x):存在一个整数x,使得x+1=3。
根据题目给出的命题p(x),可以确定存在x=2,使得x+1=3。
因此,命题∃x,p(x)为真。
(2)∀x,p(x):对于所有整数x,都满足x+1=3。
根据题目给出的命题p(x),可以确定x=2满足x+1=3。
因此,命题∀x,p(x)为真。
习题6
给定命题p(x):“x>2”,其中x∈N(自然数集)。
请判断以下命题的真值:(1)∃x,p(x);(2)∀x,p(x)。
解答:
命题p(x):“x>2” 是一个关于x的命题。
(1)∃x,p(x):存在一个自然数x,使得x>2。
根据自然数的定义,存在一个自然数3,满足x>2。
因此,命题∃x,p(x)为真。
(2)∀x,p(x):对于所有自然数x,都满足x>2。
根据自然数的定义,所有的自然数都大于等于0,因此不存在一个自然数x使得x>2。
因此,命题∀x,p(x)为假。
2.4 递归与数学归纳法
习题7
使用数学归纳法证明:对于任意自然数n,n^2-n是一个偶数。
解答:
首先证明当n=1时,n2-n是一个偶数。
我们有12-1=0,0是一个偶数。
假设当n=k时,n2-n是一个偶数,即k2-k是一个偶数。
当n=k+1时,我们有(k+1)2-(k+1)=k2+2k+1-k-1=k2+k,根据归纳假设,k2-k是一个偶数。
因此,根据数学归纳法,对于任意自然数n,n^2-n是一个偶数。
习题8
使用递归法求解斐波那契数列的第n项。
解答:
斐波那契数列是一个以0和1开头,后续每一项都是前两项之和的数列。
根据递推关系,我们可以定义一个递归函数fibonacci(n)来求解斐波那契数列的第n项:
def fibonacci(n):
if n <= 0:
return 0
elif n == 1:
return 1
else:
return fibonacci(n-1) + fibonacci(n-2)
接下来,我们可以调用fibonacci(n)函数来计算斐波那契数列的第n项。