离散数学第四版1-2章课后习题答案
离散数学课后习题答案(第二章)

(3) 寻求下列各式的真假值。 A) (∀x)( P( x) ∨ Q( x)) ,其中 P( x) : x = 1, Q( x) : x = 2 ,且论域是 {1, 2} B) (∀x)( P → Q( x)) ∨ R( a) , 其中 P : 2 > 1, Q( x) : x ≤ 3, R( x) : x > 5 而 a : 5 , 论域是 {−2,3, 6} 解:a) (x)(P(x)∨Q(x))⇔(P(1)∨Q(1))∧(P(2)∨Q(2)), 但 P(1)为 T,Q(1)为 F,P(2)为 F,Q(2)为 T, 所以(x)(P(x)∨Q(x))⇔(T∨F)∧(F∨T) ⇔T。 b) (x)(P→Q(x))∨R(a)⇔ ((P→Q(−2))∧(P→Q(3))∧(P→Q(6)))∨R(a) 因为 P 为 T,Q(−2)为 T,Q(3)为 T,Q(6)为 F,R(5)为 F, 所以(x)(P→Q(x))∨R(a)⇔((T→T)∧(T→T)∧(T→F))∨F⇔ F (4) 对下列谓词公式中的约束变元进行换名。 A) ∀x∃y ( P ( x, z ) → Q ( y ) � S ( x, y ) B) (∀xP( x) → ( R( x) ∨ Q( x))) ∧ ∃xR( x)) → ∃zS ( x, z) 解:a)(u)(v)(P(u,z)→Q(v))S(x,y) b)(u)(P(u)→ (R(u)∨Q(u))∧(v)R(v))→(z)S(x,z) (5) 对下列谓词公式中的自由变元进行代入。 A) (∃yA( x, y ) → ∀xB ( x, z )) ∧ ∃x∀zC ( x, y , z ) B) (∀yP( x, y ) ∧ ∃zQ( x, z )) ∨ ∀xR( x, y) 解:a)((y)A(u,y)→(x)B(x,v))∧(x)(z)C(x,t,z) b)((y)P(u,y)∧(z)Q(u,z))∨(x)R(x,t) 习题 2-5 (1)考虑以下赋值,论域:
离散数学第1章习题答案

#include<stdio.h>#include<stdlib.h>#include<malloc.h>#define MAX_STACK_SIZE 100 typedef int ElemType; typedef struct{ElemType data[MAX_STACK_SIZE];int top;} Stack;void lnitStack(Stack *S){S->top=-1;}int Push(Stack *S,ElemType x){if(S->top==MAX_STACK_SIZE-1){printf("\n Stack is full!");return 0;}S->top++;S->data[S->top]=x;return 1;}int Empty(Stack *S){return (S->top==-1);}int Pop(Stack *S,ElemType *x){if(Empty(S)){printf("\n Stack is free!");return 0;}*x=S->data[S->top];S_>top__;return 1;}void conversion(int N){int e;Stack *S=(Stack*)malloc(sizeof(Stack));InitStack(S); while(N){Push(S,N%2);"}while(!Empty(S)){Pop(S, &e);printf("%d ",e);}}void main(){ int n;printf(" 请输入待转换的值n: \n");scanf ("%d",&n);conversion(n);1. 判断下列语句是否是命题,为什么?若是命题,判断是简单命题还是复合命题?(1) 离散数学是计算机专业的一门必修课。
离散数学课后答案(第1-2-4章)武汉大学出版社

