联结词
----条件
复合命题是用“联结词”将原子命题联结起来构成的.
归纳自然语言中的联结词，定义了六个逻辑联结词：
(1)否定“?”
(2)合取“∧”
(3) 析取“∨”和异或“”
∨
(4) 条件（蕴涵）“→”
(5)双条件（等价）“?”或记做“?”
四.条件 (蕴涵)“→”
表示“如果… 则… ”“只要… 就…”,“若…则…”等.
例： P表示：缺少水分.
Q表示：植物会死亡.
P→Q：如果缺少水分，植物就会死亡.
P→Q：也称之为蕴涵式，读成“P蕴涵Q”，“如果P则Q”.
也说成P是P→Q 的前件，Q是P→Q的后件.还可以说P是Q的充分条件，Q是P的必要条件.
P→Q的真值：
P→Q的真值为假，当且仅当P为真，Q为假. 注意：当前件P为假时， P→Q为T.
关于充分条件和必要条件的说明：
?充分条件：就是只要条件成立，结论就成立，则该条件就是充分条件.
上例中，“缺少水分”就是“植物会死亡”的充分条件.在自然语言中表示充分条件的词有：如果…则… ，只要… 就…，若…则… .
?必要条件：就是如果该条件不成立，那么结论就不成立, 则该条件就是必要条件.
上例中，“植物死亡”就是“缺少水分”的必要条件(植物未死亡，一定不缺少水分).在自然语言中表示必要条件的词有 :只有…才… ；仅当…，… ; …, 仅当….
例1令：P：天气好. Q：我去公园.
1).如果天气好，我就去公园. 2).只要天气好，我就去公园.
3).天气好，我就去公园. 4).仅当天气好，我才去公园.
5).只有天气好，我才去公园. 6).我去公园，仅当天气好.
命题1)、2)、3)写成： P→Q .
命题4)、5)、6)写成： Q→P.
可见“→”既表示充分条件（即前件是后件的充分条件）；也表示必要条件（即后件是前件的必要条件）.这一点要
特别注意!!!它决定了哪个作为前件，哪个作为后件.
例2. 将下列命题符号化:
（1）如果小明学日语，小华学英语，则小芳学德语.
P：小明学日语；
Q：小华学英语；
R：小芳学德语.
则原命题可表示为：(P∧Q)→R.
（2）只要不下雨，我就骑自行车上班.
P：天下雨.Q：我骑自行车上班.
则原命题可表示为：?P→Q.
（3）只有不下雨，我才骑自行车上班.
P：天下雨.Q：我骑自行车上班.
则原命题可表示为： Q →?P .
7
例3. 将下列命题符号化:
1)如果 2+2=4, 则太阳从东方升起.
2)如果 2+2=4, 则太阳从西方升起.
3)如果 2+2≠4, 则太阳从东方升起.
4)如果 2+2≠4, 则太阳从西方升起.
解：令P：2+2=4. Q：太阳从东方升起.R：太阳从西方升起. P→Q, P →R,?P→Q，?P →R.
注意:
(1)P → Q表示的基本逻辑关系是,Q是P的必要条件或P是Q的充分条件.因此复合命题“只要P就Q”、“因为P，所以Q”、“P仅当Q”、“只有Q才P”等都可以符号化为P → Q 的形式.
(2)“→”属于二元运算符.
(3)与自然语言的不同：前件与后件可以没有任何内在联系！
(4) 在数学中,“若P则Q”往往表示前件P为真，则后件Q为真的推理关系. 但数理逻辑中，当前件P为假时，P→Q的真值为真.
第一章集合与充要条件 1.1 集合的概念 第一节集合与元素 教学目标： 1．理解集合的概念；理解集合中元素的性质． 2．理解“属于”关系的意义；知道常用数集的概念及其记法． 3．引导学生发现问题和提出问题，培养独立思考和创造性地解决问题的意识． 教学重点： 集合的基本概念，元素与集合的关系． 教学难点： 正确理解基本概念 教学过程： [新授]： 1．集合的概念 （1）一般地，把一些能够确定的对象看成一个整体，我们就说，这个整体是由这些对象的全体构成的集合（简称为集）． （2）构成集合的每个对象都叫做集合的元素． （3）集合与元素的表示方法：一个集合，通常用大写英文字母A,B,C,…表示，它的元素通常用小写英文字母a,b,c,…表示． 2．元素与集合的关系 （1）如果a是集合A的元素，就说a属于A，记作a∈A，读作“a属于A”． （2）如果a不是集合A的元素，就说a不属于A，记作a?A．读作“a不属于A”．3．集合中元素的特性 （1）确定性（2）互异性（3）无序性： 4．集合的分类 （1）有限集（2）无限集 5．常用数集 自然数集N；正整数集N＋或N*；整数集Z；有理数集Q；实数集R． 6．空集?（不能写成{?}） [巩固]： 例1：判断下列语句能否构成一个集合，并说明理由． （1）小于10的自然数的全体；（2）某校高一（2）班所有性格开朗的男生； （3）英文的26个大写字母；（4）非常接近1的实数． [点评]：组成集合的对象是确定的，对于一个对象是否是集合中元素，只有两种结果：是或不是，出现形容词修饰的对象不能组成集合． 练习1：判断下列语句是否正确： （1）由2，2，3，3构成一个集合，此集合共有4个元素； （2）所有三角形构成的集合是无限集； （3）周长为20cm的三角形构成的集合是有限集；
离散数学形成性考核作业4作业与答案 离散数学综合练习书面作业 要求：学生提交作业有以下三种方式可供选择： 1. 可将此次作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，完成作业后交给辅导教师批阅． 2. 在线提交word文档． 3. 自备答题纸张，将答题过程手工书写，并拍照上传． 一、公式翻译题 1．请将语句“小王去上课，小李也去上课．”翻译成命题公式． 设Ｐ：小王去上课 Ｑ:小李去上课 则：命题公式Ｐ∧Ｑ 2．请将语句“他去旅游，仅当他有时间．”翻译成命题公式． 设Ｐ：他去旅游 Ｑ：他有时间 则命题公式为Ｐ→Ｑ
3．请将语句“有人不去工作”翻译成谓词公式． 设Ａ（x）:x是人 Ｂ（x）：去工作 则谓词公式为?x（A(x)∧－B（x）) 4．请将语句“所有人都努力学习．”翻译成谓词公式． 设A（x）: x是人 B（x）:努力学习 则谓词公式为?x（A（x）∧B（x）） 二、计算题 1．设A={{1},{2},1,2}，B={1,2,{1,2}}，试计算 （1）(A-B)；（2）(A∩B)；（3）A×B． 解： （1）（A-B）＝{{1}，{2}} （2）（A∩B）＝{1，2} （3）A×B＝ {<{1},1>,<{1},2>,<{1},{1,2}>,<{2},1>,<{2},2>,<{2},{1,2}>,<1,1>,<1, 2>,<1,{1,2}>,<2,1>,<2,2>,<2,{1,2}>} 2．设A={1，2，3，4，5}，R={
离散数学作业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 去工作，
1.2 逻辑联结词与四种命题 ●知识梳理 1.逻辑联结词 （1）命题：可以判断真假的语句叫做命题. （2）逻辑联结词：“或”“且”“非”这些词叫做逻辑联结词. （3）简单命题与复合命题：不含逻辑联结词的命题叫简单命题；由简单命题和逻辑联结词构成的命题叫做复合命题. （4）真值表：表示命题真假的表叫真值表. 2.四种命题 （1）四种命题 原命题：如果p ，那么q （或若p 则q ）；逆命题：若q 则p ； 否命题：若?p 则?q ；逆否命题：若?q 则?p . （2）四种命题之间的相互关系 这里，原命题与逆否命题，逆命题与否命题是等价命题. ●点击双基 1.由“p :8+7=16，q :π＞3”构成的复合命题，下列判断正确的是 A.p 或q 为真，p 且q 为假，非p 为真 B.p 或q 为假，p 且q 为假，非p 为真 C.p 或q 为真，p 且q 为假，非p 为假 D.p 或q 为假，p 且q 为真，非p 为真 解析：因为p 假，q 真，由复合命题的真值表可以判断，p 或q 为真，p 且q 为假，非p 为真. 答案：A 2.（2004年福建，3）命题p :若a 、b ∈R ，则|a |+|b |＞1是|a +b |＞1的充分而不必要条件； 命题q :函数y =2|1|--x 的定义域是（－∞，－1］∪［3，+∞），则 A.“p 或q ”为假 B.“p 且q ”为真 C. p 真q 假 D. p 假q 真 解析：∵|a +b |≤|a |+|b |， 若|a |+|b |＞1，不能推出|a +b |＞1，而|a +b |＞1，一定有|a |+|b |＞1，故命题p 为假.
充要条件（教材分析） 充要条件是中学数学中最重要的数学概念之一，它主要讨论了命题的条件与结 论之间的逻辑关系，目的是为今后的数学学习特别是数学推理的学习打下基础。在 教材中，这节内容被安排在数学选修2-1第一章中“常用逻辑用语”的第二节。除 了教学位置的前移之外，新教材中与充要条件相关联的知识体系也作了相应的扩充。 在“充要条件”这节内容前，还安排了“四种命题”这一节内容作为必要的知识铺 垫，为学生学习充要条件打下基础，也便于老师讲透充要条件这一基本数学概念。 显然，教材的这种处理，充分说明充要条件这一内容在整个高中数学体系中的基础 性和重要性，新教学大纲把教学目标定位在“掌握充要条件的意义”。 从教材编写角度看，新旧教材最大的差异在于对“充分条件”和“必要条件” 定义的处理上，旧教材中“充分条件”和“必要条件”是以如下方式分别定义的， “一般地，如果A成立，那么B成立，即A?B，这时我们就说条件A是B成立的充 分条件，也就是说，为使B成立，具备条件A就足够了。”“一般地，如果B成立， 那么A成立，即B?A，或者，如果A不成立，那么B就不成立，这时我们就说，条 件A是B成立的必要条件。也就是说，要使B成立，就必须A成立。因为‘B?A’ A?’是等价的，所以，如果A不成立，那么B就一定不成立，和它的逆命题‘B 也就是说，要使B成立，A就必须成立。”与旧教材大段枯燥难懂的表述相比，新教 材的定义显得更简洁精炼，“一般地，如果已知p?q，那么我们说，p是q的充分 条件，q是p的必要条件。”与定义表述的繁简成鲜明对照的是，新教材的例题、练 习题、习题数均大幅增加，是旧教材的两倍。显然，新教材的编写者在数学概念的 处理上贯彻了“淡化形式，注重实质”这一新的教学观，因此淡化了对定义的纯文 字叙述，而更注重学生从感性上去领悟，让学生在解题实践中加深理解。当然，一 次性给出定义也存在一定的不足，学生在判断条件与结论的逻辑关系之前，还必须 先分清何者是条件，何者是结论，这增加了学生理解上的困难。 ·1·
离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、 数理逻辑部分的综合练习，基本上是按照考试的题型(除单项选择题外) 安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1 .命题公式P (Q P)的真值是T或1 ______ . 2?设P:他生病了，Q:他出差了. R:我同意他不参加学习.则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P V Q)-R 3. ____________________________________________________________ 含有三个命题变项P，Q，R的命题公式P Q的主析取范式是__________________ _(P Q R) (P Q R)_ 4. 设P(x): x是人，Q(x): x去上课，则命题“有人去上课.” 可符号化为— x(P(x) Q(x))_ 5. 设个体域D = {a, b},那么谓词公式xA(x) yB(y)消去量词后的等值式为 (A(a) A(b)) (B(a) B(b))_ 6 .设个体域D = {1,2, 3}，A(x)为“x大于3”，则谓词公式(x)A(x)的真值为F 或0 ________________ . 7.谓词命题公式(x)((A(x) B(x)) C(y))中的自由变元为 ________ . 8 .谓词命题公式(x)(P(x) Q(x) R(x，y))中的约束变元为x _______ . 三、公式翻译题 1 .请将语句“今天是天晴”翻译成命题公式
第二章命题逻辑 §2.2 主要解题方法 2.2.1 证明命题公式恒真或恒假 主要有如下方法： 方法一.真值表方法。即列出公式的真值表，若表中对应公式所在列的每一取值全为1，这说明该公式在它的所有解释下都是真，因此是恒真的；若表中对应公式所在列的每
一取值全为0，这说明该公式在它的所有解释下都为假，因此是恒假的。 真值表法比较烦琐，但只要认真仔细，不会出错。 例2.2.1 说明G= (P∧Q→R)∧(P→Q)→(P→R)是恒真、恒假还是可满足。 解：该公式的真值表如下： 表2.2.1 由于表2.2.1中对应公式G所在列的每一取值全为1，故
G恒真。 方法二.以基本等价式为基础，通过反复对一个公式的等价代换，使之最后转化为一个恒真式或恒假式，从而实现公式恒真或恒假的证明。 例2.2.2 说明G= ((P→R) ∨? R)→ (? (Q→P) ∧ P)是恒真、恒假还是可满足。 解：由(P→R) ∨? R=?P∨ R∨? R=1，以及 ? (Q→P) ∧ P= ?（?Q∨ P）∧ P = Q∧? P∧ P=0 知，((P→R) ∨? R)→ (? (Q→P) ∧ P)=0，故G恒假。 方法三.设命题公式G含n个原子，若求得G的主析取范式包含所有2n个极小项，则G是恒真的；若求得G的主合取范式包含所有2n个极大项，则G是恒假的。 方法四. 对任给要判定的命题公式G，设其中有原子P1，P2，…，P n，令P1取1值，求G的真值，或为1，或为0，或成为新公式G1且其中只有原子P2，…，P n，再令P1取0值，求G真值，如此继续，到最终只含0或1为止，若最终结果全为1，则公式G恒真，若最终结果全为0，则公式G
作业参考答案——10-特殊图 1.(a)(c)(d)是欧拉图，(a)(b)(c)(d)(e)可以一笔画，(a)(b)(c)(d)(e)(f)(g)是 哈密顿图。 2.根据给定条件建立一个无向图G=
数至少为2，而V2中的每个结点度数至多为2，从而它满足t条件t=1，因此存在从V1到V2的匹配，故可分配。 5.此平面图具有五个面，如下图所示。 a b c d e f g r1r2 r3 r4 r5 ?r1，边界为abca，D(r1)=3; ?r2，边界为acga，D(r2)=3; ?r3，边界为cegc，D(r3)=3; ?r4，边界为cdec，D(r4)=3; ?r5，边界为abcdefega，D(r5)=8;无限面 6.设该连通简单平面图的面数为r，由欧拉公式可得，6?12+r=2，所以 r=8，其8个面分别设为r1,r2,r3,r4,r5,r6,r7,r8。因是简单图，故每个面至少由3条边围成。只要有一个面是由多于3条边所围成的，那就有所有面的次数之和 8∑ i=1 D(r i)>3×8=24。但是，已知所有面的次数之和等于边数的两倍，即2×12=24。因此每个面只能由3条边围成。 2
实用文档 【§1.3逻辑联结词与命题】 班级 姓名 学号 知识点：命题、命题的分类、判断；逻辑联结词“或”、“且”、“非”；真值表；四种命题的关系及真假判断；反证法；注意：否命题与命题的否定的区别。 例1．判断下列命题的真假：（1）命题“在△ABC 中，若AB>AC ，则∠C>∠B ”的逆命题； （2）命题“若ab=0，则a ≠0且b=0”的否命题； （3）若题“若a ≠0且b ≠0，则ab ≠0”的逆否命题； （4）命题“若a ≠0或b ≠0，则a 2+b 2>0”的逆命题。 例2．在下列关于直线m l 、与平面βα、的命题中，真命题的是 （ ） A ．若αβαβ⊥⊥?l l ，则且 B ．若αβαβ⊥⊥l l ，则且// C ．若αβαβ//l l ，则且⊥⊥ D ．若αβα////l m l m ，则且=? （04上海高考） 例3．写出下列命题的否定及否命题： （1）两组对边平行的四边形是平行四边形； （2）正整数1即不是质数也不是合数。
实用文档 例4．命题p ：若1||1||||,>+>+∈b a b a R b a 是则、的充分不必要条件；命题q ：函数2|1|--=x y 的定义域是(][)+∞-∞-,31, ，则 （ ） A ．“p 或q ”为假 B ．“p 且q ”为真 C ．p 真q 假 D ．p 假q 真 （04福建） 例5．已知函数()∞+∞-，在)(x f 上是增函数，R b a ∈、，对命题：“若,0≥+b a 则 )()()()(b f a f b f a f -+-≥+” 。（1）写出逆命题，判断真假，并证明你的结论。（2）写出逆否命题，判断真假，并证明你的结论。 【备用题】 证明：若“a 2+2ab+b 2+a+b －2≠0则a+b ≠1”为真命题. 【基础训练】 1．分别用“p 或q ”“p 且q ”“非p ”填空： ①“b 是自然数且为偶数”是__________形式； ②“－1不是方程x 2+3x+1=0的根”是_____________形式； ③“负数没有平方根”是 形式；④“方程x 2+3x+2=0的根是－2或－1”是___________形式；
盐城市文峰中学美术生高中数学复习教学案 §1集合与充要条件 【考点及要求】： 1.了解集合含义，体会“属于”和“包含于”的关系，全集与空集的含义； 2.了解并掌握集合之间交，并，补的含义与求法； 3.理解充分条件、必要条件与充要条件的意义，会判断充分条件、必要条件与充要条件. 【基础知识】： 1.集合中元素与集合之间的关系：文字描述为 和 符号表示为 和 2.常见集合的符号表示：自然数集 正整数集 整数集 有理数集 实数集 复数集 3.集合的表示方法1 2 3 4.集合间的基本关系：1)相等关系：_________A B B A ???且 2)子集：A 是B 的子集，符号表示为______或B A ? 3) 真子集：A 是B 的真子集，符号表示为_____或____ 5.不含任何元素的集合叫做 ，记作 ，并规定空集是任何集合的子集，是任何非空集合的 6.若已知全集U ，集合A U ?，则U C A = . 7.________A A ?=，_________A ??=，__________A A ?=， _________A ??=，_________U A C A ?=，_________U A C A ?=， 8.若A B ?，则____,___A B A B ?=?= 9.若q p ?,则p 是q 的 条件, q 是p 的 条件. 10.若q p ?,且p q ?,则p 是q 的 条件. 【基本训练】： 1.{}a a a ,202-∈，则a 的值等于_________. 2.若全集{}4,3,2,1,0=U ,且{}3,2=A C U ,则A 的真子集有 个. 3.集合{}{}02,12<-=>=x x x B x x A ，则______=?B A . 4.1>x 是x x >2的_____________ 条件. 【典型例题讲练】 例1.已知集合{}{} 03)32(,082222≤-+--=≤--=m m x m x x B x x x A （1） 若[]4,2=?B A ，求实数m 的值；
离散数学作业答案 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.假定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规则 第五章
充要条件中的基本关系2012-08-29、30 1. 已知R b a ∈,，则“00>>b a 且”是“00>>+ab b a 且” 2. 02≥++c bx ax 对R x ∈?恒成立的充要条件是 0,0≤?>且a 或 0,0≥==c b a 3. 直线0=++C By Ax 与圆()()22 2r b y a x =-+-()0>r 相切的充要条件是 r B A C Bb Aa =+++22 4. B A >是B A sin sin >的 （B A =？） 5. 3,221>>x x 是{6 52121>>+x x x x 的 条件。 6. ABC ?中，B A cos sin >是ABC ?为锐角三角形的 条件. 必 要不充分 7. 写出ABC ?为锐角三角形的一个充要条件： 8. 写出ABC ?为钝角三角形的一个充要条件： 9. 写出ABC ?为直角三角形的一个充要条件： C B A c o s c o s c o s 10. ABC ?中，c b a ,,是三边长，则222b a c +=是ABC ?为直角三角形的 充要条件吗？ 11. b a , 0<吗？（锐角？） 12. ⊥的充要条件是0=?. 13. 已知条件p : k =3，条件q ：直线y=kx +2与圆x 2+y 2=1相切，则p 是q 的 条件 14. 000≤+≤≤n m n m 则， 或若. 写出其逆命题、否命题、逆否命题.
15. 如果一个命题的否命题是“若0x y +≤，则0x ≤或0y ≤”，则这个命题 的逆命题为________________ 16. 在ABC ?中，“0>?AC AB ” 是 “ABC ?为锐角三角形” 17. 设命题p ：关于x 的不等式21110a x b x c ++>与22220a x b x c ++>的解集相同， 命题q ：111222a b c a b c ==，则命题q 是p 的_________条件 18. 已知p 是r 的充分条件而不是必要条件，q 是r 的充分条件，s 是r 的 必要条件，q 是s 的必要条件．现有下列命题： ①s 是q 的充要条件； ②p 是q 的充分条件而不是必要条件； ③r 是q 的必要条件而不是充分条件； ④?p 是?s 的必要条件而不是充分条件； ⑤r 是s 的充分条件而不是必要条件． 则正确命题序号是 19. 已知p ：23≤-x ，q ：()()011≤--+-m x m x ，若?p 是?q 的充分 而不必要条件，求实数m 的取值范围． 42≤≤m 20. 求证：关于x 的一元二次不等式012>+-ax ax 对于一切实数x 都成立 的充要条件是40<+-ax ax 对于一切实数x 都成立”推出“40<+-ax ax 对于一切实数x 都成立”. 21. 已知全集U ＝R ，非空集合A ＝??????????x |x －2x －(3a ＋1)<0，B ＝?????? ????x |x －a 2－2x －a <0. (1)当a ＝12时，求(?U B )∩A ； (2)命题p ：x ∈A ，命题q ：x ∈B ，若q 是p 的必要条件，求实数a 的
国开放大学离散数学本离 散数学作业答案 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、理解充分条件、必要条件及充要条件的概念；理解“ ”的含义。 2、初步掌握充分、必要条件及充要条件的判断方法。 3、在理解定义的基础上，能对定义进行转化，转化成推理关系及集合的包含关系。 过程与方法 1、培养学生的观察与类比能力：“会观察”，通过大量的问题，会观察其共性及个性。 2、培养学生的归纳能力：“敢归纳”，敢于对一些事例，观察后进行归纳，总结出一般规律。 3、培养学生的建构能力：“善建构”，通过反复的观察分析和类比，对归纳出的结论，建构于自己的知识体系中。 情感态度价值观 1、通过以学生为主体的教学方法，让学生自己构造数学命题，发展体验获取知识的感受。 2、通过对命题的四种形式及充分条件，必要条件的相对性，培养同学们的辩证唯物主义观点。 3、通过“会观察”，“敢归纳”，“善建构”，培养学生自主学习，勇于创新，多方位审视问题的创造技巧，敢于把错误的思维过程及弱点暴露出来，并在问题面前表现出浓厚的兴趣和不畏困难、勇于进取的精神。 教学重点 知识方面：充分条件、必要条件和充要条件三个概念的定义。在理解定义的基础上，可以自觉地对定义进行转化，转化成推理关系及集合的包含关系。 方法技能方面： 1、培养学生的观察与类比能力：“会观察”，通过大量的问题，会观察其共性及个性。 2、培养学生的归纳能力：“敢归纳”，敢于对一些事例，观察后进行归纳，总结出一般规律。 教学难点 ⑴在中q 是p的必要条件的理解； ⑵如何判断p是q的什么条件； ⑶判断命题条件与结论间关系时，条件p的确定 教学设计 一、创设情境，引入新课 思考1：当某一天你和你的妈妈在街上遇到老师的时候，你向老师介绍你的妈妈说：“这是我的妈妈．”那么，大家想一想这个时候你的妈妈还会不会补充说：“你是她的孩子”呢？为什么？【因为前面你所介绍的她是你的妈妈就足于说明你是她的孩子】 思考2：这在数学中是一层什么样的关系呢？【充分条件与必要条件】 二、复习回顾
离散数学作业 一、选择题 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 a b b a a b a * b b b a a a b a * a a b a a a b a * a b b b a a b a * A B C D 8、下列图中是欧拉图的是（ A ）。
2017秋课件作业 第一部分集合论 第一章集合的基本概念和运算 1-1设集合A={{2，3,4}，5，1}，下面命题为真是（选择题）[A] A．1∈A；B．2∈A；C．3∈A；D．{3，2,1}?A。 1-2A,B,C为任意集合，则他们的共同子集是（选择题）[D] A．C；B．A；C．B；D．?。 1-3设S={N，Z，Q，R}，判断下列命题是否正确（是非题） （1）N?Q，Q∈S，则N?S，［错］（2）-1∈Z，Z∈S，则-1∈S。［错］ 1-4设集合B={4，3}∩?，C={4，3}∩{?}，D={3，4，?}，E={x│x∈R并且x2-7x+12=0}，F={4，?，3，3}，试问：集合B与那个集合之间可用等号表示（选择题）[A] A.C; B.D; C.E; D. F. 1-5用列元法表示下列集合：A={x│x∈N且3－x〈3}（选择题）[D] A.N; B.Z; C.Q; D.Z+ 1-6为何说集合的确定具有任意性?(简答题) 答：按研究的问题来确定集合的元素。我们所要研究的问题当然是随意的呗。之所以，集合的定义（就是集合成分的确定）当然带有任意性哪。 第二章二元关系 2-1设A={1，2，3}，A上的关系R={〈1，2〉，〈2，1〉}∪IA， 试求：（综合题） (1)domR=?;(2)ranR=?;(3)R的性质。 （4）商集A/R=？（5）A的划分∏=？（6）合成运算（R。R）=？ 答：R={<1,2>,<1,3>,<2,3>，<1，1>，<2，2>，<3，3>}； (1)DomR={R中所有有序对的x}={3,2,1}; (2)RanR={R中所有有序对的y}={2,1,3}； (3)R的性质:自反,反对称,传递性质.这时，R不是等价关系。 （4）商集A/R={{1，2，3}，{2，3}，{3}}。由于R不是等价关系，所以，等价类之间出现交集。这是不允许的。请看下面的划分问题。 （5）A的划分∏={{1，2，3}，{2，3}，{3}}；也由于R不是等价关系，造成划分的荒谬结果：出现交集。试问：让“3”即参加第一组，又参加第二组，她该如何分配呢！！！ 所以，关系R必须是等价关系。至于作业中，此两题应说：因为R不是等价关系，此题无解。 2-2设R是正整数集合上的关系，由方程x+3y=12决定，即 R={〈x，y〉│x，y∈Z+且x+3y=12}， 试给出dom（R。R）。（选择题）[B] A.3； B.{3}； C.〈3，3〉； D.{〈3，3〉}。
命题及其关系、充要条件 编稿：周尚达审稿：张扬责编：张希勇 目标认知 学习目标： 1. 理解命题的概念，了解命题“若p,则q”的形式及其逆命题、否命题与逆否命题，会分析四种命题的 相互关系. 2. 理解必要条件、充分条件与充要条件的意义. 重点： 四个命题与充分必要条件的理解与判定 难点： 充要条件的判定 知识要点梳理 知识点一：命题 1. 命题的定义： 用语言、符号或式子表达的，可以判断真假的陈述句叫做命题。其中判断为真的语句叫真命题，判断为假的语句叫假命题。 要点诠释： 1. 不是任何语句都是命题，不能确定真假的语句不是命题，如“”，“2不一定大于3”。 2. 只有能够判断真假的陈述句才是命题。祈使句，疑问句，感叹句都不是命题，例如：“起立”、 “p是有理数吗？”、“共产党万岁！”等。 3. 语句能否确定真假是判断其是否是命题的关键。一个命题要么是真，要么是假，不能既真又假，模 棱两可。命题陈述了我们所思考的对象具有某种属性，或者不具有某种属性，这类似于集合中元素 的确定性。 2. 命题的表达形式： 命题可以改写成“若，则”的形式，或“如果，那么”的形式。其中是命
题的条件，是命题的结论。 知识点二：四种命题 （一）四种命题的形式 原命题：“若，则”； 逆命题：“若，则”；实质是将原命题的条件和结论互相交换位置； 否命题：“若非，则非”，或“若，则”；实质是将原命题的条件和结论两者分别否定； 逆否命题：“若非，则非”，或“若，则”；实质是将原命题的条件和结论两者分别否定后再换位或将原命题的条件和结论换位后再分别否定。 要点诠释： 对于一般的数学命题，要先将其改写为“若，则”的形式，然后才方便写出其他形式的命题。 （二）四种命题之间的关系 （1）互为逆否命题的两个命题同真同假； （2）互为逆命题或互为否命题的两个命题的真假无必然联系。
『离散数学』课程 作业3： P64：3 某班有25个学生，其中14人会打篮球，12人会打排球，6人会打篮球和排球，5人会打篮球和网球，还有2人会打这三种球。已知6个会打网球的人中有4人会打排球。求不会打球的人数。 解：直接使用容斥原理。我们做如下设定： A：会打篮球的学生；B：会打排球的学生；C：会打网球的学生； 根据题意：|E|=25，|A|=14，|B|=12，|C|=6，|A∩B|=6，|A∩C|=5，|B∩C|=4，|A∩B∩C|=2 由容斥原理: |A∪B∪C|＝|A|＋|B|＋|C|－|A∩B|－|A∩C|－|B∩C|＋|A∩B∩C|=14+12+6-6-5-4+2=19 —————————————————————————————————————— 但相当一部分同学没有直接使用容斥原理， 而是画了文氏图。 使用文氏图的方法，会发现此题存在问题： 表示只会打网球的同学是-1人， 此种情况与实际不符。 这可能是作者的疏忽，该教材第一版中， “已知6个会打网球的人中有4人会打排球。” 一句是写作 “已知6个会打网球的人都会打篮球或排球。” 则用容斥原理或文氏图，都可以得到5的结果。 A：会打篮球的学生；B：会打排球的学生；C：会打网球的学生； 根据题意：|E|=25，|A|=14，|B|=12，|C|=6，|A∩B|=6，|A∩C|=5，|A∩B∩C|=2 因为“会打网球的人都会打篮球或排球。” 所以C =（A∩C）∪（B∩C） 由容斥原理: |C|=|（A∩C）∪（B∩C）| = |（A∩C）|+|（B∩C）|-|（A∩C）∩（B∩C）| 可知|（B∩C）|= |C|-|（A∩C）|+|（A∩C）∩（B∩C）| = 6-5+2=3 |A∪B∪C|＝|A|＋|B|＋|C|－|A∩B|－|A∩C|－|B∩C|＋|A∩B∩C| =14+12+6-6-5-3+2=20
命题与逻辑联结词 一、命题与逻辑联结词 1、命题定义 可以判断真假的语句叫“命题” 2、分类 简单命题 复合命题（由简单命题与逻辑联结词构成） p 或q ：q p ∨ p 且q ：q p ∧ 非p ：p ?（命题p 的否定） 3、判断复杂命题的真假 一真或真，一假且假. 4、四种命题 （1）原命题. 若p ，则q . （2）逆命题 若q ，则p . （3）否命题 若p ?，则q ?. （4）逆否命题 若q ?，则p ?. 5、四种命题关系 （1）原命题与逆否命题同真同假. （2）逆命题与否命题同真同假. 6、命题的否定与否命题. （1）命题的否定：（只否定结论）. p 表示命题，非p 叫做命题的否定； 若p 则q ，则命题的否定为：若p 则q ? （2）否命题（既否定条件，又否定结论） 若p 则q 的否命题为： 若p ?则q ?. 二、充分条件与必要条件. 1、充分条件 若q p ?，则p 是q 的充分条件（q 的充分条件p ） 2、必要条件 若q p ?，则q 是p 的充分条件（p 的充分条件q ） 3、充要条件 若q p ?且p q ?（或q p ?）则p 是q 的充要条件。 4、充分条件与必要条件判定 （1）数轴法 （2）集合法
（3）等价法 三：全称量词与存在量词 1、 全称量词：“所有的”.“任意一个”.“每个”，用“?”表示。 存在量词：“存在一个”.“至少有一个”.“有些”，用“?”表示. 2、 全称命题（含有全称量词的命题）：();,x p M x ∈? 特称命题（含有存在量词的命题）：().,00x p M x ∈? 3、含有一个量词的命题的否定. 命题 命题的否定 ()X P M x ,∈? ()00,x p M x ?∈? ()00,x p M x ∈? ()x p M x ?∈?, 4、一些常用正面描述的词语的否定形式： 正面词语 = > < 是 都是 一定 否定词语 ≠ ≤ ≥ 不是 不都是 不一定 正面词语 至多有一个 至少有一个 至多有n 个 至少有n 个 P 或q P 且q 否定词语 至少有两个 一个也没有 至少有n +1个 至多有n -1个 非p 且非q 非p 或非q