离散数学作业
不足之处请订正。。。。。。
常用符号：?x ?y ?x ?y F (x ) G (y ) H (x,y )
∧ ∨ ? → ? ?
①②③④⑤⑥⑦⑧⑨⑩
1.在一阶逻辑中将下列命题符号化。
（1）没有不能表示成分数的有理数
（2）在北京买菜的人不全是外地人
（3）乌鸦都是黑色的
答：（１）F （x ）：X 能表示成分数 Ｈ（x ）：X 能表示有理数 (()())x F x H x ???∧
（2）Ｆ（Ｘ）：ｘ是北京卖菜的人 Ｈ（Ｘ）：ｘ是外地人 (()())x F x H x ??∧
（3）Ｆ（Ｘ）：ｘ是乌鸦 Ｈ（Ｘ）：ｘ是黑色的 (()())X F X H X ?→
2.下面哪个公式可以解释成命题（提示，只有闭公式才可以解释为命题）
答：（2）（3）
3.将下列命题符号化，并写出其前束范式
答：(()()(,))x F x yG y H x y ?→?∧
前束范式：(()(()(,)))x y F X G y H x y ??→∧
（2） (()(()(,)))y G y x F x H x y ?→?∧
(()()(,)y x
G y F x H y x ??→∧ （3）(()(()(,)))y G y x F x H y x ??→?∧
((()(()(,)))y x G y x F x H y x ???→?∧
（4）(()(()(,)))y G y x F x H y x ??→?∧?
((()(()(,)))y x G y x F x H y x ???→?∧?
4.消去下面公式的量词,
D={a ,1,2}
(1) ?xF (x )→?yG (y )
(2) ?x ?y (F (x )→G (y )) 答：（1）(()(1)(2))(()(1)(2))F a F F G a G G ∨∨→∧∧
（2）(()(1)(2))(()(1)(2))F a F F G a G G ∧∧→∧∧
5.用自然演绎推理证明下列推论的正确性。
前提 (()()),(()()),()x F x G x x G x H x x H x ?→?∨?? 结论 ()x F x ??
１ ()x H x ?? 前提引入
２ ()H c ?
１UI 3
(()())x G x H x ?∨ 前提引入 4 ()()G c H c ∨ 3UI
5 G(c) 2 4析取三段论
6 (()())x F x G x ?→? 前提引入
7 ()()F c G c →? 6UI
8 ()F c ? 57拒取式
9
()
x F x
??8UG
离散数学作业
第一章命题逻辑的基本概念 一、判断下列语句是否是命题，若是命题是复合命题则请将其符号化 （1）中国有四大发明。 （2）2是有理数。 （3）“请进！” （4）刘红和魏新是同学。 （5）a+b （6）你去图书馆吗？ （7）如果买不到飞机票，我哪儿也不去。 （8）侈而惰者贫，而力而俭者富。（韩非：《韩非子?显学》） （9）火星上有生命。 （10）这朵玫瑰花多美丽啊！ 二、将下列命题符号化，其中p:2<1,q:3<2 （1）只要2<1，就有3<2。 （2）如果2<1，则3≥2。 （3）只有2<1，才有3≥2。 （4）除非2<1，才有3≥2。 （5）除非2<1，否则3≥2。 （6）2<1仅当3<2。 三、将下列命题符号化 (1)小丽只能从筐里拿一个苹果或一个梨。 (2)王栋生于1992年或1993年。 - 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) 五．判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。” 六、用真值表判断下列公式的类型： (1) p∧(p→q)∧(p→?q) (2) (p∧r) ?(?p∧?q) (2)((p→q) ∧(q→r)) →(p→r) - 2 -
第二章命题逻辑等值演算 一、用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值. (1) ?(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 二、用等值演算法证明下面等值式 (1)(p→q)∧(p→r)?(p→(q∧r)) (2)(p∧?q)∨(?p∧q)?(p∨q) ∧?(p∧q) - 3 -
离散数学作业答案
离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求2010年12月19日前完成并上交任课教师（不收电子稿）。并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1．命题公式()P Q P →∨的真值是 1 ． 2．设P ：他生病了，Q ：他出差了．R ：我同意他不参加学习. 则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为 (PQ)R ． 3．含有三个命题变项P ，Q ，R 的命题公式PQ 的主析取范式是 (PQR) (PQR) ． 4．设P(x)：x 是人，Q(x)：x 去上课，则命题“有人去上课．” 可符号化为 (x)(P(x) →Q(x)) ． 5．设个体域D ＝{a, b},那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) A(b)) (B(a) B(b)) ． 6．设个体域D ＝{1, 2, 3}，A(x)为“x 大于3”，则谓词公式(x)A(x) 的真值为 ． 7．谓词命题公式(x)((A(x)B(x)) C(y))中的自由变元为 ． 8．谓词命题公式(x)(P(x) Q(x) R(x ，y))中的约束变元为 X ． 三、公式翻译题 1．请将语句“今天是天晴”翻译成命题公式． 1．解：设P ：今天是天晴； 则 P ． 2．请将语句“小王去旅游，小李也去旅游．”翻译成命题公式． 解：设P ：小王去旅游，Q ：小李去旅游， 则 PQ ． 3．请将语句“如果明天天下雪，那么我就去滑雪”翻译成命题公式． 解：设P:明天天下雪 。 Q:我去滑雪 则 P Q ． 4．请将语句“他去旅游，仅当他有时间．”翻译成命题公式． 7．解：设 P ：他去旅游，Q ：他有时间， 则 P Q ． 5．请将语句 “有人不去工作”翻译成谓词公式． 11．解：设P(x)：x 是人，Q(x)：x 去工作，
离散数学(大作业)与答案
一、请给出一个集合A，并给出A上既具有对称性，又具有反对称性的关系。（10分）解：A={1,2} R={（1,1），（2,2）} 二、请给出一个集合A，并给出A上既不具有对称性，又不具有反对称性的关系。（10分）集合A={1,2,3} A上关系{<1,2>,<2,1>,<1,3>}，既不具有对称性，又不具有反对称性 三、设A={1，2}，请给出A上的所有关系。（10分） 答：A上的所有关系: 空关系，{<1,1>,<1,2>,<2,1>,<2,2>} {<1,1>} {<1,2>} {<2,1>} {<2,2>} {<1,1>,<1,2>} {<1,1>,<2,1>} {<1,1>,<2,2>} {<1,2>,<2,1>} {<1,2>,<2,2>} {<2,1>,<2,2>} {<1,1>,<1,2>,<2,1>} {<1,1>,<1,2>,<2,2>}
{<1,2>,<2,1>,<2,2>} {<1,1>,<2,1>,<2,2>} 四、设A={1，2，3}，问A 上一共有多少个不同的关系。（10分） 设A={1，2，3}，A 上一共有2^(3^2)=2^9=512个不同的关系。 五、证明： 命题公式G 是恒真的当且仅当在等价于它的合取范式中，每个子句均至少包含一个原子及其否定。（10分） 证明：设公式G 的合取范式为：G ’=G1∧G2∧…∧Gn 若公式G 恒真，则G ’恒真，即子句Gi ；i=1,2,…n 恒真 为其充要条件。 Gi 恒真则其必然有一个原子和它的否定同时出现在Gi 中，也就是说无论一个解释I 使这个原子为1或0 ，Gi 都取1值。 若不然，假设Gi 恒真，但每个原子和其否定都不同时出现在Gi 中。则可以给定一个解释I ，使带否定号的原子为1，不带否定号的原子为0，那么Gi 在解释I 下的取值为0。这与Gi 恒真矛盾。 因此，公式G 是恒真的当且仅当在等价于它的合取范式中，每个子句均至少包含一个原子及其否定。 六、若G=(P ，L)是有限图，设P(G)，L(G)的元数分别为m ，n 。证明：n ≤2m C ，其中2m C 表 示m 中取2的组合数。（10分） 证明：如果G=(P,L)为完全图，即对于任意的两点u 、v （u ≠v ）,都有一条边uv ，则此时对于元数为m 的P(G)，L(G)的元数取值最大为C m 2。因此，若G=(P,L)为一有限图，设P(G)的元数为m ，则有L(G)
北邮离散数学第一次阶段作业
北京邮电大学 离散数学 第一次阶段作业 判断题 1. 如果A∪B=B，则A?B。【答案：A】 A. 正确 B. 错误 2. 如果a∈A∪B，则a?A或a?B。【答案：B】 A. 正确 B. 错误 3. a∈{a,a}。【答案：A】 A. 正确 B. 错误 4.{?}是空集。【答案：B】 A. 正确 B. 错误 5.设ρ是集合A上的等价关系，则当a,b∈ρ时，aρ=bρ。【答案：A】 A. 正确 B. 错误 单项选择题 1. 设A={a,a}，则下列各式中错误的是【答案：B】 A. a∈2A B. {a}?2A C. {a}∈2A D. {a}?2A 解：2A={?,a,a, a,a} 2. 下列各式中不正确的是【答案：C】 A. ??? B. ?∈{?} C. ??? D. ?∈{?,?} 3. 设ρ是集合A上的关系，则（）不是ρ为反对称关系的充分必要条件【答案：D】 A. ρ是反对称关系 B. ρ∩ρ?i A C. 对任意x,y∈A，当x,y∈ρ且x≠y时y,x?ρ D. 对A的某两个元素x, y，当x,y,y,x∈ρ时有x=y 4. 设A，B，C是集合，ρ,μ分别是A到B，B到C的关系，x∈A，z∈C，则存在y∈B使得x,y∈ρ且y,z∈μ是x,z∈ρ°μ的（）条件【答案：C】 A. 充分而非必要 B. 必要而非充分 C. 充分必要
D. 既非充分又非必要 5. 设A={0,b}，B={1,b,3}，则A∪B的恒等关系为【答案：A】 A.{0,0,1,1,b,b,3,3} B. {0,0,1,1,3,3} C. {0,0,b,b,3,3} D. {0,1,1,b,b,3,3,0}
离散数学作业(2)
离散数学作业布置 第1次作业（P15） 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=1 1.17 判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2 也是无理数。另外只有6能被2整除，6才能被4整除。” 解：p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1 s:6能被2整除 1 t: 6能被4整除0 命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。 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 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 所以公式类型为永真式，最后一列全为1 （5）公式类型为可满足式（方法如上例），最后一列至少有一个1 （6）公式类型为永真式（方法如上例，最后一列全为1）。 第2次作业（P38） 2.3 用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值. (1) ﹁(p∧q→q) (2)(p→(p∨q))∨(p→r) (3)(p∨q)→(p∧r) 解：(1) ﹁(p∧q→q) ?﹁(﹁(p∧q) ∨q) ?(p∧q) ∧﹁q?p∧(q ∧﹁q) ? p∧0 ?0 所以公式类型为矛盾式 (2)（p→(p∨q)）∨(p→r) ? (﹁p∨(p∨q))∨(﹁p∨r) ?﹁p∨p∨q∨r?1 所以公式类型为永真式 (3) (p∨q) → (p∧r) ?￢(p∨q) ∨ (p∧r) ? (￢p∧￢q) ∨(p∧r) 易见, 是可满足式, 但不是重言式. 成真赋值为: 000,001, 101, 111
离散数学作业
命题逻辑的基本概念 一、单项选择题 1．下列语句中不是命题的有（ ）. A 9+5≤12 B. 1+3=5 C. 我用的电脑CPU 主频是1G 吗D.我要努力学习。 2. 下列语句是真命题为( )． A. 1+2=5当且仅当2是偶数 B. 如果1+2=3，则2是奇数 C. 如果1+2=5，则2是奇数 D. 你上网了吗 3. 设命题公式)(r q p ∧→?,则使公式取真值为1的p ，q ，r 赋值分别是 ( ) 0,0,1)D (0 ,1,0)C (1 ,0,0)B (0 ,0,0)A ( 4. 命题公式q q p →∨ )(为 ( ) (A) 矛盾式 (B) 仅可满足式 (C) 重言式 (D) 合取范式 5. 设p:我将去市里,q ：我有时间． 命题“我将去市里，仅当我有时间时”符号化为为( ) q p q p q p p q ?∨??→→)D ()C ()B ()A (6．设P ：我听课,Q ：我看小说. “我不能一边听课，一边看小说”的符号为（ ） A. Q P ?→ ； B. Q P →?； C. P Q ?∧? ； D. )(Q P ∧? 二、判断下列语句是否是命题，若是命题是复合命题则请将其符号化 （1）中国有四大发明。 （2）2是有理数。 （3）“请进！” （4）刘红和魏新是同学。 （5）a+b （6）如果买不到飞机票，我哪儿也不去。 （8）侈而惰者贫，而力而俭者富。（韩非：《韩非子显学》） （9）火星上有生命。 （10）这朵玫瑰花多美丽啊！ 二、将下列命题符号化，其中p:2<1,q:3<2 （1）只要2<1，就有3<2。 （2）如果2<1，则32。 （3）只有2<1，才有32。 （4）除非2<1，才有32。 （5）除非2<1，否则32。
《离散数学》第一次在线作业
第一次 第1题 空集不是任何集合的真子集 您的答案：错误 题目分数：0.5 此题得分：0.5 批注：本题考查空集的基本概念 第2题 一个集合可以是另一个集合的元素 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查集合的基本概念 第3题 设A、B为集合，如果集合A的元素都是集合B的元 素，则称A是B的子集 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查子集的基本概念 第4题 如果一个集合包含了所要讨论的每一个集合，则称该 集合为全集，记为U 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查全集的基本概念 第5题 在笛卡儿坐标系中，平面上点的坐标< 1,2> 与< 2,1> 代表不同的点 您的答案：正确 题目分数：0.5
此题得分：0.5 批注：本题考查笛卡儿坐标系的基本概念 第6题 复合运算不满足交换律，但复合运算满足结合律您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查复合运算的是否满足交换律和结合律 第7题 映射也可以称为函数，是一种特殊的二元关系 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查映射的基本概念 第8题 映射的复合运算不满足交换律 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题为映射的基础知识 第9题 空集是唯一的 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查空集的唯一性 第10题 对任意的集合A，A包含A 您的答案：正确 题目分数：0.5 此题得分：0.5
批注：本题考查集合的包含概念 第11题 集合上的三种特殊元是单位元、零元及可逆元 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查集合上的三种特殊元 第12题 集合A上的偏序关系的三个性质是自反性、反对称性和传递性 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查集合偏序关系的三个性质 第13题 设f:A→B, g:B→C。若f, g都是满射，则gf也是满射 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查复合关系的满射概念 第14题 设f:A→B, g:B→C。若f, g都是双射，则gf也是双射 您的答案：正确 题目分数：0.5 此题得分：0.5 批注：本题考查复合关系的双射概念 第15题 设f:A→B, g:B→C。若f, g都是单射，则gf也是单射 您的答案：正确 题目分数：0.5 此题得分：0.5
华南理工离散数学作业题2017版
华南理工大学网络教育学院 2014–2015学年度第一学期 《离散数学》作业 （解答必须手写体上传，否则酌情扣分） 1．设命题公式为?Q∧（P→Q）→?P。 （1）求此命题公式的真值表； （2）求此命题公式的析取范式； （3）判断该命题公式的类型。 解：（1）真值表如下： P Q ?Q P →Q ?Q∧（P→Q）?P ?Q∧（P→Q）→?P 0 0 1 1 1 1 1 0 1 0 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 0 1 （2）?Q∧（P→Q）→?P??(?Q∧(?P∨ Q)) ∨? P ?( Q∨? (?P∨ Q)) ∨? P ?? ( ?P∨ Q) ∨ (Q∨?P) ?1（析取范式） ?(?P∧? Q) ∨ (?P∧ Q) ∨ (P∧? Q) ∨（P∧ Q）（主析取范式） （3）该公式为重言式 2．用直接证法证明 前提：P∨Q，P→R，Q→S 结论：S∨R 解：（1）?S P (2)Q →S P (3) ? Q (1)(2) (4)P∨ Q P
(5)P (3)(4) (6) P → R P (7)R (5)(6) (8)?S→ R （1）（7） 即SVR得证 3．在一阶逻辑中构造下面推理的证明 每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。 令F(x)：x喜欢步行。G(x)：x喜欢坐汽车。H(x)：x喜欢骑自行车。 解：前题：?x (F (x) →?G(x)), ?x (G (x) ∨H (x)) ? x ?H (x) 结论:? x ?F (x) 证：（1）? x ?F (x) p (2) ?H (x) ES(1) (3) ?x (G (x) ∨H (x))P (4)G(c) vH(c)US(3) (5)G(c) T(2,4)I (6)?x (F (x) →?G(x)), p (7)F (c) →?G(c) US(6) (8) ?F (c) T(5,7)I (9)( ? x) ?F (x) EG(8) 4．用直接证法证明： 前提：（?x）（C（x）→W（x）∧R（x）），（?x）（C（x）∧Q（x）） 结论：（?x）（Q（x）∧R（x））。 证： （1）（?x）（C（x）∧Q（x））P (2) C (c) ∧Q（c）ES(1) (3)（?x）（C（x）→W（x）∧R（x））P
2013年9月份考试离散数学第一次作业
2013年9月份考试离散数学第一次作业 一、单项选择题（本大题共40分，共20 小题，每小题2 分） 1. 下列语句中不是命题的只有（）。A. 鸡毛也能飞上天？B. 人的死或重于泰山，或轻于鸿毛。C. 不经一事，不长一智。 D. 牙好，胃口就好。 2. 设A={1，2，3，4，5}，A上二元关系R={〈1，2〉，〈3，4〉，〈2，2〉}，S={〈2，4〉，〈3，1〉，〈4，2〉}，则S-1oR-1的运算结果是（）。 A. {〈4，1〉，〈2，3〉，〈4，2〉} B. {〈2，4〉，〈2，3〉，〈4，2〉} C. {〈4，1〉，〈2，3〉，〈2，4〉} D. {〈2，2〉，〈3，1〉，〈4，4〉} 3. 下列集合关于所给定的运算成为群的是（）。 A. 已给实数a的正整数次幂的全体，且a∈{0，1，-1}，关于数的乘法 B. 所有非负整数的集合，关于数的加法 C. 所有正有理数的集合，关于数的乘法 D. 实数集，关于数的除法 4. 在有n个结点的连通图中，其边数（） A. 最多有n-1条 B. 至少有n-1条 C. 最多有n条 D. 至少有n条 5. 一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条（） A. 汉密尔顿回路 B. 欧拉回路 C. 汉密尔顿通路 D. 初级回路 6. .以下命题公式中，为永假式的是（） A. .p→(p∨q∨r) B. (p→┐p)→┐p C. ┐(q→q)∧p D. ┐(q∨┐p)→(p∧┐p) 7. 在布尔代数L中，表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是（）。 A. b∧(a∨c) B. (a∧b)∨(a∧b) C. (a∨b)∧(a∨b∨c)∧(b∨c) D. (b∨c)∧(a∨c) 8. 所有使命题公式为真的赋值为（）。 A. 010，100，101，110，111 B. 010，100，101，111 C. 全体赋值 D. 不存在 9. 设i是虚数，·是复数乘法运算，则G=<{i,-i,1,-1},?>是群，下列是G的子群是（）。 A.
离散数学作业
离散数学作业 软件0943 张凌晨38 李成16 1.设S={1,2,3,4}，定义S上的二元运算*如下： x*y=(xy) mod 5任意x,y属于S 求运算*的运算表. 解(xy) mod 5表示xy除以5的余数，所以运算表如下： 2.设*为Z+上的二元运算，任意x,y属于Z+， x*y=min(x,y),即x和y之中的较小数. (1)求4*6,7*3. (2)*在Z+上是否满足交换律、结合律和幂等律？ (3)求*运算的单位元、零元及Z+中所有可逆元素的逆元.
解 (1)由题得：4*6=min(4,6)=4； 7*3=min(7,3)=3. (2)由题分析知： *运算是取x和y之中的较小数，即x和y调换位置不影响结果，所以*在Z+上满足交换律. *运算满足结合律，因为任意x,y属于Z+，有 (x*y)*z=min(x,y)*z=min(min(x,y),z) x*(y*z)=x*min(y,z)=min(x,min(y,z)) 无论x,y,z三数中哪个较小，*运算的最终结果都是较小的那个，所以满足结合律. *运算满足幂等律，因为在Z+上任意 x*x=min(x,x)=x (3)在Z+中最小的数字是1 任意x属于Z+，有 x*1=1=1*x 所以1是*运算的零元，*运算没有单位元，也没有可逆元素的逆元。
3．令S={a,b},S 上有四个二元运算：*，&,@和#，分别由下表确定. (1)这四个运算中哪些运算满足交换律、结合律、幂等律？ (2)求每个运算的单位元、零元及所有可逆元素的逆元. 解 （1）*，&和@满足交换律；*，@和#满足结合律；#满足幂等律。 （2）*运算没有单位元和可逆元素，a 是零元；&运算的单位元为a ,没有零元,每个元素都是自己的逆元；@运算和#运算没有单位元, 零元和可逆元素.
离散数学课程作业(2)
《离散数学》课程作业（2）-------数理逻辑部分 一、 填空题 1. 将几个命题联结起来，形成一个复合命题的逻辑联结词主要有否定、 、 、 和等值。 2、命题公式G=（P ∧Q ）→R ，则G 共有 个不同的解释；把G 在其所有解释下所 取真值列成一个表，称为G 的 ；解释（?P ，Q ，?R ）或（0，1，0）使G 的真值为 。 3、 已知命题公式R Q P G →∧?=)(，则G 的析取范式是 。 4、 求公式)()(R P Q P ∧?∨∧的主析取范式 。 5、 设命题公式)(R Q P G →?→=，则使公式G 为假的解释是 、 和 。 6、在谓次词逻辑中将下面命题符号化：在北京工作的人未必都是北京人（提示：设F （x ）：x 在北京工作。G （x ）：x 是北京人。） 。 7、将公式化成等价的前束范式，=→?→???)))()((),((x R z zQ y x yP x 。 8、设谓词的定义域为},,{c b a ，将表达式)()(x xS x xR ?∧?中的量词消除，写成与之等价的 命题公式是 。 二、 单项选择题 1、下列语句中，（ ）是命题。 A ．下午有会吗？ B ．这朵花多好看呀！ C ．2是常数。 D ．请把门关上。 2、一个公式在等价意义下，下面哪个写法是唯一的（ ）。 A ．析取范式 B ．合取范式 C ．主析取范式 D ．以上答案都不对
3、设命题公式P Q P G →∧=)(，则G 是（ ）。 A. 恒假的 B. 恒真的 C. 可满足的 D. 析取范式 4、设命题公式)(), (P Q P H Q P G ?→→=→?=，则G 与H 的关系是（ ）。 以上都不是。.;.;.;.D H G C G H B H G A =?? 5、已知命题))((R Q P G ∧→?=，则所有使G 取真值1的解释是（ ）。 A （0，0，0），（0，0，1），（1，0，0） B （1，0，0），（1，0，1），（1，1，0） C （0，1，0），（1，0，1），（0，0，1） D （0，0，1），（1，0，1），（1，1，1） 6、设I 是如下一个解释，0 101),(),(),() ,(},,{b b P a b P b a P a a P b a D =， 则在解释I 下取真值为1的公式是（ ）。 ),(.);,(.);,(.);,(.y x yP x D x x xP C y x yP x B y x yP x A ??????? 7、下面给出的一阶逻辑等价式中，（ ）是错的。 )). (()(.)); (()(.); ()())()((.); ()())()((.x B A x x xB A D x A x x xA C x xB x xA x B x A x B x xB x xA x B x A x A →?=?→??=???∨?=∨??∨?=∨? 三、 计算题 1. 求命题公式?（P ∨Q ）?（P ∧Q ）的析取范式与合取范式。
离散数学作业答案完整版
离散数学作业答案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】
离散数学集合论部分形成性考核书面作 业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数 理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题 目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识 点，重点复习，争取尽快掌握。本次形考书面作业是第一次作业，大家要认真及时地 完成集合论部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答 过程，要求本学期第11周末前完成并上交任课教师（不收电子稿）。并在03任务界 面下方点击“保存”和“交卷”按钮，完成并上交任课教师。 一、填空题 1．设集合{1,2,3},{1,2} ==，则P(A)- A B P(B )={{3},{1,3},{2,3},{1,2,3}}，A? B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} ． 2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为 1024 ． 3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系， 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>} ． 4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系 R＝} ∈ y x∈ y < > = {B , , x , 2 y A x 那么R－1＝{<6,3>,<8,4>} 5．设集合A=｛a, b, c, d｝，A上的二元关系R={
离散数学第一次作业(命题逻辑) 1、证明下列各式是重言式
离散数学第一次作业（命题逻辑） 1、证明下列各式是重言式 （1）（（P∧Q）→P）?T ù((?(P∧Q) ∨ P) ?T ù(?P∨?Q∨P) ?T ù（T∨?Q）?T ùT?T 所以此式为重言式 （2）?（?（P∨Q）→? P）?F ù?（（P∨Q）∨? P）?F ù?（T∨Q）?F ù?T?F ùF?F 所以此式为重言式 （3）（Q→P）∧（? P→Q）∧（Q?Q）? P ù（? Q∨P）∧（P∨Q）∧T? P ù（(? Q∨P）∧P) ∨(（? Q∨P）∧Q) ? P ù(P∨((? Q∨P）∧Q) ? P ù(P∨P) ? P
ùP? P 所以此式为重言式 （4）（P→? P）∧（? P→P）?F ù（? P∨? P）∧（P∨P）?F ù（? P∧P）?F ùF?F 所以此式为重言式 2、求出下列公式的最简等价式：（1）（（P→Q）?（? Q→? P））∧R ù（（P→Q）?（P→Q））∧R ùT∧RùR （2）P∨? P∨（Q∧?Q） ùT∨FùT （3）（P∧（Q∧S））∨（? P∧（Q∧S））ù（（P∨? P ）∧（Q∧S））） ùT∧（Q∧S） ù（Q∧S）
3、（1）与非运算符↑（又叫悉菲（Sheffer）记号）用下述真值表定义，可以看出P↑Q??（P∧Q），试证明： （a）P↑P?? P；（b）（P↑P）↑（Q↑Q）? P∨Q； （c）（P↑Q）↑（P↑Q）? P∧Q 证明： （a）P↑P??（P∧P）??P (b) （P↑P）↑（Q↑Q）??P↑?Q??(?P∧?Q) ? P∨Q (c) （P↑Q）↑（P↑Q）??（P∧Q）↑?（P∧Q） ??(?（P∧Q）∧?（P∧Q）) ???（P∧Q） ? P∧Q （2）或非运算符↓（又叫皮尔斯（Peirce）箭头）用下述真值表定义，它与?（P∨Q）逻辑等价。对下述每一式，找出仅用↓表示的等价式。（a）? P；（b）P∨Q；（c）P∧Q。 P Q P↑Q P↓Q 0 0 1 1 0 1 1 0 1 0 1 0 1 1 0 0 证明： （a）? Pù? P∧Tù? P∧?Fù?（P∨F）ùP↓ F （b）P∨Qù??（P∨Q）ù?（P↓Q）ù（P↓Q）↓ F （c）P∧Qù?(?P∨?Q) ù??（? P↓? Q）ù? P↓? Qù（P↓ F）↓（Q↓ F）
离散数学作业答案
第一章 1.假定A是ECNU二年级的学生集合，B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求： (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中，能被3或5整除，但不能被15整除的正整数共有多少个？ 能被5整除的有40个， 能被15整除的有13个， ∴能被3或5整除，但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗？ (1)2是正数吗？ (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了，那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r)，其中p、q、r为如下命题： p：你得流感了 q：你错过了最后的考试
3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语，其中C(x)表示x有电脑，F(x,y) 表示x和y是同 班同学，个体域是学校全体学生的集合。 解： 学校的全体学生要么自己有电脑，要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解： ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章
离散数学作业答案
离散数学集合论部分形成性考核书面作 业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外） 安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出 掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有 解答过程，要求本学期第11周末前完成并上交任课教师（不收电子稿）。并在 03任务界面下方点击“保存”和“交卷”按钮，完成并上交任课教师。 一、填空题 1．设集合{1,2,3},{1,2} ==，则P(A)-P(B )= {{3}，{1,3}，{2,3}， A B {1,2,3}} ，A?B= {<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3.2>} ．2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为 1024 ．3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系， 则R的有序对集合为 {<2, 2>，<2, 3>，<3, 2>}，<3,3> ．4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系 R＝} ∈ y x∈ y < > = {B , , x , 2 y A x 那么R－1＝ {<6,3>,<8,4>} 5．设集合A=｛a, b, c, d｝，A上的二元关系R={
离散数学 作业及答案
2011-2012学年第一学期离散数学作业及参考答案---信息安全10级5-1 1.利用素因子分解法求2545与360的最大公约数。 解：掌握两点：(1) 如何进行素因子分解 从最小素数2的素数去除n。 (2) 求最大公约数的方法 gcd(a,b) = p1min(a1,b1)p2min(a2,b2)pn min(an,bn) 360=2332515090 2545=2030515091 gcd(2545,360) =2030515090=5 2.求487与468的最小公倍数。 解：掌握两点：(1) 如何进行素因子分解 从最小素数2的素数去除n。 (2) 求最小公倍数的方法 lcm(a,b) = p1max(a1,b1)p2max(a2,b2)pn max(an,bn) ab=gcd(a, b)﹡lcm (a, b) 487是质数，因此gcd(487,468)=1 lcm(487,468)= (487*468)/1=487*468=227916 3.设n是正整数，证明：6|n(n+1)(2n+1) 证明：用数学归纳法： 归纳基础：当n=1时，n(n+1)(2n+1)=1*2*3=6，6|6 归纳假设：假设当n=m时，6|m(m+1)(2m+1) 归纳推导：当n=m+1时， n(n+1)(2n+1)=(m+1)(m+1+1)[2(m+1)+1] =(m+1)(m+2)(2m+3) = m(m+1)(2m+3)+2(m+1)(2m+3) = m(m+1)(2m+1+2)+2(m+1)(2m+3) = m(m+1)(2m+1)+2 m(m+1)+ 2(m+1)(2m+3) = m(m+1)(2m+1)+ 2(m+1)(m+2m+3) = m(m+1)(2m+1)+ 2(m+1)(3m+3) = m(m+1)(2m+1)+ 6(m+1)2 因为由假设6|m(m+1)(2m+1)成立。 而6|6(m+1)2 所以6|m(m+1)(2m+1)+ 6(m+1)2 故当n=m+1时，命题亦成立。 所以6| n(n + 1)(2n + 1) 5-2 1 已知 6x ≡7 (mod 23),下列式子成立的是( D ): A. x ≡7 (mod 23) B. x ≡8 (mod 23) C. x ≡6 (mod 23) D. x ≡5 (mod 23) 2 如果a ≡b (mod m) , c是任意整数，则（A ）：
2013华工离散数学作业
注意看参考答案 1. A．明年国庆节是晴天。 B．在实数范围内，x+y〈3。 C．请回答这个问题！ D．明天下午有课吗？ 在上面句子中，是命题的只有（） 答题： A. B. C. D. 参考答案：A 2. 在上面句子中，是命题的是( ) A．雪是黑色的。 B．这朵花多好看呀！。 C．请回答这个问题！ D．明天下午有会吗？ 答题： A. B. C. D. 参考答案：A 3. A．现在开会吗？ B．在实数范围内，x+y >5。 C．这朵花多好看呀！ D．离散数学是计算机科学专业的一门必修课。 在上面语句中，是命题的只有( ) 答题： A. B. C. D. 参考答案：D 4. A．1＋101＝110 B．中国人民是伟大的。 C．全体起立！ D．计算机机房有空位吗？ 在上面句子中，是命题的是( ) 答题： A. B. C. D. 参考答案：B 5.下面的命题不是简单命题的是( ) A．3是素数或4是素数 B．2018年元旦下大雪 C．刘宏与魏新是同学 D．圆的面积等于半径的平方与之积 答题： A. B. C. D. 参考答案：A
6.设：p：派小王去开会。q：派小李去开会。则命题： “派小王或小李中的一人去开会” 可符号化为：（） A． B． C． D． 答题： A. B. C. D. 参考答案：B 7.下面“”的等价说法中，不正确的为 A．p是q的充分条件 B． q是p的必要条件 C．q仅当p D．只有q才p 答题： A. B. C. D. 参考答案：C 8. p,q都是命题，则p→q的真值为假当且仅当( ) A．p为假，q为真 B．p为假，q也为假 C．p为真，q也为真 D．p为真，q也为假 答题： A. B. C. D. 参考答案：D 9.个命题变元组成的命题公式，有( )种真值情况 A． B． C． D．2 答题： A. B. C. D. 参考答案：C 10. 答题： A. B. C. D. 参考答案：C 11.设F（x）：x是火车，G（x）：x是汽车，H（x，y）：x比y快。命题“说
国开放大学离散数学本离散数学作业答案
国开放大学离散数学本离 散数学作业答案 The pony was revised in January 2021
离散数学集合论部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握．本次形考书面作业是第一次作业，大家要认真及时地完成集合论部分的综合练习作业． 要求：学生提交作业有以下三种方式可供选择： 1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word文档 3. 自备答题纸张，将答题过程手工书写，并拍照上传． 一、填空题
1．设集合{1,2,3},{1,2} ==，则P(A)-P(B )= {{1,2}，{2,3}，{1,3}， A B {1,2,3}} ，A B= {< 1,1>，<1,2>，<2，1>，<2，2>，<3，1>，<3， 2> } ． 2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为 1024 ． 3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系， 则R的有序对集合为 {< 2,2>，<2,3>，<>，<> } ．4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系 R＝} y x y x∈ ∈ < > = A , , 2 , y {B x 那么R－1＝ {< 6，3>，<8，4> } ． 5．设集合A=｛a, b, c, d｝，A上的二元关系R={
离散数学作业标准答案
离散数学作业 一、选择题 1、下列语句中哪个就是真命题(C )。 A.我正在说谎。 B.如果1+2=3,那么雪就是黑色的。 C.如果1+2=5,那么雪就是白色的。 D.严禁吸烟！ 2、设命题公式))((r q p p G →∧→=,则G 就是( C )。 A 、 恒假的 B 、 恒真的 C 、 可满足的 D 、 析取范式 3、谓词公式),,(),,(z y x yG x z y x F ??→中的变元x ( C )。 A.就是自由变元但不就是约束变元 B.既不就是自由变元又不就是约束变元 C.既就是自由变元又就是约束变元 D.就是约束变元但不就是自由变元 4、设A={1,2,3},则下列关系R 不就是等价关系的就是(C ) A.R={<1,1>,<2,2>,<3,3>} B.R={<1,1>,<2,2>,<3,3>,<2,3>,<3,2>} C.R={<1,1>,<2,2>,<3,3>,<1,4>} D.R={<1,1>,<2,2>,<3,3>,<1,2>,<1,3>,<2,3>,<2,1>, <3,1>,<3,2>} 5、设R 为实数集,映射σ=R →R,σ(x)= -x 2+2x-1,则σ就是( D )。 A.单射而非满射 B.满射而非单射 C.双射 D.既不就是单射,也不就是满射 6、下列二元运算在所给的集合上不封闭的就是( D ) A 、 S={2x-1|x ∈Z +},S 关于普通的乘法运算 B 、 S={0,1},S 关于普通的乘法运算 C 、 整数集合Z 与普通的减法运算 D 、 S={x | x=2n ,n ∈Z +},S 关于普通的加法运算 7、*运算如下表所示,哪个能使({a,b},*)成为含幺元半群( D ) b b b a a a b a * a b b b a a b a * 8( A )
份考试离散数学第一次作业精选文档
份考试离散数学第一次 作业精选文档 TTMS system office room 【TTMS16H-TTMS2A-TTMS8Q8-
2014年9月份考试离散数学第一次作业 一、单项选择题（本大题共42分，共 21 小题，每小题 2 分） 1. 下列语句中是命题的只有（） A. 在实数范围内，x2+y2>=0 B. 在实数范围内，x+y C. 请回答这个问题 D. 真正有学问的人怎么回不关心政治呢？ 2. 设R为实数集，R+={x|x∈R∧x>0}，*是数的乘法运算，
4. 下述是命题且真值为真的是（） A. 下个月8日是晴天 B. 他真年轻啊！ C. 长方形面积等于长乘以宽 D. 每个月至少有29天 5. 2.设G是n个顶点的无向简单图，则下列说法不正确的是（） A. 若G是树，则其边数等于n-1 B. 若G是欧拉图，则G中必有割边 C. 若G中有欧拉路，则G是连通图，且有零个或两个奇度数顶点 D. 若G中任意一对顶点的度数之和大于等于n-1，则G中有汉密尔顿路 6. .以下命题公式中，为永假式的是（） A. .p→(p∨q∨r) B. (p→┐p)→┐p C. ┐(q→q)∧p D. ┐(q∨┐p)→(p∧┐p)
7. 设A={Φ}，B=P（P（A）），以下不正确的式子是（）。 A. {{Φ}，{{Φ}}，{Φ，{Φ}}}包含于B B. {{{Φ}}}包含于B C. {{Φ，{Φ}}}包含于B D. {{Φ}，{{Φ，{Φ}}}}包含于B 8. 无向图结点之间的连通性，是结点集之间的一个（） A. 连通关系 B. 偏序关系 C. 等价关系 D. 函数关系 9. 设R为实数集，函数f：R→R，f(x)=2x，则f是（） A. 满射函数 B. 入射函数 C. 双射函数 D. 非入射非满射
- 离散数学作业答案完整版
- 2016离散数学中期大作业
- 离散数学(大作业
- 离散数学(大作业)与答案
- (完整版)离散数学作业答案一
- 离散数学作业答案一
- 吉大网院 离散数学 大作业及答案 201903
- 离散数学大作业 林名峰 02123023
- 2016离散数学中期大作业(1)
- 离散数学作业答案
- 吉林大学2019-2020学年第一学期期末考试《离散数学》大作业参考答案
- 离散数学作业答案完整版
- 吉林大学2019 离散数学大作业 辅导答案
- 离散数学大作业——编程实现最小生成树
- 离散数学作业答案
- 离散数学大作业
- 离散数学大作业
- 离散数学期末大作业
- 离散数学(大作业)离散数学(大作业)以及参考答案
- 离散数学课程大作业