离散数学课后答案(第1-2-4章)武汉大学出版社习题1.11、(1)否(2)否(3)是,真值为0(4)否(5)是,真值为12、(1)P:天下雨Q:我去教室┐P →Q(2)P:你去教室Q:我去图书馆P →Q (3)P,Q同(2)Q →P(4)P:2是质数Q:2是偶数P∧Q3、(1)0(2)0(3)14、(1)如果明天是晴天,那么我去教室或图书馆。
(2)如果我去教室,那么明天不是晴天,我也不去图书馆。
(3)明天是晴天,并且我不去教室,当且仅当我去图书馆。
习题1.21、(1)是(2)是(3)否(4)是(5)是(6)否2、(1)(P →Q) →R,P →Q,R,P,Q (2)(┐P∨Q) ∨(R∧P),┐P ∨Q,R∧P,┐P,Q,R,P(3)((P →Q) ∧(Q →P)) ∨┐(P →Q)),(P →Q) ∧(Q →P),┐(P →Q),P →Q,(Q →P),P →Q,P,Q,Q,P,P,Q3、(1)((P →Q) →(Q →P)) →(P →Q) (2)((P →Q) ∨((P →Q) →R))→((P →Q) ∧((P →Q) →R))(3)(Q →P∧┐P) →(P∧┐P →Q)4、(P →Q) ∨((P∧Q) ∨(┐P∧┐Q)) ∧(┐P∨Q)习题1.31、(1)I(P∨(Q∧R)) = I(P)∨(I(Q)∧I(R)) = 1∨(1∧0) = 1(2)I((P∧Q∧R)∨(┐(P∨Q)∧┐(R∨S))) = (1∧1∧0)∨(┐(1∨1)∧┐(0∨1)) = 0∨(0∧0) = 0 (3)I((P←→R)∧(┐Q→S)) = (1←→0)∧(┐1→1) = 0∧1 = 0(4)I((P∨(Q→R∧┐P))←→(Q∨┐S)) = (1∨(1→(0∧┐1)))←→(1∨┐1) = 1←→1 = 1(5)I(┐(P∧Q)∨┐R∨((Q←→┐P)→R∨┐S)) = ┐(1∧1)∨┐0∨((1←→┐1)→(0∨┐1)) = 0∨1∨1 = 12、(1)P Q P→Q Q∧(P→Q) Q∧(P→Q)→P0 0 1 0 10 1 1 1 01 0 0 0 11 1 1 1 1(2)P Q R Q∧R ┐(P∨(Q∧R)) P∨Q P∨R(2)原式<=> ┐T∨(┐(┐P∨Q)∨(┐┐Q∨┐P)) <=> (P∧┐Q)∨(Q∨┐P)<=> (P∧┐Q)∨┐(P∧┐Q) <=> T 原式为永真式(3)原式<=> ┐(P∧Q) ←→┐(P∧Q) <=> T 原式为永真式(4)原式<=> P∧(Q∨R) ←→P∧(Q∨R) <=> T 原式为永真式(5)原式<=> ┐(P∨┐Q)∨Q <=> (┐P∧Q)∨Q <=> Q 原式为可满足式(6)原式<=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> T 原式为永真式(7)原式<=> (┐P∨P∨Q)∧┐P <=> (T∨Q)∧┐P<=> T∧┐P <=> ┐P 原式为可满足式(8)原式<=> ┐((P∨Q) ∧(┐Q∨R))∨(┐P ∨R) <=> (P∧┐Q)∨(Q∧┐R)∨(┐P∨R)<=> ((P∧┐Q)∨┐P)∨((Q∧┐R)∨R)<=>(( P∨┐P)∧(┐Q∨┐P))∨(( Q∨R)∧(┐R ∨R))<=> (┐Q∧┐P)∨( Q∨R) <=> T 原式为永真式4、(1)左<=> ┐P∨┐Q∨P <=> ┐┐P∨(┐P ∨┐Q) <=> 右(2)左<=> ┐(┐P∨Q) <=> 右(3)左<=> ┐(P∧Q)∨P <=> ┐P∨┐Q∨P <=> T∨┐Q <=> 右(4)左<=> ┐(P→Q)∨┐(Q→P) <=> (P∧┐Q)∨(Q∧┐P) <=> 中<=> ((P∧┐Q)∨Q)∧((P∧┐Q)∨┐P)<=> (P∨Q)∧(┐Q∨Q)∧(P∨┐P)∧(┐Q∨┐P)<=> (P∨Q)∧┐(P∧Q) <=> 右(5)左( P Q) ( R Q) (P Q) Q 右5.(1)左Q P Q 右(2)(P (Q R)) ((P Q) (P R))( P Q R) ( P Q) ( P R)(P Q R) (P Q) P R(P Q R) ((P P) ( Q P)) R(P Q R) ( Q P R)(P Q R) (P Q R)T故P (Q R) (P Q) (P R)(3).(P Q) (P P Q)( P Q) P (P Q)( P Q) ( P P) ( P Q)( P Q) ( P Q)T故P Q P P Q(4).((P Q) Q) P Q( ( P Q) Q) P Q(( P Q) Q) P Q( P Q) (Q Q) P Q(P Q) (P Q)T故(P Q) Q P Q(5).((P P) Q) ((P P) R) (Q R) (( T Q) ( T R)) Q R(Q R) Q RQ R Q RQ TT故((P P) Q) ((P P) R) Q R(6)左(Q F) (R F)( Q F) ( R F)Q RRR Q 右6.(1)原式( P Q R)(2)原式P Q P (P Q P)(3)原式P (Q R P) P Q R ( P Q R)7.(1)原式( P Q P)(2)原式( P Q R) P Q ( ( P Q R) P Q)(3)原式P Q (R P) (P Q (R P))8. (1) (P Q) (( P ( P Q)) R) P(2)(P Q R) ( P R)(3)(P F) (Q T)习题1.41.(1)原式( P Q) (( P Q) (Q P))( P Q) (Q P)(P Q) Q PQ P,既是析取范式又是合取范式(2)原式(( P Q) ( P Q)) ( ( P Q) ( P Q))(P Q) (P Q) 析取范式P (Q Q)合取范式(3)原式P Q S ( P Q)析取范式( P ( P Q)) Q SP Q S合取范式(4)原式P P Q Q R既是析取范式又是合取范式2.(1)原式P Q R为真的解释是:000,001,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)(2)原式(P Q) R(P Q (R R)) ((P P) R)(P Q R) (P Q R) (P Q) ( P R)(P Q R) (P Q R) (P (Q Q) R) ( P (Q Q) R)(P Q R) (P Q R) (P Q R) (P Q R) ( P Q R) ( P Q R)(P Q R) (P Q R) (P Q R) ( P Q R) ( P Q R)为真的解释是101,100,111,011,001(3)原式( P (Q R)) (P ( Q R))(( P (Q R)) P) (( P (Q R)) ( Q R))( P P) (Q P R) ( P Q R) (Q R Q R)(P Q R) ( P Q R)为真的解释是:000,111(4)原式P P Q Q R P Q R为真的解释是:001,010,011,100,101,110,111故原式的主析取范式为:( P Q R) ( P Q R) ( P Q R) (P Q R) (P QR) (P Q R) (P Q R)3.(1)原式P Q P Q T主合取范式,无为假的解释。
离散数学答案第二章习题解答

