离散数学1-6章练习题及答案
离散数学习题答案.docx
![离散数学习题答案.docx](https://img.taocdn.com/s3/m/87a33b42700abb68a882fb65.png)
精品文档离散数学习题答案习题一及答案:( P14-15 )14、将下列命题符号化:( 5)李辛与李末是兄弟解:设 p:李辛与李末是兄弟,则命题符号化的结果是p( 6)王强与刘威都学过法语解:设 p:王强学过法语; q:刘威学过法语;则命题符号化的结果是p q ( 9)只有天下大雨,他才乘班车上班解:设 p:天下大雨; q:他乘班车上班;则命题符号化的结果是q p( 11)下雪路滑,他迟到了解:设 p:下雪; q:路滑; r :他迟到了;则命题符号化的结果是( p q)r15、设 p: 2+3=5.q:大熊猫产在中国 .r:太阳从西方升起 .求下列复合命题的真值:( 4)(p q r )(( p q)r )解: p=1, q=1,r=0 ,(p q r )(110)1,((p q)r )((11)0)(00)1(p q r )(( p q)r ) 1 1119、用真值表判断下列公式的类型:( 2)( p p)q解:列出公式的真值表,如下所示:p q p qp) ( p p)q( p001111011010100101110001由真值表可以看出公式有 3 个成真赋值,故公式是非重言式的可满足式。
20、求下列公式的成真赋值:精品文档( 4)( p q)q解:因为该公式是一个蕴含式,所以首先分析它的成假赋值,成假赋值的条件是:( p q)1p0q0q0所以公式的成真赋值有: 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 )m3m7,此即公式的主析取范式,所以成真赋值为011, 111。
6、求下列公式的主合取范式,并求成假赋值:( 2)( p q) ( p r )解:原式( pp r ) ( p q r )( p q r )M 4,此即公式的主合取范式,所以成假赋值为 100。
离散数学练习题(含答案)
![离散数学练习题(含答案)](https://img.taocdn.com/s3/m/c9adf2c108a1284ac8504385.png)
离散数学试题第一部分选择题一、单项选择题1.下列是两个命题变元p,q的小项是( C )A.p∧┐p∧q B.┐p∨qC.┐p∧q D.┐p∨p∨q2.令p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为( D )A.p→┐q B.p∨┐qC.p∧q D.p∧┐q3.下列语句中是命题的只有( A )A.1+1=10 B.x+y=10C.sinx+siny<0 D.x mod 3=24.下列等值式不正确的是( C )A.┐(∀x)A⇔(∃x)┐AB.(∀x)(B→A(x))⇔B→(∀x)A(x)C.(∃x)(A(x)∧B(x))⇔(∃x)A(x)∧(∃x)B(x)D.(∀x)(∀y)(A(x)→B(y))⇔(∀x)A(x)→(∀y)B(y)5.谓词公式(∃x)P(x,y)∧(∀x)(Q(x,z)→(∃x)(∀y)R(x,y,z)中量词∀x的辖域是( C )A.(∀x)Q(x,z)→(∃x)(∀y)R(x,y,z))B.Q(x,z)→(∀y)R(x,y,z)C.Q(x,z)→(∃x)(∀y)R(x,y,z)D.Q(x,z)6.设A={a,b,c,d},A上的等价关系R={<a,b>,<b,a>,<c,d>,<d,c>}∪I A,则对应于R的A的划分是( D )A.{{a},{b,c},{d}} B.{{a,b},{c},{d}}C.{{a},{b},{c},{d}} D.{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是( A )A.{Ø,{Ø}}∈B B.{{Ø,Ø}}∈BC.{{Ø},{{Ø}}}∈B D.{Ø,{{Ø}}}∈B8.设X,Y,Z是集合,一是集合相对补运算,下列等式不正确的是( A )A.(X-Y)-Z=X-(Y∩Z)B.(X-Y)-Z=(X-Z)-YC.(X-Y)-Z=(X-Z)-(Y-Z)D.(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,下列定义的运算中不可结合的只有( D )A.a*b=min(a,b)B.a*b=a+bC.a*b=GCD(a,b)(a,b的最大公约数)02324# 离散数学试题第1 页共4页02324# 离散数学试题 第 2 页 共4页D .a*b=a(mod b)10.设R 和S 是集合A 上的关系,R ∩S 必为反对称关系的是( A ) A .当R 是偏序关系,S 是等价关系; B .当R 和S 都是自反关系; C .当R 和S 都是等价关系; D .当R 和S 都是传递关系11.设R 是A 上的二元关系,且R ·R ⊆R,可以肯定R 应是( D ) A .对称关系; B .全序关系; C .自反关系; D .传递关系 12.设R 为实数集,函数f :R →R ,f(x)=2x ,则f 是( B ) A .满射函数 B .单射函数 C .双射函数 D .非单射非满射第二部分 非选择题二、填空题1.设论域是{a,b,c},则(∀x)S(x)等价于命题公式 S(a)∧S(b)∧S(c) ;(x ∃)S(x)等价于命题公式 S(a)∨S(b) ∨S(c) 。
离散数学习题解答(祝清顺版)
![离散数学习题解答(祝清顺版)](https://img.taocdn.com/s3/m/4ae542347375a417866f8fe8.png)
(1) 错误; (2) 正确; (3) 正确; (4) 错误; (5) 错误; (6) 错误; (7) 正确; (8) 正确; (9) 错误; (10) 错误. 10. (1) {d}; (2) {a, c, e}; (3) {a, b, c, e}; (4) {b, d, e}. 11. 各集合的文氏图如图所示(阴影部分).
5
195 = 1 ∙ 154 + 41 154 = 3 ∙ 41 + 31 41 = 1 ∙ 31 +10 31 = 3 ∙ 10 +1 10=10 ∙ 1 +0 所以, gcd(934, 195) = 1. 代回去, 有 gcd(540, 168) = 1 = 31 3 ∙ 10 = 31 3 ∙ (41 1∙31) = 4 ∙ 31 3 ∙ 41 = 4 ∙ (154 3 ∙ 41) 3 ∙ 41 = 4 ∙ 154 15 ∙ 41 = 4 ∙ 154 15 ∙ (1951 ∙ 154) = 19 ∙ 154 15 ∙ 195 = 19 ∙ (934 4 ∙ 195) 15 ∙ 195 = 19 ∙ 934 91 ∙ 195 故 gcd(540, 168) = 19 ∙ 934 91 ∙ 195, 其中 m=19, n = 91. (2) 方法同(1). 计算可得: gcd(369, 25) = 1, gcd(369, 25)= 4 ∙ 369 59 ∙ 25, 其中 m=4, n = 59. (3) 方法同(1). 计算可得: gcd(369, 25) = 33, gcd(369, 25)= 8 ∙ 165 1 ∙ 1287, 其中 n=8, m = 1. (4) 方法同(1). 计算可得: gcd(369, 25) = 2, gcd(369, 25)= 17 ∙ 42 2 ∙ 256, 其中 n=8, m = 1. 32. 由定理 1.3.8, 可得 ab=lcm(a, b)gcd(a, b)=24 ∙ 144. 由已知条件 a+b=120, 根据根与 系数的关系可构造一个一元二次方程 x2120x+24 ∙ 144=0 解之得, x1=72, x2=48. 由此可得 a=72, b=48 或 a=48, b=72. 33. (1) 运用辗转相除法可得 10920 = 1 ∙ 8316 + 2604 8316 = 3 ∙ 2604 + 504 2604 = 5 ∙ 504 + 84 504 = 6 ∙ 84 +0 所以, gcd(934, 195) = 84. (2) 对于(1)中各式回代过去, 有 gcd(10920, 8316) = 84 = 2604 5 ∙ 504 = 2604 5 ∙ (8316 3 ∙ 2604) = 16 ∙ 2604 5 ∙ 8316 = 16 ∙ (10920 1 ∙ 8316) 5 ∙ 8316 = 16 ∙ 10920 21 ∙ 8316 故 gcd(10920, 8316) = 21 ∙ 8316+16 ∙ 10920, 其中 m = 21, n=16. (3) 由最大公因子与最小公倍数的关系, 有 ab 8316 10920 =1081080. lcm(a, b) gcd(a, b) 84
离散数学练习题(含答案)
![离散数学练习题(含答案)](https://img.taocdn.com/s3/m/57ae1c0286c24028915f804d2b160b4e767f8135.png)
离散数学练习题(含答案)离散数学试题第一部分选择题1.下列命题变元p,q的小项是(C)。
A。
p∧┐p∧qB。
┐p∨qC。
┐p∧qD。
┐p∨p∨q2.命题“虽然今天下雪了,但是路不滑”可符号化为(D)。
A。
p→┐qB。
p∨┐qC。
p∧qD。
p∧┐q3.只有语句“1+1=10”是命题(A)。
A。
1+1=10B。
x+y=10___<0D。
x mod 3=24.下列等值式不正确的是(C)。
A。
┐(x)A(x)┐AB。
(x)(B→A(x))B→(x)A(x)C。
(x)(A(x)∧B(x))(x)A(x)∧(x)B(x)D。
(x)(y)(A(x)→B(y))(x)A(x)→(y)B(y) 5.量词x的辖域是“Q(x,z)→(x)(y)R(x,y,z)”(C)。
A。
(x)Q(x,z)→(x)(y)R(x,y,z))B。
Q(x,z)→(y)R(x,y,z)C。
Q(x,z)→(x)(y)R(x,y,z)D。
Q(x,z)6.设A={a,b,c,d},A上的等价关系R={。
}∪IA则对应于R的A的划分是(D)。
A。
{{a},{b,c},{d}}B。
{{a,b},{c},{d}}C。
{{a},{b},{c},{d}}D。
{{a,b},{c,d}}7.设A={Ø},B=P(P(A)),以下正确的式子是(A)。
A。
{Ø,{Ø}}∈BB。
{{Ø,Ø}}∈BC。
{{Ø},{{Ø}}}∈BD。
{Ø,{{Ø}}}∈B8.集合相对补运算中,不正确的等式是(A)。
A。
(X-Y)-Z=X-(Y∩Z)B。
(X-Y)-Z=(X-Z)-YC。
(X-Y)-Z=(X-Z)-(Y-Z)D。
(X-Y)-Z=X-(Y∪Z)9.在自然数集N上,不可结合的定义的运算是(D)。
A。
a*b=min(a,b)B。
a*b=a+bC。
a*b=GCD(a,b) (a,b的最大公约数)D。
《离散数学》部分习题答案
![《离散数学》部分习题答案](https://img.taocdn.com/s3/m/7372140dba1aa8114431d9ad.png)
第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明(2)(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q) ⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(⌝p→q)→(⌝q∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p) ⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔(⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p)) ⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1) (2) 主合取范式为: ⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7) 矛盾式的主析取范式为 0 (3)主合取范式为:(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1 ⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)xF∀,在(a)中为假命题,在(b)中为真命题。
离散数学习题及解答
![离散数学习题及解答](https://img.taocdn.com/s3/m/45107330580102020740be1e650e52ea5518ceb7.png)
离散数学习题及解答作业题与解答第⼀章19 (2)、(4) 、(6)21 (1)、(2) 、(3)19、(2)解答: (p→┐p)→┐q 真值表如下:所以公式(p→┐q)→┐q 为可满⾜式19、(4)解答: (p→q)→(┐q→┐p) 真值表如下:所以公式(p→q)→(┐q→┐p)为永真式19、(6)解答: ((p→q)∧(q→r))→(p→r) 真值表如下:所以公式((p→q)∧(q→r))→(p→r)为永真式21、(1)解答: ┐(┐p∧q)∨┐r 真值表如下:所以成假赋值为:01121、(2)解答: (┐q∨r)∧(p→q)真值表如下:所以成假赋值为:010,100,101,11021、(3)解答: (p→q)∧(┐(p∧r)∨p)真值表如下:所以成假赋值为:100,101第⼆章5、(1) (2) (3) 6、(1) (2) (3) 7、(1) (2) 8、(1) (2) (3) 5、求下列公式的主析取范式,并求成真赋值(1) (┐p→q)→(┐q∨p)┐(┐p→q) ∨(┐q∨p)┐(┐(┐p) ∨q) ∨(┐q∨p)(┐p ∧┐q) ∨(┐q∨p)(┐p ∧┐q) ∨(p ∧┐q)∨(p ∧q)所以00,10,11 为成真赋值。
(2) (┐p→q)∧(q∧r)(┐┐p∨q)∧(q∧r)(p∨q)∧(q∧r)(p∧q∧r)∨(q∧r)(p∧q∧r)∨(p∧q∧r)∨(┐p∧q∧r)(p∧q∧r)∨(┐p∧q∧r)m3∨m 7,所以011,111 为成真赋值。
(3) (p∨(q∧r))→(p∨q∨r)┐(p∨(q∧r))∨(p∨q∨r)(┐p∧(┐q∨┐r))∨(p∨q∨r)(┐p∧┐q)∨(┐p∧┐r)∨(p∨q∨r)(┐p∧┐q)∨((┐p∧┐r)∨(p∨q∨r))(┐p∧┐q)∨((┐p∨p∨q∨r)∧(┐r∨p∨q∨r) )(┐p∧┐q)∨(1∧1)(┐p∧┐q)∨11m0∨m1∨m 2∨m3∨m4∨m5∨m 6 ∨m 7,所以000, 001, 010, 011, 100, 101, 110, 111 为成真赋值。
离散数学答案版(全)
![离散数学答案版(全)](https://img.taocdn.com/s3/m/6f5bfafa866fb84ae55c8d1e.png)
第一章命题逻辑内容:命题及命题联结词、命题公式的基本概念,真值表、基本等价式及永真蕴涵式,命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。
教学目的:1. 熟练掌握命题、联结词、复合命题、命题公式及其解释的概念。
2. 熟练掌握常用的基本等价式及其应用。
3. 熟练掌握(主)析/合取范式的求法及其应用。
4. 熟练掌握常用的永真蕴涵式及其在逻辑推理中的应用。
5. 熟练掌握形式演绎的方法。
教学重点:1 .命题的概念及判断2 .联结词,命题的翻译3. 主析(合)取范式的求法4. 逻辑推理教学难点:1. 主析(合)取范式的求法2. 逻辑推理1.1命题及其表示法1.1.1 命题的概念数理逻辑将能够判断真假的陈述句称作命题。
1.1.2 命题的表示命题通常使用大写字母 A , B,…,Z或带下标的大写字母或数字表示,如A i, [10], R等,例如A1:我是一名大学生。
A1:我是一名大学生.[10]:我是一名大学生。
R:我是一名大学生。
1.2命题联结词1.2.1否定联结词「P1.2.2合取联结词A1.2.3 析取联结词V1.2.4 条件联结词—125126 与非联结词T性质:(1)P T P=「( PAP)二「P;(2)(P T Q)T( P T Q) -「( P T Q) - PAQ;(3)( P T P)T( Q TQ) -「P T「Q= P V Q。
127 或非联结词J性质:(1) P J P=「( P V Q) =「P;(2)( P J Q );( P J Q) =「( P J Q) = P V Q;(3)( P J P)J( Q J Q) =「P Q=P V-Q) = PAQ1.3 命题公式、翻译与解释1.3.1 命题公式定义命题公式,简称公式,定义为:(1)单个命题变元是公式;(2 )如果P是公式,则「P是公式;(3)如果P、Q是公式,则PAQ、PVQ、P > Q、P Q都是公式;(4)当且仅当能够有限次的应用(1)、(2)、(3)所得到的包括命题变元、联结词和括号的符号串是公式。
离散数学习题答案
![离散数学习题答案](https://img.taocdn.com/s3/m/d96d387c59fafab069dc5022aaea998fcc2240d4.png)
离散数学习题答案离散数学习题答案习题⼀及答案:(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 ?∨p 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。
离散数学最全答案 屈婉玲
![离散数学最全答案 屈婉玲](https://img.taocdn.com/s3/m/2d1388bcba0d4a7303763a4d.png)
第一章 命题逻辑基本概念课后练习题答案4.将下列命题符号化,并指出真值:(1)p∧q,其中,p:2是素数,q:5是素数,真值为1;(2)p∧q,其中,p:是无理数,q:自然对数的底e 是无理数,真值为1;(3)p∧┐q,其中,p:2是最小的素数,q:2是最小的自然数,真值为1;(4)p∧q,其中,p:3是素数,q:3是偶数,真值为0;(5)┐p∧┐q,其中,p:4是素数,q:4是偶数,真值为0.5.将下列命题符号化,并指出真值:(1)p∨q,其中,p:2是偶数,q:3是偶数,真值为1;(2)p∨q,其中,p:2是偶数,q:4是偶数,真值为1;(3)p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;(4)p∨q,其中,p:3是偶数,q:4是偶数,真值为1;(5)┐p∨┐q,其中,p:3是偶数,q:4是偶数,真值为0;6.(1)(┐p∧q)∨(p∧┐q),其中,小丽从筐里拿一个苹果,q :小丽从筐里拿一个梨;(2)(p∧┐q)∨(┐p∧q),其中,p :刘晓月选学英语,q :刘晓月选学日语;.7.因为p 与q 不能同时为真.13.设p:今天是星期一,q:明天是星期二,r:明天是星期三:(1)p→q,真值为1(不会出现前件为真,后件为假的情况);(2)q→p,真值为1(也不会出现前件为真,后件为假的情况);(3)pq ,真值为1;(4)p→r,若p 为真,则p→r 真值为0,否则,p→r 真值为1.16 设p 、q 的真值为0;r 、s 的真值为1,求下列各命题公式的真值。
(1)p ∨(q ∧r)⇔ 0∨(0∧1) ⇔0(2)(p?r )∧(﹁q ∨s) ⇔(0?1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p ∧⌝q ∧r )?(p ∧q ∧﹁r) ⇔(1∧1∧1) ? (0∧0∧0)⇔0(4)(⌝r ∧s )→(p ∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
离散数学习题答案1-2-6-7-8-9章-2009-12-17
![离散数学习题答案1-2-6-7-8-9章-2009-12-17](https://img.taocdn.com/s3/m/040d0e3deefdc8d376ee3235.png)
习题1:1. 解 (1){2,3,5,7,11,13,17,19}(2){x|x=20*k,k 是自然数}(3){2,-1}2. 解 (1){2,4}(2){1,2,3,4,5}(3){1,3}(4){1,3,5}3. 解 (1){1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20}(2)φ(3)全体自然数(4){0,2,4,6,8,10,12,14,16,18,20}(5)1,3,5,7,9,11,13,15,17,19}4. 解 (1)正确(2)正确(3)错误(4)正确5. 解 (1)A={1},B={{1}},C={{1}}(2)A={1},B={{1}},C={{{1}}}6. 解 (1)正确。
由子集的定义。
(2) 不一定。
如:A={1},B={{1}},C={{1}}。
(3)不一定。
如:A={1},B={1,2},C={{1,2}}(4)不一定。
如:A={1},B={1,2},C={{1,2}}。
7. 解 A={1,2},B={1},C={2},有B A ≠,但是C B C A =成立。
A={1,2},B={1},C={1},有B A ≠,但是C B C A =成立。
8. 解 (1)φ(2){φ}(3){{φ}}(4){φ,{φ}}9. 解 (1){1,2,3,4,5,6,7,8,9}(2){0,1,2,3,4,5,6,7,8,9,10}(3){0,3,6,7,8,9}10. 解 33311. 解 2512. 解(1)454(2)124(3)22013. 解 (1){φ}(2){φ,{a}}(3){φ,{φ},{a},{φ,a}}(4){φ,{φ},{{φ}},{{φ},φ}}(5){φ,{{φ}},{φ},{a},{{φ},φ},{{φ},a},{φ,a},{{φ},φ,a}}14. 证明:假设B ≠C ,则至少存在一元素x ∈B 且x ∉C 。
(完整版)《离散数学》同步练习答案
![(完整版)《离散数学》同步练习答案](https://img.taocdn.com/s3/m/67eddb70700abb68a882fb79.png)
华南理工大学网络教育学院《离散数学》练习题参考答案第一章命题逻辑一填空题(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”是命题。
离散数学课后习题答案
![离散数学课后习题答案](https://img.taocdn.com/s3/m/2e8a3549852458fb770b5660.png)
第1章习题解答1.1 除(3),(4),(5),(11)外全是命题,其中,(1),(2),(8),(9),(10),(14),(15)是简单命题,(6),(7),(12),(13)是复合命题。
分析首先应注意到,命题是陈述句,因而不是陈述句的句子都不是命题。
本题中,(3)为疑问句,(5)为感叹句,(11)为祈使句,它们都不是陈述句,所以它们都不是命题。
其次,(4)这个句子是陈述句,但它表示的判断结果是不确定。
又因为(1),(2),(8),(9),(10),(14),(15)都是简单的陈述句,因而作为命题,它们都是简单命题。
(6)和(7)各为由联结词“当且仅当”联结起来的复合命题,(12)是由联结词“或”联结的复合命题,而(13)是由联结词“且”联结起来的复合命题。
这里的“且”为“合取”联结词。
在日常生活中,合取联结词有许多表述法,例如,“虽然……,但是… … ”、“不仅……,而且… … ”、“一面……,一面… … ”、“……和… … ”、“……与……”等。
但要注意,有时“和”或“与”联结的是主语,构成简单命题。
例如,(14)、(15)中的“与”与“和”是联结的主语,这两个命题均为简单命题,而不是复合命题,希望读者在遇到“和”或“与”出现的命题时,要根据命题所陈述的含义加以区分。
1.2 (1)p : 2是无理数,p 为真命题。
(2)p : 5能被2 整除,p 为假命题。
(6)p →q 。
其中,p : 2是素数,q:三角形有三条边。
由于p 与q 都是真命题,因而p →q 为假命题。
(7)p →q ,其中,p:雪是黑色的,q:太阳从东方升起。
由于p 为假命题,q 为真命题,因而p →q 为假命题。
(8)p : 2000年10 月1 日天气晴好,今日(1999 年2 月13 日)我们还不知道p 的真假,但p 的真值是确定的(客观存在的),只是现在不知道而已。
(9)p:太阳系外的星球上的生物。
它的真值情况而定,是确定的。
离散数学第1章习题答案
![离散数学第1章习题答案](https://img.taocdn.com/s3/m/a3e3caade518964bcf847ce7.png)
<><><>100;{[];;} ;( *S){>1;}( * x){(>1){("\n !"); 0;}>;>[>];1;}( *S){(>1);}( * *x){((S)){("\n !");0;}*>[>];>;1;}( N){e;*(*)(());(S); (N){(2);2;}((S)){();(" ");}}(){ n;("请输入待转换的值n:\n");("");(n);}习题1.判断下列语句是否是命题,为什么?若是命题,判断是简单命题还是复合命题?(1)离散数学是计算机专业的一门必修课。
(2)李梅能歌善舞。
(3)这朵花真美丽!(4)3+2>6。
(5)只要我有时间,我就来看你。
(6)x=5。
(7)尽管他有病,但他仍坚持工作。
(8)太阳系外有宇宙人。
(9)小王和小张是同桌。
(10)不存在最大的素数。
解在上述10个句子中,(3)是感叹句,因此它不是命题。
(6)虽然是陈述句,但它没有确定的值,因此它也不是命题。
其余语句都是可判断真假的陈述句,所以都是命题。
其中:(1)、(4) 、(8) 、(9) 、是简单命题,、(2) 、(5) 、(7)、(10) 是复合命题。
2.判断下列各式是否是命题公式,为什么?(1)(P(P∨Q))。
(2)(P Q)(Q P)))。
(3)((P Q)(Q P))。
(4)(Q R∧S)。
(5)(P∨)S。
(6)((R(Q R)(P Q))。
解 (1)是命题公式。
(2)不是命题公式,因为括号不配对。
(3)是命题公式。
(4)是命题公式。
(5)不是命题公式,因为没有意义。
(6)不是命题公式,因为R(Q R)(P Q) 没有意义。
3.将下列命题符号化:(1)我们不能既划船又跑步。
(2)我去新华书店,仅当我有时间。
(完整版)离散数学答案(尹宝林版)第一章习题解答
![(完整版)离散数学答案(尹宝林版)第一章习题解答](https://img.taocdn.com/s3/m/4f24105d26284b73f242336c1eb91a37f111327c.png)
(完整版)离散数学答案(尹宝林版)第一章习题解答第一章命题逻辑习题与解答⒈ 判断下列语句是否为命题,并讨论命题的真值。
⑴ 2x - 3 = 0。
⑵ 前进!⑶ 如果8 + 7 > 20,则三角形有四条边。
⑷ 请勿吸烟!⑸ 你喜欢鲁迅的作品吗?⑹ 如果太阳从西方升起,你就可以长生不老。
⑺ 如果太阳从东方升起,你就可以长生不老。
解⑶,⑹,⑺表达命题,其中⑶,⑹表达真命题,⑺表达假命题。
⒉ 将下列命题符号化:⑴ 逻辑不是枯燥无味的。
⑵ 我看见的既不是小张也不是老李。
⑶ 他生于1963年或1964年。
⑷ 只有不怕困难,才能战胜困难。
⑸ 只要上街,我就去书店。
⑹ 如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐。
⑺ 如果林芳在家里,那么他不是在做作业就是在看电视。
⑻ 三角形三条边相等是三个角相等的充分条件。
⑼ 我进城的必要条件是我有时间。
⑽ 他唱歌的充分必要条件是心情愉快。
⑾ 小王总是在图书馆看书,除非他病了或者图书馆不开门。
解⑴ p :逻辑是枯燥无味的。
“逻辑不是枯燥无味的”符号化为 ?p 。
⑵ p :我看见的是小张。
q :我看见的是老李。
“我看见的既不是小张也不是老李”符号化为q p ?∧?。
⑶ p :他生于1963年。
q :他生于1964年。
“他生于1963年或1964年”符号化为p ⊕ q 。
⑷ p :害怕困难。
q :战胜困难。
“只有不怕困难,才能战胜困难”符号化为q → ? p 。
⑸ p :我上街。
q :我去书店。
“只要上街,我就去书店”符号化为p → q 。
⑹ p :小杨晚上做完了作业。
q :小杨晚上没有其它事情。
r :小杨晚上看电视。
s :小杨晚上听音乐。
“如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐”符号化为s r q p ∨→∧。
⑺ p :林芳在家里。
q :林芳做作业。
r :林芳看电视。
“如果林芳在家里,那么他不是在做作业就是在看电视”符号化为r q p ∨→。
⑻ p :三角形三条边相等。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学练习题第一章一•填空1•公式(p q) ( p q)的成真赋值为01; 102•设p, r为真命题,q, s为假命题,则复合命题(p q) ( r s)的真值为03•公式(p q)与(p q) ( p q)共同的成真赋值为01 ;104•设A为任意的公式,B为重言式,则A B的类型为重言式5. 设p, q均为命题,在不能同时为真条件下,p与q的排斥也可以写成p与q的相容或。
二.将下列命题符合化1. ■ 7不是无理数是不对的。
解:(p),其中p:. 7是无理数;或p,其中p: . 7是无理数。
2•小刘既不怕吃苦,又很爱钻研。
解:p q,其中p:小刘怕吃苦,q :小刘很爱钻研3•只有不怕困难,才能战胜困难。
解:q p,其中p:怕困难,q:战胜困难或p q,其中p:怕困难,q:战胜困难4•只要别人有困难,老王就帮助别人,除非困难解决了。
解:r (p q),其中p:别人有困难,q:老王帮助别人,r:困难解决了或:(r p) q,其中p:别人有困难,q:老王帮助别人,r:困难解决了5•整数n是整数当且仅当n能被2整除。
解:p q,其中p:整数n是偶数,q:整数n能被2整除三、求复合命题的真值P:2能整除5, q:旧金山是美国的首都,r:在中国一年分四季1. ((p q) r) (r (p q))2・((q p) (r p)) (( p q) r解:p, q为假命题,r为真命题1. (( p q) r) (r (p q))的真值为02. (( q p) (r p)) (( p q) r 的真值为1四、判断推理是否正确设y 2x为实数,推理如下:若y在x=0可导,则y在x=0连续。
y在x=0连续,所以y在x=0可导。
解:y 2x,x为实数,令p: y在x =0可导,q: y在x=0连续。
P为假命题,q为真命题,推理符号化为:(p q) q p,由p, q得真值可知,推理的真值为0,所以推理不正确。
五、判断公式的类型1,( (q p) ((p q) ( p q))) r2. (p (q p)) (r q)3. (p r) (q r)•填空1•设A 为含命题变项p, q, r 的重言式,则公式 A (( p q))的类型为 重言式 2•设B 为含命题变项p, q, r 的重言式,则公式 B (( p q))的类型为矛盾式3•设p, q 为命题变项,则(p q)的成真赋值为 01 ; 104.设p,q 为真命题,r, s 为假命题,则复合函数(p r) ( q s)的成真赋值为5•矛盾式的主析取范式为6•设公式A 为含命题变项p, q, r 又已知A 的主合取范式为M 0 M 2 M 3 M 5则A 的p,q,r(p q) r0000011010 0 011 1100 11010 110 0 1111r 的主析取范式。
三、用其表达式求公式 (p 解:真值表 解:p (qr) p (q r) p ( q r) (p qr)五、用主析取范式判断(pq)与(pq)( (p q))是否等值。
解:(p q) ((p q) (q p))(( p q) ( q p)) (p q) (q p) (p q) (q p) (p (qp))( q (q p)) (pq)((q p))所以他们等值。
四、将公式p (q r)化成与之等值且仅含 中连接词的公式第二章练习题1.求公式 (p q)) ( qp)的主合取范式。
解:"(p q)) p) (p q) (p q) p q2•求公式 ((p q) (p q)) (qp)的主析取范式,再由主析取范式求出主合取范式。
q)) p) (q((p q) (P q (q (p q ) 0m 3(q (qp) M((p q) ( p q)) (q p) p)) ((q p) q) (p q) qM 1M2q)由上表可知成真赋值为001 ; 011 ; 100; 111第四章习题一,填空题1•设F(x): x具有性质F, G(x): x具有性质G,命题“对所有x的而言,若x具有性质F,则x 具有性质G”的符号化形式为x(F(x) G(x)2•设F(x): x具有性质F,G(x): x具有性质G,命题“有的x既有性质F,又有性质G”的符号化形式为x(F(x) G(x)3. 设F(x): x具有性质F,G(y): y具有性质G,命题“对所有x都有性质F,则所有的y都有性质G”的符号化形式为xF (x) yG( y)4. 设F(x): x具有性质F,G(y): y具有性质G,命题“若存在x具有性质F,则所有的y都没有性质G”的符号化形式为xF(x) y G(y)5. 设A为任意一阶逻辑公式,若A中__不含自由出现的个体项一 __,则称A为封闭的公式。
6. 在一阶逻辑中将命题符号化时,若没有指明个体域,则使用全总个体域。
二•在一阶逻辑中将下列命题符号化1.所有的整数,不是负整数就是正整数,或是0。
解:xF(x) (G(x) H(x) R(x)),其中F(x):x 是整数,G(x): x 是负整数,H (x): x是正整数,R(x) : x 02. 有的实数是有理数,有的实数是无理数。
解:x(F(x) G(x)) y(F(y) H(y)),其中,F(x):x 是实数,G(x): x 是有理数,H (y): y是无理数3•发明家都是聪明的并且是勤劳的,王进是发明家,所以王进是聪明的并且是勤劳的。
解:(x(F(x) (G(x) H(x))) F(a)) (G(a) H(a)),其中:F(x):x是发明家, G(x):x是聪明的,H(x):x是勤劳的,a:王前进4•实数不都是有理数。
解:x(F (x) G(x)),其中F(x):x是实数,G(x): x是有理数5•不存在能表示成分数的有理数。
解:xF(x) G(x),其中:F(x):x是无理数,G(x): x能表示成分数6•若x与y都是实数且x>y,则x+y>y+z解:x y((F(x) F(y) H (x, y) H (x z, y z)),其中,F(x):x 是实数,H(x, y) : x y三.给定解释1如下:(a)个体域为实数集合R;(b)特疋兀素a 0 ;(c)特定函数f (x, y) x y,x R, y R(d)特定谓词F (x, y): x y,G(x, y):x y, x R, y R给出下列公式在1的解释, 并指出他们的真值:1. x y(G(x, y) F(x,y))解:x y((x y) (x y)),即对任意的实数,x, y,则x y;真值为12. x y(F(f(x, y),a) G(x,y))解:x y(x y 0 (x y)),即对任意的实数x, y若x y 0,则x y,其真值为03. x y(G(x, y) F(f (x, y),a))解:x y((x y) (x y 0)),即对任意的实数x, y若x y,则x y 0,其真值为14. x y(Gf (x, y), a) F (x, y))解:x y((x y 0) x y)),即对任意的实数x, y若x y 0,则x y,其真值为0四.给定解释I如下:⑻个体域D=N; (b)特定元素a 2 (c)N上函数f(x,y) x y, g(x, y) x y;(d)N 上谓词F (x, y): x y给出下列公式在I下的解释,并指出他们的真值:1. xF(g(x,a),x)解:x(2x x),即对任意的自然数x,都有2x x,真值为02. x y(F( f(x,a), y) F(f(y,a), x))解:x y((x 2 y) (y 2 x)),即对任意自然数x, y若x 2 y,则y 2 x ;其真值为03. x y zF( f (x, y),z)解:x y z(x y z),即对任意的自然数x, y,都存在z,使得x y z ;真值为14. xF(f (x, x),g(x, x))打 2 2x ),即存在自然数x使得2x x,其真值为1解:x(2x第六章习题一,填空1•设A 2,a, 3,4,B ,4, a ,3,则A B ________________ 2,a, 3,{a},3, ____ 2.设A 1 , 1,2 ,则P(A) —{ ,{{1}}, {{{ 1,2}}}, {{1}, {{1,2}}} ______________ 3•设A 1 1,2,则P(A) ____{ ,{{1}},{{1,2}},{{1},{1,,2}}} _________ 4•设A 1,2,则P(A) ____{ ,{1},{2},{1,2}} _________5•设[a,b], (c,d)代表实数区间,那么([0,4] [2,6]) (1,3) ____[3,4] ________6•设XY为任意集合,且X Y 1,2,3 ,X Z 2,3,4,若Z Y,则一定有—2 Z;3 Z ______(1 Z; 2 Z; 3 Z; 4 Z)7•设A,则(A A) A __________ _______二,简答题1.设I 1,2, 12 ,A 1,3,5,7,9,11 ,B 2,3,5,7,11,C 2,3,6,12 ,D 2,4,8 ,计算:A B; A C; C (A B); A B; C D ;B D;A B {1,2,3,5,7,9,11} A C ={3} C (A B) ={6,12} A B ={1, 9}C D ={3,6,12} B D={3,4,5,7,8,11}2. 设A a , a,b ,求:A; AA ={a,b}A={a}三、设A 1,2,3,4,5,6 , B 2,4,6 ,C 3 x|x n,n N,x15,求:A C;B A; P(B)C={1,8}A C ={1,2,3,4,5,6,8}B A=P(B)={ ,{2},{4},{6},{2,4},{2,6},{4,6},{2,4,6}}四:一个班50 个学生,在一次考试中有26 人得 5 分,在第二次考试中有21 人得 5 分,如果两次考试中没有得 5 分的有17 人,那么两次考试中都得 5 分的有都少人(提示:应用包含排斥原理)答:设A为第一次考试得5分的人,B为第二次考试得5分的人。
A=26,B=21~(A B)=17A B=50-17=33A B-A=7A B=21-7=14五,一个班25 个学生,会打篮球的有12 人,会打排球的有10 人,两种球都不会打的有 5 人,那么两种球都会打的有多少人(提示:应用包含排斥原理)答:设A为会打篮球的人数,B为会打排球的人数。
A=12,B=10~(A B)=5A B=25-5=20A B-A=8A B=10-8=2第七章习题设x,y 5 y 1,2x ,求x,y解:由有序相等的充要条件:y 1解得:5 2x2.已知A 0,1解:(1) A B 0,1 1,2 ,试确定下列集合(1) A B, (2) A 1 B0,2 , 1,1 1,2(3) A A BA(2)0,1,1 ,0,1 , 1,10,1,2 , 1,1,11,2, 1,1,2A (3) AB0,0,1 ,0,00,1,10,1, 1,1,1, 1,1 ,, 1,0,11,0 1,2, 0,0,2 , 0,1,2 , 1,1,2 1,0,2P143 页13题1,2 , 2,4 3,3 1,3 , 2,4 , 4,2求:B, B, domA, , domB, dom(A B), ranA解:1,2 , 1,3 , 2,4 3,3 , 4,22,4domA 1,2,3domB 1,2,4ranA 2,3,4。