离散数学1-6章练习题及答案

合集下载

离散数学习题答案.docx

离散数学习题答案.docx

精品文档离散数学习题答案习题一及答案:( 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。

离散数学练习题(含答案)

离散数学练习题(含答案)

离散数学试题第一部分选择题一、单项选择题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) 。

离散数学习题解答(祝清顺版)

离散数学习题解答(祝清顺版)
2
(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

离散数学练习题(含答案)

离散数学练习题(含答案)

离散数学练习题(含答案)离散数学试题第一部分选择题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。

《离散数学》部分习题答案

《离散数学》部分习题答案

第一章部分课后习题参考答案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)中为真命题。

离散数学习题及解答

离散数学习题及解答

离散数学习题及解答作业题与解答第⼀章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 为成真赋值。

离散数学答案版(全)

离散数学答案版(全)

第一章命题逻辑内容:命题及命题联结词、命题公式的基本概念,真值表、基本等价式及永真蕴涵式,命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。

教学目的: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)所得到的包括命题变元、联结词和括号的符号串是公式。

离散数学习题答案

离散数学习题答案

离散数学习题答案离散数学习题答案习题⼀及答案:(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。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 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。

相关文档
最新文档