习题与解答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 =•⌝∃。
离散数学第2章习题解答

2.4(1)对所有的x,存在着y,使得x y 0,在(a), (b)中为真命题,在(c),(d)中为假命题。
(2)存在着x,对所有的y,都有x y 0,在(a),(b)中为真命题,在(c),(d)中为假命题。
3)对所有x,存在着y,使得x y 1,在(a),(b)(c)中均为假命题,而在(d)中为真命题。
(F(a) yG(y)) (F(b) yG(y)) F(c) yG(y))
(F(a) (G(a) G(b) G(c)
(F(b) (G(a) G(c))
(F(c) (G(a) G(b) G(c))
(F(a) (F(b) (G(a) G(b) (c)).
显然这个演算比原来的演算麻烦多了
2.13在I下
(F( 2) G( 2)) (F(3) G(3)) F(6) G(6))
在一阶逻辑中,将命题符号化时,当引入特性谓词(如题中的F(x))之后,
全称量词后往往使用联结词→而不使用,而存在量词 后往往使用 ,而不使用→,如果用错了,会将真命题变成假命题,或者将假命题变成真命题。
2.6在解释R下各式分别化为
(1)x( x 0);
(2)x y(x y x);
(3)x y z(x y) (x z y z));
x(F(x) (G(x) H (x))
(2)令F(x):x是人,G(y):y是化,H (x) : x喜欢,命题符号化为x(F(x) y(G(y) H ( x, y)))
(3)令F(x):x是人,G(x) : x犯错误,命题符号化为
x(F(x) G(x)),
或另一种等值的形式为
x(F(x) G(x)
离散数学课后习题答案一

§1.1 命题和逻辑连接词习题1.11. 下列哪些语句是命题,在是命题的语句中,哪些是真命题,哪些是假命题,哪些命题的真值现在还不知道?(1)中国有四大发明。
(2)你喜欢计算机吗? (3)地球上海洋的面积比陆地的面积大。
(4)请回答这个问题! (5)632=+。
(6)107<+x 。
(7)园的面积等于半径的平方乘以圆周率。
(8)只有6是偶数,3才能是2的倍数。
(9)若y x =,则z y z x +=+。
(10)外星人是不存在的。
(11)2020年元旦下大雪。
(12)如果311=+,则血就不是红的。
解是真命题的有:(1)、(3)、(7)、 (9) 、(12) ;是假命题的有:(5)、 (8) ;是命题但真值现在不知道的有: (10)、 (11);不是命题的有:(2)、(4)、(6)。
2. 令p 、q 为如下简单命题:p :气温在零度以下。
q :正在下雪。
用p 、q 和逻辑联接词符号化下列复合命题。
(1)气温在零度以下且正在下雪。
(2)气温在零度以下,但不在下雪。
(3)气温不在零度以下,也不在下雪。
(4)也许在下雪,也许气温在零度以下,也许既下雪气温又在零度以下。
(5)若气温在零度以下,那一定在下雪。
(6)也许气温在零度以下,也许在下雪,但如果气温在零度以上就不下雪。
(7)气温在零度以下是下雪的充分必要条件。
解 (1)q p ∧;(2)q p ⌝∧;(3)q p ⌝∧⌝;(4)q p ∨; (5)q p →;(6))()(q p q p ⌝→⌝∧∨;(7)q p ↔。
3. 令原子命题p :你的车速超过每小时120公里,q :你接到一张超速罚款单,用p 、q 和逻辑联接词符号化下列复合命题。
(1)你的车速没有超过每小时120公里。
(2)你的车速超过了每小时120公里,但没接到超速罚款单。
(3)你的车速若超过了每小时120公里,将接到一张超速罚款单。
(4)你的车速不超过每小时120公里,就不会接到超速罚款单。
离散数学第四版课后答案(第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-2章参考答案-命题逻辑谓词逻辑

Page 49 第17题解:(1)令①P:李明学习努力;②Q:李明成绩好;③R:李明不热衷于玩扑克;(2)已知条件符号化,即①P→Q:如果李明学习努力,那么他成绩好;②R→P:如果李明不热衷于玩扑克,那么他就努力学习;(3)所求结论符号化,即①¬Q→¬R:李明成绩不好,所以李明热衷于玩扑克;(4)证明:原命题符号化为P→Q,R→P ¬Q→¬R;①P→Q P规则;②R→P P规则;③R→Q T规则①②;④Q∨¬R T规则③;⑤¬Q→¬R T规则④;(5)得证。
Page 50 第32题(2)解: P∨(¬P→(Q∨(¬Q→R)));⇔ P∨(P∨(Q∨(Q∨R)));⇔P∨Q∨R;①主合取范式为:P∨Q∨R;因为 P∨Q∨R ⇔∏M0 ⇔∑m1,2,3,4,5,6,7;②主析取范式为:∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R);Page 50 第32题(4)解: (P∧¬Q∧R)∨(¬P∧Q∧¬S);⇔ ((P∧¬Q∧R)∧(S∨¬S))∨((¬P∧Q∧¬S)∧(R∨¬R));⇔(P∧¬Q∧R∧S)∨(P∧¬Q∧R∧¬S)∨(¬P∧Q∧R∧¬S)∨(¬P∧Q∧¬R∧¬S);①主析取范式为:(¬P∧Q∧¬R∧¬S)∨(¬P∧Q∧R∧¬S)∨(P∧¬Q∧R∧¬S)∨(P∧¬Q∧R∧S) ⇔∑m4,6,10,11⇔∏M0,1,2,3,5,7,8,9,12,13,14,15;②主合取范式为:(¬P∨¬Q∨¬R∨¬S)∧(¬P∨¬Q∨¬R∨S)∧(¬P∨¬Q∨R∨¬S) ∧(¬P∨¬Q∨R∨S)∧(¬P∨Q∨¬R∨S)∧(¬P∨Q∨R∨S)∧(P∨¬Q∨¬R∨¬S) ∧(P∨¬Q∨¬R∨S)∧(P∨Q∨¬R∨¬S)∧(P∨Q∨¬R∨S)∧(P∨Q∨R∨¬S)∧(P∨Q∨R∨S);Page 50 第32题(6)解: (P→Q)→(P∨R);⇔¬(¬P∨Q)∨(P∨R);⇔(P∧¬Q)∨(P∨R);⇔(P∨R)∧(P∨¬Q∨R);⇔ ((P∨R)∨(¬Q∧Q))∧(P∨¬Q∨R);⇔(P∨¬Q∨R)∧(P∨Q∨R)∧(P∨¬Q∨R);⇔(P∨¬Q∨R)∧(P∨Q∨R);①主合取范式为:(P∨¬Q∨R)∧(P∨Q∨R);⇔∏M0,2;⇔∑m1,3,4,5,6,7;①主合取范式为:(¬P∨¬Q∨R)∧(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R)∧(P∨Q∨¬R)∧(P∨Q∨R);Page 51 第37题(2)解: P→Q P→(P∧Q)①P P规则(附加前提);②P→Q P规则;③Q T规则①,②,I;④P∧Q T规则①,③,I;⑤P→(P∧Q) CP规则;Page 51 第37题(4)解: (P∨Q)→R ⇒ (P∧Q)→R①P∧Q P规则(附加前提);②P T规则①,I;③P∨Q T规则②,I;④(P∨Q)→R P规则;⑤R T规则③,④,I;⑥(P∧Q)→R CP规则;Page 51 第38题(3)解:﹁(P→Q)→﹁(R∨S),((Q→P)∨﹁R),R ⇒ P↔Q①﹁(P↔Q) P规则(假设前提);②﹁((P→Q)∧(Q→P)) T规则①,I;③R P规则;④((Q→P)∨﹁R) P规则;⑤R→(Q→P) T规则④,I;⑥(Q→P) T规则③⑤,I;⑦R∨S T规则③,I;⑧﹁(P→Q)→﹁(R∨S) P规则;⑨(R∨S)→(P→Q) T规则⑧,I;⑩(P→Q) T规则⑦⑨,I;⑪(P→Q)∧(Q→P) T规则⑥⑩,I;⑫得证间接证明法②⑪;Page 51 第39题(1)解:(1)符号化已知命题①P:明天是晴天;②Q:明天下雨;③R:我去看电影;④S:我不看书;条件符号化:P∨Q,P→R,R→S;结论符号化:①﹁S→Q(2)证明:P∨Q,P→R,R→S ⇒﹁S→Q①P→R P规则;②R→S P规则;③P→S T规则①②;④﹁S→﹁P T规则③,I;⑤P∨Q P规则;⑥﹁P→Q T规则⑤,I;⑦﹁S→Q T规则④⑥,I;Page 51 第39题(2)解:(1)符号化已知命题①P:明天不下雨;②Q:能够买到车票;③R:我去参观计算机展览会;条件符号化:P∧Q→R;结论符号化:①﹁R→﹁P(2)证明:P∨Q,P→R,R→S ⇒﹁S→Q①P∧Q→R P规则;②﹁R P规则(附加前提);③﹁(P∧Q) T规则①②;④﹁P∨﹁Q T规则③,I;⑤也就是说或者明天下雨或者买不到票,所以原命题说不能参加计算机展览的原因只是明天下雨是不完全的,故原命题无效。
离散数学第1-2章参考答案-命题逻辑谓词逻辑

Page 49 第17题解:〔1〕令①P:李明学习努力;②Q:李明成绩好;③R:李明不热衷于玩扑克;〔2〕条件符号化,即①P→Q:假如李明学习努力,那么他成绩好;②R→P:假如李明不热衷于玩扑克,那么他就努力学习;〔3〕所求结论符号化,即①¬Q→¬R:李明成绩不好,所以李明热衷于玩扑克;〔4〕证明:原命题符号化为P→Q,R→P ¬Q→¬R;①P→Q P规那么;②R→P P规那么;③R→Q T规那么①②;④Q∨¬R T规那么③;⑤¬Q→¬R T规那么④;〔5〕得证。
Page 50 第32题〔2〕解: P∨(¬P→(Q∨(¬Q→R)));⇔ P∨(P∨(Q∨(Q∨R)));⇔P∨Q∨R;①主合取范式为:P∨Q∨R;因为 P∨Q∨R ⇔∏M0 ⇔∑m1,2,3,4,5,6,7;②主析取范式为:∨(¬P∧¬Q∧R)∨(¬P∧Q∧¬R)∨(¬P∧Q∧R)∨(P∧¬Q∧¬R)∨(P∧¬Q∧R)∨(P∧Q∧¬R)∨(P∧Q∧R);Page 50 第32题〔4〕解: (P∧¬Q∧R)∨(¬P∧Q∧¬S);⇔ ((P∧¬Q∧R)∧(S∨¬S))∨((¬P∧Q∧¬S)∧(R∨¬R));⇔(P∧¬Q∧R∧S)∨(P∧¬Q∧R∧¬S)∨(¬P∧Q∧R∧¬S)∨(¬P∧Q∧¬R∧¬S);①主析取范式为:(¬P∧Q∧¬R∧¬S)∨(¬P∧Q∧R∧¬S)∨(P∧¬Q∧R∧¬S)∨(P∧¬Q∧R∧S) ⇔∑m4,6,10,11⇔∏M0,1,2,3,5,7,8,9,12,13,14,15;②主合取范式为:(¬P∨¬Q∨¬R∨¬S)∧(¬P∨¬Q∨¬R∨S)∧(¬P∨¬Q∨R∨¬S) ∧(¬P∨¬Q∨R∨S)∧(¬P∨Q∨¬R∨S)∧(¬P∨Q∨R∨S)∧(P∨¬Q∨¬R∨¬S) ∧(P∨¬Q∨¬R∨S)∧(P∨Q∨¬R∨¬S)∧(P∨Q∨¬R∨S)∧(P∨Q∨R∨¬S)∧(P∨Q∨R∨S);Page 50 第32题〔6〕解: (P→Q)→(P∨R);⇔¬(¬P∨Q)∨(P∨R);⇔(P∧¬Q)∨(P∨R);⇔(P∨R)∧(P∨¬Q∨R);⇔ ((P∨R)∨(¬Q∧Q))∧(P∨¬Q∨R);⇔(P∨¬Q∨R)∧(P∨Q∨R)∧(P∨¬Q∨R);⇔(P∨¬Q∨R)∧(P∨Q∨R);①主合取范式为:(P∨¬Q∨R)∧(P∨Q∨R);⇔∏M0,2;⇔∑m1,3,4,5,6,7;①主合取范式为:(¬P∨¬Q∨R)∧(¬P∨Q∨R)∧(P∨¬Q∨¬R)∧(P∨¬Q∨R)∧(P∨Q∨¬R)∧(P∨Q∨R);Page 51 第37题〔2〕解: P→Q P→(P∧Q)①P P规那么〔附加前提〕;②P→Q P规那么;③Q T规那么①,②,I;④P∧Q T规那么①,③,I;⑤P→(P∧Q) CP规那么;Page 51 第37题〔4〕解: (P∨Q)→R ⇒ (P∧Q)→R①P∧Q P规那么〔附加前提〕;②P T规那么①,I;③P∨Q T规那么②,I;④(P∨Q)→R P规那么;⑤R T规那么③,④,I;⑥(P∧Q)→R CP规那么;Page 51 第38题〔3〕解:﹁(P→Q)→﹁(R∨S),((Q→P)∨﹁R),R ⇒ P↔Q①﹁(P↔Q) P规那么〔假设前提〕;②﹁((P→Q)∧(Q→P)) T规那么①,I;③R P规那么;④((Q→P)∨﹁R) P规那么;⑤R→(Q→P) T规那么④,I;⑥(Q→P) T规那么③⑤,I;⑦R∨S T规那么③,I;⑧﹁(P→Q)→﹁(R∨S) P规那么;⑨(R∨S)→(P→Q) T规那么⑧,I;⑩(P→Q) T规那么⑦⑨,I;⑪(P→Q)∧(Q→P) T规那么⑥⑩,I;⑫得证间接证明法②⑪;Page 51 第39题〔1〕解:〔1〕符号化命题①P:明天是晴天;②Q:明天下雨;③R:我去看电影;④S:我不看书;条件符号化:P∨Q,P→R,R→S;结论符号化:①﹁S→Q〔2〕证明:P∨Q,P→R,R→S ⇒﹁S→Q①P→R P规那么;②R→S P规那么;③P→S T规那么①②;④﹁S→﹁P T规那么③,I;⑤P∨Q P规那么;⑥﹁P→Q T规那么⑤,I;⑦﹁S→Q T规那么④⑥,I;Page 51 第39题〔2〕解:〔1〕符号化命题①P:明天不下雨;②Q:可以买到车票;③R:我去参观计算机展览会;条件符号化:P∧Q→R;结论符号化:①﹁R→﹁P〔2〕证明:P∨Q,P→R,R→S ⇒﹁S→Q①P∧Q→R P规那么;②﹁R P规那么〔附加前提〕;③﹁(P∧Q) T规那么①②;④﹁P∨﹁Q T规那么③,I;⑤也就是说或者明天下雨或者买不到票,所以原命题说不能参加计算机展览的原因只是明天下雨是不完全的,故原命题无效。
离散数学答案版(全)

第一章命题逻辑内容:命题及命题联结词、命题公式的基本概念,真值表、基本等价式及永真蕴涵式,命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。
教学目的: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/60f6b199cd22bcd126fff705cc17552707225e63.png)
[离散数学课后习题答案]离散数学课后习题答案(第一章)篇一: 离散数学课后习题答案1-1,1-2指出下列哪些语句是命题,那些不是命题,如果是命题,指出它的真值。
离散数学是计算机科学系的一门必修课。
是命题,真值为T。
b)计算机有空吗?不是命题。
c)明天我去看电影。
是命题,真值要根据具体情况确定。
d)请勿随地吐痰。
不是命题。
e)不存在最大的质数。
是命题,真值为T。
f)如果我掌握了英语,法语,那么学习其他欧洲语言就容易多了。
是命题,真值为T。
g)9+5≤12.是命题,真值为F。
h)X=3.不是命题。
i)我们要努力学习。
不是命题。
举例说明原子命题和复合命题。
原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
设P表示命题“天下雪。
”Q表示“我将去镇上。
”R表示命题“我有时间。
”以符号形式写出下列命题a)如果天不下雪和我有时间,那么我将去镇上。
b)我将去镇上,仅当我有时间时。
c)天不下雪。
d)天下雪,那么我不去镇上。
用汉语写出一些句子,对应下列每一个命题。
a)Q?Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q?:我将去参加舞会当且仅当我有时间和天不下雨。
→QQ→R ┓PP→┓Qb)R∧QR:我在看电视。
[)Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c)∧Q:一个数是奇数。
R:一个数不能被2除。
∧:一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
将下列命题符号化。
a)王强身体很好,成绩也很好。
设P:王强身体很好。
Q:王强成绩很好。
P∧Qb)小李一边看书,一边听音乐。
设P:小李看书。
Q:小李听音乐。
P∧Qc)气候很好或很热。
设P:气候很好。
Q:气候很热。
P∨Qd)如果a和b是偶数,则a+b是偶数。
设P:a和b是偶数。
Q:a+b是偶数。
P→Qe)四边形ABCD是平行四边形,当且仅当它的对边平行。
设P:四边形ABCD是平行四边形。
Q:四边形ABCD的对边平行。
P?Qf)停机的原因在于语法错误或程序错误。
离散数学第四版课后标准答案

