第一章离散数学练习参考答案
离散数学第一章命题逻辑习题答案
习题一
1.
利用逻辑联结词把下列命题翻译成符号逻辑形式: (7)不识庐山真面目,只缘生在此山中。 令P:身在此山中; Q:识庐山真面目;译为P ~ Q (8)两个三角形相似当且仅当它们对应角相等或者对应边 成比例。 令P:两个三角形相似; Q:对应角相等; R:对应边成比例;译为 P (Q R) (9)如果一个整数能被6整除,那么它就能被2和3整除。 如果一个整数能被3整除,那么它的各位数字之和也能 被3整除。 令P:被6整除; Q:被2整除; R:被3整除; S:各位数字之和被3整 除。译为(P (Q R)) (R S)
习题一 14.
• 从A、B、C、D4人中派2人出差,要求满足下述条件:如 果A去,则必须在C或D中选一人同去;B和C不能同时去; C和D不能同去。用构造范式的方法决定出选派方案。 若X表示“X去出差”, 可得公式 (A (C D)) ~(B C) ~(C D) (~A (C ~D) (~C D) ) (~B ~C ) (~C ~D ) …… (~A ~B ~C ~D) (~A ~B ~C D) (~A ~B C ~D) (~A B ~C ~D) (A ~B ~C D) (A ~B C ~D) (~A B ~C D) (A B ~C D) 可得派法: {B, D} {A, C} {A, D}
第一章测试题答案
离散数学第一章测验一、下列那些是命题?是命题的指出其真值。
1.√5是无理数。
2.3是素数或4是素数。
3.2x+3<5。
4.你去图书馆吗?5.刘红与魏新是同学。
6.吸烟请到吸烟室去!7.2015年元旦下大雪。
8.只有6是偶数,3才能是2的倍数。
9.8是偶数的充分必要条件是8能被3整除。
10.圆的面积等于半径的平方乘以π。
二、将下列命题符号化。
1.只要你学习了,你考试就能及格。
P : 你学习Q : 你考试及格2.只有天下雨了,我才不去上街。
P : 天下雨Q : 我不去上街3.实函数f(x)可微当且仅当f(x)连续。
P : 实函数f(x)可微Q : f(x)连续4.除非你努力,否则你就会失败。
P : 你努力Q : 你失败5.若不是他生病或出差了,我是不会同意他不参加学习的。
P : 他生病Q : 他出差R : 我同意他不参加学习三、下列那些是重言式,哪些是矛盾是,哪些是偶然式,哪些是可满足式。
1.P∨(¬P∧Q)2.¬(P∨Q)↔(¬P∧¬Q)3.¬P∨Q→Q4.(P∧¬(Q→P))∧(Q∧R)5.(P∧Q↔P)↔(P↔Q)6.(P∧(P→Q))→Q7.¬(P→Q)∧Q8.P∧(Q∨¬R)四、不用真值表证明下列等价式并写出对偶式。
1.(P∧Q)∨¬(¬P∨Q)⇔P2.(P→Q)∧(Q→P)⇔(P∧Q)∨(¬P∧¬Q)3.P→(Q→R)⇔Q→(P→R)五、不用真值表证明下列蕴含式。
1.P→Q⇒P→(P∧Q)2.((P∨¬P)→Q)→((P∨¬P)→R)⇒Q→R3.(Q→(P∧¬P))→(R→(P∧¬P))⇒R→Q六、求下列式子的主析取范式和主合取范式。
1.(P∨Q)∧R2.P→(P∨Q∨R)3.¬(Q→¬P)∧¬P七、某单位要从张、王、马三名同志中选派一部分人外出培训,但是由于部门工作需要,必须满足以下条件:(1) 若张去,马也去。
离散数学第2版课后习题答案
离散数学第2版课后习题答案离散数学是计算机科学和数学领域中一门重要的学科,它研究离散对象及其关系、结构和运算方法。
离散数学的应用非常广泛,包括计算机科学、信息科学、密码学、人工智能等领域。
而离散数学第2版是一本经典的教材,它系统地介绍了离散数学的基本概念、原理和方法。
本文将为读者提供离散数学第2版课后习题的答案,帮助读者更好地理解和掌握离散数学的知识。
第一章:基本概念和原理1.1 命题逻辑习题1:命题逻辑的基本符号有哪些?它们的含义是什么?答:命题逻辑的基本符号包括命题变量、命题联结词和括号。
命题变量用字母表示,代表一个命题。
命题联结词包括否定、合取、析取、条件和双条件等,分别表示“非”、“与”、“或”、“如果...则...”和“当且仅当”。
括号用于改变命题联结词的优先级。
习题2:列举命题逻辑的基本定律。
答:命题逻辑的基本定律包括德摩根定律、分配律、结合律、交换律、吸收律和否定律等。
1.2 集合论习题1:什么是集合?集合的基本运算有哪些?答:集合是由一些确定的对象组成的整体,这些对象称为集合的元素。
集合的基本运算包括并、交、差和补等。
习题2:列举集合的基本定律。
答:集合的基本定律包括幂等律、交换律、结合律、分配律、吸收律和德摩根定律等。
第二章:数理逻辑2.1 命题逻辑的推理习题1:什么是命题逻辑的推理规则?列举几个常用的推理规则。
答:命题逻辑的推理规则是用来推导命题的逻辑规则。
常用的推理规则包括假言推理、拒取推理、假言三段论和析取三段论等。
习题2:使用推理规则证明以下命题:如果A成立,则B成立;B不成立,则A不成立。
答:假言推理规则可以用来证明该命题。
根据假言推理规则,如果A成立,则B成立。
又根据假言推理规则,如果B不成立,则A不成立。
2.2 谓词逻辑习题1:什么是谓词逻辑?它与命题逻辑有何区别?答:谓词逻辑是一种扩展了命题逻辑的逻辑系统,它引入了谓词和量词。
与命题逻辑不同,谓词逻辑可以对个体进行量化和描述。
《离散的数学结构》课后习题答案
离散数学辅助教材概念分析结构思想与推理证明第一部分集合论刘国荣交大电信学院计算机系离散数学习题解答习题一(第一章集合)1. 列出下述集合的全部元素:1)A={x | x ∈N∧x是偶数∧x<15}2)B={x|x∈N∧4+x=3}3)C={x|x是十进制的数字}[解] 1)A={2,4,6,8,10,12,14}2)B=∅3)C={0,1,2,3,4,5,6,7,8,9}2. 用谓词法表示下列集合:1){奇整数集合}2){小于7的非负整数集合}3){3,5,7,11,13,17,19,23,29}[解] 1){n n∈I∧(∃m∈I)(n=2m+1)};2){n n∈I∧n≥0∧n<7};3){p p∈N∧p>2∧p<30∧⌝(∃d∈N)(d≠1∧d≠p∧(∃k∈N)(p=k⋅d))}。
3. 确定下列各命题的真假性:1)∅⊆∅2)∅∈∅3)∅⊆{∅}4)∅∈{∅}5){a,b}⊆{a,b,c,{a,b,c}}6){a,b}∈(a,b,c,{a,b,c})7){a,b}⊆{a,b,{{a,b,}}}8){a,b}∈{a,b,{{a,b,}}}[解]1)真。
因为空集是任意集合的子集;2)假。
因为空集不含任何元素;3)真。
因为空集是任意集合的子集;4)真。
因为∅是集合{∅}的元素;5)真。
因为{a,b}是集合{a,b,c,{a,b,c}}的子集;6)假。
因为{a,b}不是集合{a,b,c,{a,b,c}}的元素;7)真。
因为{a,b}是集合{a,b,{{a,b}}}的子集;8)假。
因为{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。
[解] 1)假。
例如A={a},B={a,b},C={{a},{b}},从而A∈B∧B∈C但A∈C。
离散数学第1,2章习题答案
第一章习题1.下列哪些语句是命题?(1) 黄山是在安徽省。
(2) 你会做这道题目吗?(3) 月球比地球大。
(4) 请关上窗户!(5) 如果1+2=5,我就去游泳。
(6) 只有6是偶数,3才能被2整除。
解:(1),(3) ,(5) ,(6) 是命题,(2),(4)分别是疑问句和命令句,它们不是命题。
2.给出下面命题的否定命题。
(1) 上海是一座城市。
解:该句的否定命题为:上海不是一座城市。
(2) 1+2=5并且2×3=6。
解:该句的否定命题为:1+2≠5或2×3≠6。
(3) 2是素数或3是偶数。
解:该句的否定命题为:2不是素数并且3不是偶数。
3.将下列命题符号化。
(1) 灯泡有故障或开关有故障。
解:P表示:灯泡有故障,Q表示:开关有故障,命题符号化为:P∨Q(2) 今天下大雨和3+3=6。
解:P表示:今天下大雨,Q表示:3+3=6,命题符号化为:P∧Q(3) 虽然天气炎热,老师坚持给我们上课。
解:P表示:天气炎热,Q表示:老师坚持给我们上课,命题符号化为:P∧Q(4) 他一边走路,一边看书。
解:P表示:他走路,Q表示:他看书,命题符号化为:P∧Q(5) 如果天下大雨,他就乘公共汽车上班。
解:P表示:天下大雨,Q表示:他乘公共汽车上班,命题符号化为:P→Q(6) 只有天下大雨,他才乘公共汽车上班。
解:P表示:天下大雨,Q表示:他乘公共汽车上班,命题符号化为:Q→P(7) 2+2=4当且仅当雪是白色的。
解:P表示:2+2=4,Q表示:雪是白色的,命题符号化为:P↔Q4.判断下列各蕴涵式是真是假。
(1) 若一周有八天,则3+2=5。
解:P表示:一周有八天,Q表示:3+2=5,命题符号化为:P→Q由于P为假,Q为真,P→Q为真,故该命题为真命题。
(2) 若一周有七天,则3+2≠5。
解:P表示:一周有七天,Q表示:3+2≠5,命题符号化为:P→Q由于P为真,Q为假,P→Q为假,故该命题为假命题。
离散数学第一学期习题及答案
第一章部分习题及参考答案1 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)(2)(p↔r)∧(﹁q∨s)(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r)(4)(⌝r∧s)→(p∧⌝q)2.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”3.用真值表判断下列公式的类型:(1)(p→q) →(⌝q→⌝p)(2)(p∧r) ↔(⌝p∧⌝q)(3)((p→q) ∧(q→r)) →(p→r)4.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)5.用等值演算法证明下面等值式:(1)(p→q)∧(p→r)⇔(p→(q∧r))(2)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)6.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)7.在自然推理系统P中构造下面推理的证明:(1)前提:p→q,⌝(q∧r),r结论:⌝p(2)前提:q→p,q↔s,s↔t,t∧r结论:p∧q8.在自然推理系统P中用附加前提法证明下面推理:前提:p→(q→r),s→p,q结论:s→r9.在自然推理系统P中用归谬法证明下面各推理:前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p参考答案: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⇔12.p: π是无理数 1q: 3是无理数0r: 2是无理数 1s: 6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
离散数学习题一,二参考答案
《离散数学》习题一参考答案第一节 集合的基数1.证明两个可数集的并是可数集。
证明:设A ,B 是两可数集,},,,,,{321 n a a a a A =,},,,,,{321 n b b b b B = ⎪⎩⎪⎨⎧-→j b i a N B A f j i 212: ,f 是一一对应关系,所以|A ∪B|=|N|=0ℵ。
2.证明有限可数集的并是可数集证:设k A A A A 321,,是有限个可数集,k i a a a a A in i i i i ,,3,2,1),,,,,(321 ==⎪⎩⎪⎨⎧+-→==i k j a N A A f ij k i i )1(:1,f 是一一对应关系,所以|A|=| k i i A 1=|=|N|=0ℵ。
3.证明可数个可数集的并是可数集。
证:设 k A A A A 321,,是无限个可数集, ,3,2,1),,,,,(321==i a a a a A in i i i i⎪⎪⎩⎪⎪⎨⎧+-+-+→=∞=i j i j i a N A A f ij i i )2)(1(21:1 , 所以f 是一一对应关系,所以|A|=| ∞=1i i A |=|N|=0ℵ。
4.证明整系数多项式所构成的集合是可数集。
证明:设整系数n 次多项式的全体记为}|{1110Z a a x a x a x a A i n n n n n ∈++++=--则整系数多项式所构成的集合 ∞==1N n A A ;由于k x 的系数k a 是整数,那么所有k x 的系数的全体所构成的集合是可数集,由习题2“有限个可数集的并是可数集”可得n A 是可数集,再又习题4“可数个可数集的并是可数集”得出整系数多项式所构成的集合 ∞==1N n A A 也是可数集。
5.证明不存在与自己的真子集等势的有限集合.证明:设集合A 是有限集,则|A|=n ,若B 是A 的真子集,则|B|≤|A|=n ,A-B ≠φ,即|A-B|=|A|-|AB|>0;又A=(A-B )∪B ,(A-B )B=φ,所以,,就是|A|>|B|,即得结论。
离散数学第一章命题逻辑习题答案
习题一 5.证明下列各等价式
(4)(P Q) (Q R) (R P) (P Q) (Q R) (R P) 证明 : (P Q) (Q R) (R P) (Q (P R) ) (R P) (分配律) (Q (R P) ) (P R (R P) ) (Q R) (P Q) (R P) (分配律、吸 收律、交换律)
P1 P4 ~ P1
~P4
~P4 ~P3
~P3
P2
P2 P3 P2 J
J
习题一 23(3) 利用消解法证明蕴含式:
P (Q R), Q (R S) P (Q S) 证明: 首先把结论否定加入前提得公式集: P (Q R), Q (R S), ~(P (Q S)) 构造子句集:{~P ~Q R, ~Q ~R S, P, Q, ~S} 消解过程如下: (1) P 引入子句 (2) ~P ~Q R 引入子句 (3) ~Q R 由(1)(2)消解 (4) Q 引入子句 (5) R 由(3)(4)消解 (6) ~Q ~R S 引入子句 (7) ~Q S 由(5)(6)消解 (8) ~S 引入子句 (9) ~Q 由(7)(8)消解 (10) 由(9)(4)消解
P (R (Q P)) 1 1 1 1 0 1
1 1 0
0
0
1
1 1 1 1 解法一 (真值表法) 由对应于公式取值为0的全部解释得主合取范式: (~P Q R) (~P ~ Q R) 由对应于公式取值为1的全部解释得主析取范式:
(~P ~ Q ~ R) (~P ~ Q R) (~P Q ~ R) (~P Q R) (P ~ Q R) (P Q R)
离散数学第1章习题答案
#include<stdio.h>#include<stdlib.h>#include<malloc.h>#define MAX_STACK_SIZE 100typedef int ElemType;typedef struct{ElemType data[MAX_STACK_SIZE];int top;} Stack;void InitStack(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);N=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-4章习题答案new
离散数学习题解答第一章命题逻辑习题1.1(P2)1 、a. 是命题b. 是命题c.是命题d .是命题e .是命题f .不是命题疑问句2 、a. A: 我是大学生。
b. B: 你是我的玫瑰花。
c. P: 明天是个艳阳天。
d. Q: 3+2>8。
e.R: 我喜欢离散数学这门课。
f.不是命题。
3、解:三个真命题如:8是偶数;2+8>5;太阳从东边升起;三个假命题如:3+2>8;雪是黑色的;太阳从西边升起;三个非命题如:请勿抽烟!; 春天多美好; 我正在说慌;习题 1.2(P5)1、 a. 复合命题设P :李子是酸的。
Q:李子是甜的。
则命题可表示为P∧Q。
b 简单命题设P: 张一和陈一是好朋友。
2、设P: 天下雨。
Q: 我不去游泳。
R: 我有时间。
a. P→Q。
b. P∧⌝R。
c.⌝Q↔R。
3、 a. 设P: 6是偶数。
Q: 8是奇数。
否定命题表示为:⌝P∨⌝Q。
b. 设P:北京的春天会刮沙尘暴。
否定命题表示为:⌝P 。
4、 a. 设P:王燕学过英语。
Q:王燕学过法语。
命题表示为: (⌝P∧Q)∨(P∧⌝Q) QP⊕。
b. 设P:王成在教室看书。
Q:王成在图书馆看书。
命题表示为: (⌝P∧Q)∨(P∧⌝Q)。
5、(⌝P∧Q)∨(P∧⌝Q)。
习题 1.3(P9)1、 a. 不是命题公式。
b.是命题公式。
c. 不是命题公式。
d. 是命题公式。
2、 a.b.c.3、 a.由表可知命题公式P∨P的真值均为真,所以此公式为重言式。
b.由表可知命题公式P∧c.由表可知命题公式P→(P∨Q)的真值均为真,所以此公式为重言式。
d.由表可知命题公式P→P)的真值均为真,所以此公式为重言式。
e.4 、5、从上述真值表可看出合取和析取是可结合的,条件和双条件不是可结合的。
习题1.4 (P13)⌝(⌝P)⇔P→P1、 a. P→⇔⌝P∨P⇔1 因为公式与1等价,所以此公式是重言式。
b.⌝(P∧Q)↔(⌝P∨⌝Q)⇔(⌝(P∧Q)→(⌝P∨⌝Q))∧((⌝P∨⌝Q)→⌝(P∧Q))⇔((P∧Q)∨⌝(P∧Q))∧((P∧Q)∨⌝(P∧Q))⇔1∧1⇔1 因为公式与1等价,所以此公式是重言式。
第一章离散数学练习参考答案..
4.求与公式((x1x2)x3)x4等价的主析取范式 或主合取范式。
((x1x2)x3)x4 (( x1 x2) x3) x4 ( ( x1 x2) x3) x4 ( x1 x2 x4) ( x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4)
P P T(1)(2);I P T(3)(4);I
T(9)(10);I T(11);E
6. 将前提和结论符号化,并证明相应的结论是有效的。
前提:若我学习,则考试不会失败; 若我不踢球,那我将学习; 我考试失败了。
结论:我踢了球。
设:P: 我学习 Q:我考试失败 R:我踢球 则:PQ , RP, Q R
(1) PQ (2) Q (3) P (4) RP (5) R
P T(1);E P T(2)(3);I T(4);E P T(5)(6);I T(7);E
(PQ)R,RS,S PQ
(1) S (2) RS (3) R (4) (PQ)R (5) (PQ) (6) PQ
P P T(1)(2);I P T(3)(4);I T(5);E
P(QR),QS,(LM) S,Q P QL
(x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4)
5. 证明结论是前提的有效结论 (课后练习P46 T27)
PQ,PR,QS SR
(1) PQ (2) PQ (3) QS (4) PS (5) S P (6) PR (7) S R (8) SR
第一章离散数学练习参考答案离散数学第一章离散数学课后习题答案离散数学答案离散数学左孝凌答案离散数学及其应用答案离散数学第五版答案离散数学答案屈婉玲离散数学课后答案离散数学贾振华答案
离散数学第1章答案
习题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 = 13、(1)原式 <=> F→Q <=> T 原式为永真式(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∨R⇔⌝Q∨⌝R∨⌝Q∨R⇔⌝Q∨T⇔T故((P∨⌝P) →Q)∧((P∨⌝P)→R)⇒Q→R(6)左⇔(Q→F)∧(R→F)⇔(⌝Q∨F)∧(⌝R∨F)⇔⌝Q∧⌝R⇒⌝R⇒⌝R∨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∨P⇔Q∨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∨⌝S⇔⌝P∨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∧⌝Q∧R)∨(P∧Q∧⌝R)∨(P∧Q∧R)3.(1)原式⇔⌝P∨Q∨⌝P∨⌝Q⇔T主合取范式,无为假的解释。
离散数学答案版(全)
第一章命题逻辑内容:命题及命题联结词、命题公式的基本概念,真值表、基本等价式及永真蕴涵式,命题演算的推理理论中常用的直接证明、条件证明、反证法等证明方法。
教学目的: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)所得到的包括命题变元、联结词和括号的符号串是公式。
离散数学课后习题答案(第一章)
1-1,1-2(1)指出下列哪些语句是命题,那些不是命题,如果是命题,指出它的真值。
a)离散数学是计算机科学系的一门必修课。
是命题,真值为T。
b)计算机有空吗?不是命题。
c)明天我去看电影。
是命题,真值要根据具体情况确定。
d)请勿随地吐痰。
不是命题。
e)不存在最大的质数。
是命题,真值为T。
f)如果我掌握了英语,法语,那么学习其他欧洲语言就容易多了。
是命题,真值为T。
g)9+5≤12.是命题,真值为F。
h)X=3.不是命题。
i)我们要努力学习。
不是命题。
(2)举例说明原子命题和复合命题。
原子命题:我爱北京天安门。
复合命题:如果不是练健美操,我就出外旅游拉。
(3)设P 表示命题“天下雪。
”Q 表示“我将去镇上。
”R 表示命题“我有时间。
”以符号形式写出下列命题a)如果天不下雪和我有时间,那么我将去镇上。
(┓P ∧R)→Q b)我将去镇上,仅当我有时间时。
Q→R c)天不下雪。
┓P d)天下雪,那么我不去镇上。
P→┓Q(4)用汉语写出一些句子,对应下列每一个命题。
a)()Q R P ∧¬�Q:我将去参加舞会。
R:我有时间。
P:天下雨。
Q ↔(R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。
b)R Q∧R:我在看电视。
Q:我在吃苹果。
R∧Q:我在看电视边吃苹果。
c)()()Q R R Q →∧→Q:一个数是奇数。
R:一个数不能被2除。
(Q→R)∧(R→Q):一个数是奇数,则它不能被2整除并且一个数不能被2整除,则它是奇数。
(5)将下列命题符号化。
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 是平行四边形,当且仅当它的对边平行。
(完整版)哈工大《离散数学》教科书习题答案
教材习题解答第一章 集合及其运算8P 习题3. 写出方程2210x x ++=的根所构成的集合。
解:2210x x ++=的根为1x =-,故所求集合为{1}- 4.下列命题中哪些是真的,哪些为假a)对每个集A ,A φ∈;b)对每个集A ,A φ⊆; c)对每个集A ,{}A A ∈;d)对每个集A ,A A ∈; e)对每个集A ,A A ⊆;f)对每个集A ,{}A A ⊆; g)对每个集A ,2A A ∈;h)对每个集A ,2A A ⊆; i)对每个集A ,{}2A A ⊆;j)对每个集A ,{}2A A ∈; k)对每个集A ,2A φ∈;l)对每个集A ,2A φ⊆; m)对每个集A ,{}A A =;n){}φφ=;o){}φ中没有任何元素;p)若A B ⊆,则22A B ⊆q)对任何集A ,{|}A x x A =∈;r)对任何集A ,{|}{|}x x A y y A ∈=∈; s)对任何集A ,{|}y A y x x A ∈⇔∈∈;t)对任何集A ,{|}{|}x x A A A A ∈≠∈; 答案:假真真假真假真假真假真真假假假真真真真真 5.设有n 个集合12,,,n A A A 且121n A A A A ⊆⊆⊆⊆,试证: 12n A A A ===证明:由1241n A A A A A ⊆⊆⊆⊆⊆,可得12A A ⊆且21A A ⊆,故12A A =。
同理可得:134n A A A A ====因此123n A A A A ====6.设{,{}}S φφ=,试求2S ?解:2{,{},{{}},{,{}}}S φφφφφ=7.设S 恰有n 个元素,证明2S 有2n 个元素。
证明:(1)当n =0时,0,2{},212S S S φφ====,命题成立。
(2)假设当(0,)n k k k N =≥∈时命题成立,即22S k =(S k =时)。
那么对于1S ∀(11S k =+),12S 中的元素可分为两类,一类为不包含1S 中某一元素x 的集合,另一类为包含x 的集合。
离散数学第1章习题解答
习题 1.11. 下列句子中,哪些是命题?哪些不是命题?如果是命题,指出它的真值。
⑴ 中国有四大发明。
⑵ 计算机有空吗?⑶ 不存在最大素数。
⑷ 21+3 < 5。
⑸ 老王是山东人或河北人。
⑹ 2 与 3 都是偶数。
⑺ 小李在宿舍里。
⑻ 这朵玫瑰花多美丽呀!⑼ 请勿随地吐痰!⑽ 圆的面积等于半径的平方乘以p。
⑾只有 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章习题解答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)设: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”是命题。
【免费下载】离散数学第1章习题答案
对全部高中资料试卷电气设备,在安装过程中以及安装结束后进行高中资料试卷调整试验;通电检查所有设备高中资料电试力卷保相护互装作置用调与试相技互术关,系电,力根通保据过护生管高产线中工敷资艺设料高技试中术卷资,配料不置试仅技卷可术要以是求解指,决机对吊组电顶在气层进设配行备置继进不电行规保空范护载高与中带资负料荷试下卷高问总中题体资,配料而置试且时卷可,调保需控障要试各在验类最;管大对路限设习度备题内进到来行位确调。保整在机使管组其路高在敷中正设资常过料工程试况中卷下,安与要全过加,度强并工看且作护尽下关可都于能可管地以路缩正高小常中故工资障作料高;试中对卷资于连料继接试电管卷保口破护处坏进理范行高围整中,核资或对料者定试对值卷某,弯些审扁异核度常与固高校定中对盒资图位料纸置试,.卷保编工护写况层复进防杂行腐设自跨备动接与处地装理线置,弯高尤曲中其半资要径料避标试免高卷错等调误,试高要方中求案资技,料术编试交写5、卷底重电保。要气护管设设装线备备置敷4高、调动设中电试作技资气高,术料课中并3中试、件资且包卷管中料拒含试路调试绝线验敷试卷动槽方设技作、案技术,管以术来架及避等系免多统不项启必方动要式方高,案中为;资解对料决整试高套卷中启突语动然文过停电程机气中。课高因件中此中资,管料电壁试力薄卷高、电中接气资口设料不备试严进卷等行保问调护题试装,工置合作调理并试利且技用进术管行,线过要敷关求设运电技行力术高保。中护线资装缆料置敷试做设卷到原技准则术确:指灵在导活分。。线对对盒于于处调差,试动当过保不程护同中装电高置压中高回资中路料资交试料叉卷试时技卷,术调应问试采题技用,术金作是属为指隔调发板试电进人机行员一隔,变开需压处要器理在组;事在同前发一掌生线握内槽图部内纸故,资障强料时电、,回设需路备要须制进同造行时厂外切家部断出电习具源题高高电中中源资资,料料线试试缆卷卷敷试切设验除完报从毕告而,与采要相用进关高行技中检术资查资料和料试检,卷测并主处且要理了保。解护现装场置设。备高中资料试卷布置情况与有关高中资料试卷电气系统接线等情况,然后根据规范与规程规定,制定设备调试高中资料试卷方案。
离散数学答案(尹宝林版)第一章习题解答
离散数学答案(尹宝林版)第一章习题解答第一章命题逻辑习题与解答⒈ 判断下列语句是否为命题,并讨论命题的真值。
⑴ 2x ? 3 = 0。
⑵ 前进!⑶ 如果8 + 7 > 20,则三角形有四条边。
⑷ 请勿吸烟!⑸ 你喜欢鲁迅的作品吗?⑹ 如果太阳从西方升起,你就可以长生不老。
⑺ 如果太阳从东方升起,你就可以长生不老。
解⑶,⑹,⑺表达命题,其中⑶,⑹表达真命题,⑺表达假命题。
⒉ 将下列命题符号化:⑴ 逻辑不是枯燥无味的。
⑵ 我看见的既不是小张也不是老李。
⑶ 他生于1963年或1964年。
⑷ 只有不怕困难,才能战胜困难。
⑸ 只要上街,我就去书店。
⑹ 如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐。
⑺ 如果林芳在家里,那么他不是在做作业就是在看电视。
⑻ 三角形三条边相等是三个角相等的充分条件。
⑼ 我进城的必要条件是我有时间。
⑽ 他唱歌的充分必要条件是心情愉快。
⑾ 小王总是在图书馆看书,除非他病了或者图书馆不开门。
解⑴ p:逻辑是枯燥无味的。
“逻辑不是枯燥无味的”符号化为 ?p。
⑵ p:我看见的是小张。
q:我看见的是老李。
“我看见的既不是小张也不是老李”符号化为?p??q。
⑶ p:他生于1963年。
q:他生于1964年。
“他生于1963年或1964年”符号化为p ? q。
⑷ p:害怕困难。
q:战胜困难。
“只有不怕困难,才能战胜困难”符号化为q ? ? p。
⑸ p:我上街。
q:我去书店。
“只要上街,我就去书店”符号化为p ? q。
⑹ p:小杨晚上做完了作业。
q:小杨晚上没有其它事情。
r:小杨晚上看电视。
s:小杨晚上听音乐。
“如果晚上做完了作业并且没有其它事情,小杨就看电视或听音乐”符号化为p?q?r?s。
⑺ p:林芳在家里。
q:林芳做作业。
r:林芳看电视。
“如果林芳在家里,那么他不是在做作业就是在看电视”符号化为p?q?r。
⑻ p:三角形三条边相等。
q:三角形三个角相等。
“三角形三条边相等是三个角相等的充分条件”符号化为p?q。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
5. 证明结论是前提的有效结论 (课后练习P46 T27) PQ,PR,QS SR
(1) PQ (2) PQ (3) QS (4) PS (5) S P (6) PR (7) S R (8) SR P T(1);E P T(2)(3);I T(4);E P T(5)(6);I T(7);E
或主合取范式。
((x1x2)x3)x4
(( x1 x2) x3) x4
( ( x1 x2) x3) x4
( x1 x2 x4) ( x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4)
(8) P M
(9) P R (10) P R
T(5)(7);I
T) (P R) (12) P
T(9)(10);I T(11);E
6. 将前提和结论符号化,并证明相应的结论是有效的。 前提:若我学习,则考试不会失败; 若我不踢球,那我将学习; 我考试失败了。 结论:我踢了球。
(x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4)
(x1 x2 x3 x4) (x1 x2 x3 x4) (x1 x2 x3 x4)
(x1 x2 x3 x4) (x1 x2 x3 x4)
(3) (LM) S (4) S (LM) (5) Q (LM) (6) (QL)(QM)
P T(1);E
P T(3) ;I T(3)(4);I T(5);E
(7) (QL)
T(6);I
(PQ)(RS),(QL)(SM),(LM),PR P
(1) (PQ)(RS) (2) PQ,RS (3) (QL)(SM) (4) QL,SM (5) PL,RM (6) (LM) (7) L M P T(1);I P T(3);I T(2)(4);I P T(6);E
第一章练习参考答案
1. 设p: 天下雨,q: 天刮风,r: 我去书店,则命题
“如果天不下雨并且不刮风,我就去书店”的符号化 (pq)r 。 形式为_______________
2. 设p:小王走路,q:小王听音乐,在命题逻辑中,命题 “小王边走路边听音乐”的符号化形式为 pq ___________________ 。
3. 判断下列个公式是:① 永真式;② 永假式;③ 其它。 (1) (p→(q→r))→(q→(p→r)); 永真式 (2) (pq)(p(pq)); 可满足式 (3) (pq)(qr)(rpq); 永假式
(4) (qp)→(pq)。 永真式
4.求与公式((x1x2)x3)x4等价的主析取范式
设:P: 我学习 (1) PQ (2) Q (3) P Q:我考试失败 R:我踢球 P P T(1)(2);I
则:PQ , RP, Q R
(4) RP
(5) R
P
T(3)(4);I
(PQ)R,RS,S PQ
(1) S (2) RS
(3) R (4) (PQ)R (5) (PQ) (6) PQ
P P
T(1)(2);I P T(3)(4);I T(5);E
P(QR),QS,(LM) S,Q P QL (1) QS (2) QS