离散数学第四版课后答案第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(10)p:小李在宿舍里. p的真值则具体情况而定,是确定的。
离散数学课后习题答案

离散数学课后习题答案离散数学课后习题答案离散数学是计算机科学中的一门重要课程,它涵盖了诸多数学概念与技巧,为计算机科学的理论基础打下了坚实的基础。
在学习离散数学的过程中,课后习题是巩固知识、提高能力的重要途径。
然而,有时候我们会遇到一些难以解答的问题,需要参考一些答案来进行思考与学习。
本文将为大家提供一些离散数学课后习题的答案,希望能对大家的学习有所帮助。
一、集合论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和B,有(A-B)∪(B-A)=(A∪B)-(A∩B)。
答案:首先,对于任意元素x,如果x属于(A-B)∪(B-A),那么x属于A-B或者x属于B-A。
如果x属于A-B,那么x属于A∪B,但x不属于A∩B;如果x属于B-A,同样有x属于A∪B,但x不属于A∩B。
所以(A-B)∪(B-A)属于(A∪B)-(A∩B)。
另一方面,对于任意元素x,如果x属于(A∪B)-(A∩B),那么x属于A∪B,但x不属于A∩B。
所以x属于A或者x属于B。
如果x属于A,但x不属于B,那么x属于A-B;如果x属于B,但x不属于A,那么x属于B-A。
所以x属于(A-B)∪(B-A)。
所以(A∪B)-(A∩B)属于(A-B)∪(B-A)。
综上所述,(A-B)∪(B-A)=(A∪B)-(A∩B)。
证毕。
二、逻辑与证明1. 证明:如果p为真命题,那么¬p为假命题。
答案:根据命题的定义,命题要么为真,要么为假,不存在其他情况。
所以如果p为真命题,那么¬p为假命题。
2. 证明:对于任意整数n,如果n^2为偶数,则n为偶数。
答案:假设n为奇数,即n=2k+1(k为整数)。
那么n^2=(2k+1)^2=4k^2+4k+1=2(2k^2+2k)+1。
根据偶数的定义,2(2k^2+2k)为偶数,所以n^2为奇数。
离散数学习题答案1-2-6-7-8-9章-2009-12-17

习题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 。
离散数学答案_1-5章

第一章部分课后习题参考答案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所以公式类型为永真式等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(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 ⑤⑥拒取式证明(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)中为真命题。
离散数学习题解答(第四版)清华大学出版社

6
q
(同一律)
到最后一步已将公式化得很简单。由此可知,无论 p 取 0 或 1 值,只要 q 取 0 值,原公式取值为 1,即 00 或 10 都为原公式的成真赋值,而 01,11 为成假赋 值,于是公式为非重言式的可满足式。 用主析取范式判断公式的类型也是万能的。A 为重言式当且仅当 A 的主析取 范式含 2 n ( n 为 A 中所含命题变项的个数)个极小项;A 为矛盾式当且仅当 A 的 主析取范式中不含任何极小项,记它的主析取范式为 0;A 为非重言式的可满足 式当且仅当 A 的主析取范式中含极小项,但不是完全的。 当命题变项较多时,用主析取范式法判公式的类型,运算量是很大的。 用主合取范式判断公式的类型也是万能的。A 为重言式当且仅当 A 的主合取 范式中不含任何极大项,此时记 A 的主合取范式为 1;A 为矛盾式当且仅当 A 的 主合取范式含 2 n 个极大项( n 为 A 中含的命题变项的个数) ;A 为非重言式的可 满足式当且仅当 A 的主析取范式中含含极大项,但不是全部的。 1.8 (1)从左边开始演算
pqr
p ( p q r)
0 1 1 1 1 1 1 1
1 1 1 1 1 1 1 1
p ( p q r)
p ( p p r ) ( p p ) p r 1 q r
1
(蕴含等值式) (结合律) (排中律) (零律)
4
由最后一步可知, (1)为重言式。 (2)用等值演算法判(2)为重言式。
1 等值;A 为矛盾式当且仅当 A 与 0 等值,当 A 为非重言式的可满足式时,经过 等值演算可将 A 化简,然后用观察法找到一个成真赋值,再找到一个成假赋值, 就可判断 A 为非重言式的可满足式了。 例如, 对 (6) 用等值演算判断它的类型。
离散数学课后习题答案二

离散数学课后习题答案二习题3.71. 列出关系}6|{=∈><+d c b a d c b a d c b a 且,,,,,,Z 中所有有序4元组。
解}6|{=∈><+d c b a d c b a d c b a 且,,,,,,Z,2,1,3,1,3,1,2,1,2,3,1,1,3,2,1,1,1,1,1,6,1,1,6,1,1,6,1,1,6,1,1,1{><><><><><><><><=><><><><><><><><2,1,1,3,3,1,1,2,1,2,1,3,1,3,1,2,1,1,2,3, 1,1,3,2,1,2,3,1,1,3,2,12. 列出二维表3.18所表示的多元关系中所有5元组。
假设不增加新的5元组,找出二维表3.18所有的主键码。
表3.18 航班信息航空公司航班登机口目的地起飞时间Nadir 112 34 底特律08:10 Acme 221 22 丹佛 08:17 Acme 122 33 安克雷奇 08:22 Acme 323 34 檀香山 08:30 Nadir 199 13 底特律 08:47 Acme 222 22 丹佛09:10 Nadir 32234底特律09:44解略3. 当施用投影运算5,3,2π到有序5元组><="">解略4. 哪个投影运算用于除去一个6元组的第一、第二和第四个分量?解略5. 给出分别施用投影运算4,2,1π和选择运算Nadir 航空公司=σ到二维表3.18以后得到的表。
解对航班信息二维表进行投影运算5,3,2π后得到的二维表航班登机口起飞时间 112 34 08:10 221 22 08:17 122 33 08:22 323 34 08:30 199 13 08:47 222 22 09:10 3223409:44对航班信息二维表进行选择运算Nadir 航空公司=后得到的二维表航空公司航班登机口目的地起飞时间Nadir 112 34 底特律08:10 Nadir 199 13 底特律 08:47 Nadir 32234底特律09:446. 把连接运算3J 用到5元组二维表和8元组二维表后所得二维表中有序多元组有多少个分量?解略7. 构造把连接运算2J 用到二维表3.19和二维表3.20所得到的二维表。
离散数学屈婉玲课后习题答案

离散数学屈婉玲课后习题答案【篇一:离散数学第四版课后答案】xt>第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章习题答案

<><><>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)我去新华书店,仅当我有时间。