离散数学2联结词(否定、合取)
联结词
----否定、合取
复合命题是用“联结词”将原子命题联结起来构成的.
归纳自然语言中的联结词，定义了六个逻辑联结词：
(1)否定“?”
(2)合取“∧”
(3) 析取“∨”和异或“”
∨
(4) 条件（蕴涵）“→”
(5)双条件（等价）“?”或记做“?”
一. 否定“?”
表示：“…不成立”，“不…”.
用于：对一个命题P的否定，写成?P，并读成“非P”.
?P的真值：与P真值相反.
例 P：2是素数.
?P：2不是素数. P ?P F T T F
例1. P: 天津是一个城市.
Q: 3是偶数.
于是: ? P: 天津不是一个城市.
? Q: 3不是偶数.
例2. P:济宁学院处处清洁.
Q:这些都是男同学.
(注意,不是处处不清洁)? P:济宁学院不处处清洁.
? Q:这些不都是男同学.
二. 合取“∧”
表示：“并且”、“不但…而且...”、“既…又...” “尽管…还…”.
例 P：小王能唱歌.
Q：小王能跳舞.
P∧Q：小王能歌善舞. P∧Q读成P合取Q.
P∧Q的真值为真，当且仅当P和Q的真值均为真.P Q P∧Q F F F F T F T F F T T T
例3. 将下列命题符号化:
(1)李平既聪明又用功.
(2)李平虽然聪明, 但不用功.
(3)李平不但聪明,而且用功.
(4)李平不是不聪明,而是不用功.
解: 设P:李平聪明. Q:李平用功.
则 (1) P∧Q (2) P∧? Q
(3) P∧Q (4) ?(? P)∧? Q
例4. 翻译下列命题的合取.
(1) P: 我们在C403教室. Q: 今天是星期二.
(2) S：李平在吃饭. R：张明在吃饭.
解: (1) P∧Q :我们在C403教室且今天是星期二.
(2) S∧R:李平与张明在吃饭.
“∧”与日常语言中“与”“和”的不同之处：
（1）逻辑学中允许两个相互独立无关，甚至相反的原子命题生成一个新命题.
（2）自然语言中有时在不同意义时可以同时使用“与”“和”，但是不能都用“∧”翻译.（如：我和你是好朋友.李敏和李华是姐妹.）
说明：“∧”属于二元运算符.
合取运算特点：只有参与运算的二命题全为真时，运算结果才为真，否则为假.自然语言中的表示“并且”意思的联结词，如“既…又…”、“不但…而且…”、“虽然…但是…”、“一面…一面…”、“…和…”、“…与…”等都可以符号化为∧.
2014年高考一轮复习数学教案：1.2 逻辑联结词与四种命题
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 为假.
离散数学上机实验1
实验1 1实验内容 （1）求任意一个命题公式的真值表。 （2）利用真值表求任意一个命题公式的主范式。 （3）利用真值表进行逻辑推理。 注：（2）和（3）可在（1）的基础上完成。 2实验目的 真值表是命题逻辑中的一个十分重要的概念，利用它几乎可以解决命题逻辑中的所有问题。例如，利用命题公式的真值表，可以判断命题公式的类型、求命题公式的主范式、判断两命题公式是否等价，还可以进行推理等。 本实验通过编写一个程序，让计算机给出命题公式的真值表，并在此基础上进行命题公式类型的判定、求命题公式的主范式等。目的是让学生更加深刻地理解真值表的概念，并掌握真值表的求解方法及其在解决命题逻辑中其他问题中的应用。 3算法的主要思想 利用计算机求命题公式真值表的关键是：①给出命题变元的每一组赋值；②计算命题公式在每一组赋值下的真值。 真值表中命题变元的取值具有如下规律：每列中0 和1 是交替出现的，且0 和1 连续出现的个数相同。n 个命题变元的每组赋值的生成算法可基于这种思想。 含有n个命题变元的命题公式的真值的计算采用的方法为“算符优先法”。 为了程序实现的方便，约定命题变元只用一个字母表示，非、合取、析取、蕴含和等价联结词分别用！、&、|、－、＋来表示。 算符之间的优先关系如表1-1所示： 表1-1算符优先级
优先算法，我们采用两个工作栈。一个称作OPTR，用以寄存运算符；另一个称作OPND，用以寄存操作数或运算结果。算法的基本思想是： （1）首先设置操作数栈为空栈，符号“@”为运算符的栈底元素； （2）调用函数Divi（exp，myopnd）得到命题公式包含的命题变元序列myopnd （按字典序排列，同一个命题变元只出现一次）； （3）依次读入命题公式中的每个字符，若是命题变元则其对应的赋值进OPND 栈，若是运算符，则和OPTR栈的栈顶运算符比较后作相应操作，直至整个命题公式求值完毕。
屈婉玲版离散数学课后习题答案【2】
第四章部分课后习题参考答案 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)在两个个体域中都解释为)(x xF ?，在（a ）中为假命题，在(b)中为真命题。 (2)在两个个体域中都解释为)(x xG ?，在（a ）(b)中均为真命题。 4. 在一阶逻辑中将下列命题符号化: (1) 没有不能表示成分数的有理数. (2) 在北京卖菜的人不全是外地人. 解: (1)F(x): x 能表示成分数 H(x): x 是有理数 命题符号化为: ))()((x H x F x ∧??? (2)F(x): x 是北京卖菜的人 H(x): x 是外地人 命题符号化为: ))()((x H x F x →?? 5. 在一阶逻辑将下列命题符号化: (1) 火车都比轮船快. (3) 不存在比所有火车都快的汽车. 解: (1)F(x): x 是火车; G(x): x 是轮船; H(x,y): x 比y 快
命题符号化为: )) F x G x→ ∧ ? ? y y ( )) ( ) , x ((y ( H (2) (1)F(x): x是火车; G(x): x是汽车; H(x,y): x比y快 命题符号化为: ))) x x F y y→ ?? ∧ ? G (y H ( , ( ) ( ( x ) 9.给定解释I如下: (a) 个体域D为实数集合R. (b) D中特定元素错误！未找到引用源。=0. (c) 特定函数错误！未找到引用源。(x,y)=x错误！未找到引用源。y,x,y D ∈错误！未找到引用源。. (d) 特定谓词错误！未找到引用源。(x,y):x=y,错误！未找到引用源。(x,y):x 离散数学答案屈婉玲版 第二版高等教育出版社课后答案 第一章部分课后习题参考答案 16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r)?0∨(0∧1) ?0 （2）（pr）∧(﹁q∨s) ?（01）∧(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 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，所以这一段的论述为真。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 所以公式类型为永真式 （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 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 0 0 1 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) 实验一命题逻辑公式化简 【实验目的】加深对五个基本联结词（否定、合取、析取、条件、双条件）的理解、掌握利用基本等价公式化简公式的方法。 【实验内容】用化简命题逻辑公式的方法设计一个表决开关电路。 实验用例：用化简命题逻辑公式的方法设计一个 5 人表决开关电路，要求 3 人以上（含 3 人）同意则表决通过（表决开关亮）。 【实验原理和方法】 （1）写出5人表决开关电路真值表，从真值表得出5 人表决开关电路的主合取公式（或主析取公式），将公式化简成尽可能含五个基本联结词最少的等价公式。 （2）上面公式中的每一个联结词是一个开关元件，将它们定义成 C 语言中的函数。 （3）输入5人表决值（0或1），调用上面定义的函数，将5人表决开关电路真值表的等价公式写成一个函数表达式。 （4）输出函数表达式的结果，如果是1，则表明表决通过，否则表决不通过。 参考代码： #include 离散数学实验报告（实验ABC） 专业班级 学生姓名 学生学号 指导老师 完成时间 目录 第一章实验概述..................................... 错误!未定义书签。 实验目的....................................... 错误!未定义书签。 实验内容....................................... 错误!未定义书签。 实验环境....................................... 错误!未定义书签。第二章实验原理和实现过程........................... 错误!未定义书签。 实验原理....................................... 错误!未定义书签。 建立图的邻接矩阵，判断图是否连通 ............ 错误!未定义书签。 计算任意两个结点间的距离 ................... 错误!未定义书签。 对不连通的图输出其各个连通支 ................ 错误!未定义书签。 实验过程（算法描述）........................... 错误!未定义书签。 程序整体思路 ............................... 错误!未定义书签。 具体算法流程 ................................ 错误!未定义书签。第三章实验数据及结果分析........................... 错误!未定义书签。 建立图的邻接矩阵并判断图是否连通的功能测试及结果分析错误!未定义书签。 输入无向图的边 .............................. 错误!未定义书签。 建立图的连接矩阵 ............................ 错误!未定义书签。 其他功能的功能测试和结果分析................... 错误!未定义书签。 计算节点间的距离 ............................ 错误!未定义书签。 判断图的连通性 .............................. 错误!未定义书签。 输出图的连通支 .............................. 错误!未定义书签。 退出系统 .................................... 错误!未定义书签。第四章实验收获和心得体会........................... 错误!未定义书签。 名师作业练全能 第三讲逻辑联结词与四种命题充要条件班级________ 姓名___________ 考号 __________ 日期__________ 得分___________ 一、选择题：(本大题共6小题，每小题6分，共36分，将正确答案的代号填在题后的 括号内.) 1. (2010天津)命题“若f(x)是奇函数，贝U f(—x)是奇函数”的否命题是() A .若f(x)是偶函数，则f(—x)是偶函数 B ?若f(x)不是奇函数，则f( —x)不是奇函数 C.若f( —x)是奇函数，则f(x)是奇函数 D ?若f( —x)不是奇函数，则f(x)不是奇函数 解析：否命题是既否定题设又否定结论?因此否命题应为“若函数f(x)不是奇函数，则 f(—X)不是奇函数”. 答案：B 2. (2011大庆模拟)若命题p：x€ M U N,则綈p是() A . x?M? N B . x?M 或x?N C. x?M 且x?N D . x€ M n N 解析：x€ M U N, 即卩x€ M 或x€ N, ???綈p：x?M 且x?N. 答案：C 3. (2011北京东城区模拟)已知命题p, q，若p且q为真命题，则必有() A . p真q真 B . p假q假 C. p真q假 D . p假q真 答案：A 4. (2011东城区)设命题p：x>2是X2>4的充要条件，命题q：若字电，则a>b.则( ) A .“ p或q”为真 B .“ P且q”为真 C . p真q假 D . p, q均为假命题 2 2 a b 解析：依题意，由x>2? X2>4，而X2>4D?/X>2，所以命题p是假命题，又由二>二，两C C 边同时乘以c2得a>b，所以命题q正确，所以选择 A. 答案：A 5. 有下列四个命题： ①“若x+ y= 0,则x、y互为相反数”的否命题; 《离散数学》 课程设计 学院计算机学院 学生姓名 学号 指导教师 评阅意见 提交日期 2011 年 11 月 25 日 引言 《离散数学》是现代数学的一个重要分支，也是计算机科学与技术，电子信息技术，生物技术等的核心基础课程。它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后爱念族皮及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具。 实验一、编程判断一个二元关系的性质（是否具有自反性、反自反性、对称性、反对称性和传递性） 一、前言引语：二元关系是离散数学中重要的内容。因为事物之间总是可以根据需要确定相应的关系。从数学的角度来看，这类联系就是某个集合中元素之 间存在的关系。 二、数学原理：自反、对称、传递关系 设A和B都是已知的集合，R是A到B的一个确定的二元关系，那么集合R 就是A×B的一个合于{()∈A×}的子集合 设R是集合A上的二元关系： 自反关系：对任意的x∈A,都满足<>∈R，则称R是自反的，或称R具有自反性，即R在A上是自反的?(?x)((x∈A)→(<>∈R))=1 对称关系：对任意的∈A，如果<>∈R，那么<>∈R，则称关系R是对称的，或称R具有对称性，即R在A上是对称的? (?x)(?y)((x∈A)∧(y∈A)∧(<>∈R)→(<>∈R))=1 传递关系：对任意的∈A，如果<>∈R且<>∈R，那么<>∈R，则称关系R是传递的，或称R具有传递性，即R在A上是传递的? (?x)(?y)(?z)[(x∈A)∧(y∈A)∧(z ∈A)∧((<>∈R)∧(<>∈R)→(<>∈R))]=1 三、实验原理：通过二元关系与关系矩阵的联系，可以引入N维数组，以数组的运算来实现二元关系的判断。 图示： 第一章 命题逻辑 习题与解答 ⒈ 判断下列语句是否为命题，并讨论命题的真值。 ⑴ 2x - 3 = 0。 ⑵ 前进！ ⑶ 如果8 + 7 > 20，则三角形有四条边。 ⑷ 请勿吸烟！ ⑸ 你喜欢鲁迅的作品吗？ ⑹ 如果太阳从西方升起，你就可以长生不老。 ⑺ 如果太阳从东方升起，你就可以长生不老。 解 ⑶,⑹,⑺表达命题，其中⑶,⑹表达真命题，⑺表达假命题。 ⒉ 将下列命题符号化： ⑴ 逻辑不是枯燥无味的。 ⑵ 我看见的既不是小张也不是老李。 ⑶ 他生于1963年或1964年。 ⑷ 只有不怕困难，才能战胜困难。 ⑸ 只要上街，我就去书店。 ⑹ 如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐。 ⑺ 如果林芳在家里，那么他不是在做作业就是在看电视。 ⑻ 三角形三条边相等是三个角相等的充分条件。 ⑼ 我进城的必要条件是我有时间。 ⑽ 他唱歌的充分必要条件是心情愉快。 ⑾ 小王总是在图书馆看书，除非他病了或者图书馆不开门。 解 ⑴ p ：逻辑是枯燥无味的。 “逻辑不是枯燥无味的”符号化为 ?p 。 ⑵ p ：我看见的是小张。q ：我看见的是老李。 “我看见的既不是小张也不是老李”符号化为q p ?∧?。 ⑶ p ：他生于1963年。q ：他生于1964年。 “他生于1963年或1964年”符号化为p ⊕ q 。 ⑷ p ：害怕困难。q ：战胜困难。 “只有不怕困难，才能战胜困难”符号化为q → ? p 。 ⑸ p ：我上街。q ：我去书店。 “只要上街，我就去书店”符号化为p → q 。 ⑹ p ：小杨晚上做完了作业。q ：小杨晚上没有其它事情。 r ：小杨晚上看电视。s ：小杨晚上听音乐。 “如果晚上做完了作业并且没有其它事情，小杨就看电视或听音乐”符号化为s r q p ∨→∧。 ⑺ p ：林芳在家里。q ：林芳做作业。r ：林芳看电视。 “如果林芳在家里，那么他不是在做作业就是在看电视”符号化为r q p ∨→。 ⑻ p ：三角形三条边相等。q ：三角形三个角相等。 常用逻辑用语与充要条件 【高考考情解读】 1.本讲在高考中主要考查集合的运算、充要条件的判定、含有一个量词的命题的真假判断与否定，常与函数、不等式、三角函数、立体几何、解析几何、数列等知识综合在一起考查.2.试题以选择题、填空题方式呈现，考查的基础知识和基本技能，题目难度中等偏下． 1．命题的定义 用语言、符号或式子表达的，可以判断真假的陈述句叫做命题．其中判断为真的语句叫真命题，判断为假的语句叫假命题． 2．四种命题及其关系 (1)原命题为“若p则q”，则它的逆命题为若q则p ；否命题为若┐p则┐q ；逆否命题为若┐q则┐p . (2)原命题与它的逆否命题等价；逆命题与它的否命题等价．四种命题中原命题与逆否命题同真同假，逆命题与否命题同真同假，遇到复杂问题正面解决困难的，采用转化为反面情况处理，即，可以转化为判断它的逆否命题的真假． 命题真假判断的方法： (1)对于一些简单命题，若判断其为真命题需推理证明．若判断其为假命题只需举出一个反例． (2)对于复合命题的真假判断应利用真值表． (3)也可以利用“互为逆否命题”的等价性，判断其逆否命题的真假． 3．充分条件与必要条件的定义 (1)若p?q且q p，则p是q的充分非必要条件． (2)若q?p且p q，则p是q的必要非充分条件． (3)若p?q且q?p，则p是q的充要条件． (4)若p q且q p，则p是q的非充分非必要条件． 设集合A＝{x|x满足条件p}，B＝{x|x满足条件q}，则有 (1)若A?B，则p是q的充分条件，若A?B，则p是q的充分不必要条件； (2)若B?A，则p是q的必要条件，若B?A，则p是q的必要不充分条件； (3)若A＝B，则p是q的充要条件； (4)若A B，且B A，则p是q的既不充分也不必要条件． 2．充分、必要条件的判定方法 (1)定义法，直接判断若p则q、若q则p的真假． (2)传递法． (3)集合法：若p以集合A的形式出现，q以集合B的形式出现，即A＝{x|p(x)}，B＝{x|q(x)}，则①若A?B，则p是q的充分条件；②若B?A，则p是q的必要条件；③若A＝B，则p是q 的充要条件． (4)等价命题法：利用A?B与┐B?┐A，B?A与┐A?┐B，A?B与┐B?┐A的等价关系，对于条件或结论是否定式的命题，一般运用等价法，利用原命题和逆否命题是等价的这个结论，有时可以准确快捷地得出结果，是反证法的理论基础． 1．简单的逻辑联结词 (1)命题中的“且”、“或”、“非”叫作逻辑联结词． (2)简单复合命题的真值表： p q ┐p ┐q p或q p且 q ┐(p或q) ┐(p且 q) ┐p或 ┐q ┐p且 ┐q 真真假假真真假假假假 真假假真真假假真真假 假真真假真假假真真假 假假真真假假真真真真 2. 全称量词与存在量词 (1)常见的全称量词有“任意一个”“一切”“每一个”“任给”“所有的”等． (2)常见的存在量词有“存在一个”“至少有一个”“有些”“有一个”“某个”“有 的”等． 3．全称命题与特称命题 (1)含有全称量词的命题叫全称命题． (2)含有存在量词的命题叫特称命题． 4．命题的否定 (1)全称命题的否定是特称命题；特称命题的否定是全称命题． 离散数学课后习题答案(左孝凌版) 1-1，1-2解： a)是命题，真值为T。 b)不是命题。 c)是命题，真值要根据具体情况确定。 d)不是命题。 e)是命题，真值为T。 f)是命题，真值为T。 g)是命题，真值为F。 h)不是命题。 i)不是命题。 （2）解： 原子命题：我爱北京天安门。 复合命题：如果不是练健美操，我就出外旅游拉。 （3）解： a)(┓P ∧R)→Q b)Q→R c)┓P d)P→┓Q （4）解： a)设Q:我将去参加舞会。R:我有时间。P:天下雨。 Q (R∧┓P):我将去参加舞会当且仅当我有时间和天不下雨。 b)设R:我在看电视。Q:我在吃苹果。 R∧Q:我在看电视边吃苹果。 c) 设Q:一个数是奇数。R:一个数不能被2除。 （Q→R）∧(R→Q):一个数是奇数，则它不能被2整除并且一个数不能被2整除，则它是奇数。 (5) 解： a)设P：王强身体很好。Q：王强成绩很好。P∧Q b)设P：小李看书。Q：小李听音乐。P∧Q c)设P：气候很好。Q：气候很热。P∨Q d)设P： a和b是偶数。Q：a+b是偶数。P→Q e)设P：四边形ABCD是平行四边形。Q ：四边形ABCD的对边平行。P Q f)设P：语法错误。Q：程序错误。R：停机。（P∨ Q）→ R (6) 解： a)P:天气炎热。Q:正在下雨。 P∧Q b)P:天气炎热。R:湿度较低。 P∧R c)R:天正在下雨。S:湿度很高。 R∨S d)A:刘英上山。B:李进上山。 A∧B e)M:老王是革新者。N:小李是革新者。 M∨N f)L:你看电影。M:我看电影。┓L→┓M g)P:我不看电视。Q:我不外出。 R:我在睡觉。 P∧Q∧R h)P:控制台打字机作输入设备。Q:控制台打字机作输出设备。P∧Q 1-3 （1）解： 命题与逻辑联结词 一、命题与逻辑联结词 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 高三第一轮复习数学---逻辑联结词与四种命题 一、教学目标：了解命题的概念和命题的构成；理解逻辑联结词“或”“且”“非”的含义； 理解四种命题及其互相关系；反证法在证明过程中的应用． 二、教学重点：复合命题的构成及其真假的判断，四种命题的关系． 三、教学过程： （一）主要知识： （一）逻辑联结词 1．命题：可以判断真假的语句叫做命题 2．逻辑联结词：“或（∨）”、“且（∧）”、“非（┐）”这些词叫做逻辑联结词。 或：两个简单命题至少一个成立 且：两个简单命题都成立， 非：对一个命题的否定 3．简单命题与复合命题：不含逻辑联结词的命题叫做简单命题；由简单命题与逻辑联结词构成的命题叫做复合命题。 4．表示形式：用小写的拉丁字母p 、q 、r 、s …来表示简单的命题， 复合命题的构成形式有三类：“p 或q ”、“p 且q ”、“非p ” 5． 1．一般地，用p 和q 分别表示原命题的条件和结论，用┐p 和┐q 分别表示p 和q 的否定。于是四种命题的形式为： 原命题：若p 则q （q p ?） 逆命题：若q 则p )(p q ? 否命题：若┐p 则┐q )(q p ??? 逆否命题：若┐q 则┐p )(p q ??? 2．四种命题的关系： 3．一个命题的真假与其它三个命题的真假有如下四条关系： （1）原命题为真，它的逆命题不一定为真。 （2）原命题为真，它的否命题不一定为真。 （3）原命题为真，它的逆否命题一定为真。 互 逆 互 为 为 否 逆 逆 互 互 互 逆 （4）逆命题为真，否命题一定为真。 （三）几点说明 1．逻辑联结词“或”的理解是难点，“或”有三层含义： 以“P 或q ”为例：一是p 成立但q 不成立，二是p 不成立但q 成立，三是p 成立且q 成立， 2．对命题的否定只是否定命题的结论，而否命题既否定题设又否定结论 3．真值表 P 或q ：“一真为真”， P 且q ：“一假为假” 4．互为逆否命题的两个命题等价，为命题真假判定提供一个策略。 5．反证法运用的两个难点：1）何时使用反证法 2）如何得到矛盾。 （二）主要方法： 1．逻辑联结词“或”“且”“非”与集合中的并集、交集、补集有着密切的关系，解题时注意类比； 2．通常复合命题“p 或q ”的否定为“p ?且q ?”、“p 且q ”的否定为“p ?或q ?”、“全为”的否定是“不全为”、“都是”的否定为“不都是”等等； 3．有时一个命题的叙述方式比较的简略，此时应先分清条件和结论，该写成“若p ，则q ”的形式； 4．反证法中出现怎样的矛盾，要在解题的过程中随时审视推出的结论是否与题设、定义、定理、公理、公式、法则等矛盾，甚至自相矛盾． （三）例题分析： 例1．已知复合命题形式，指出构成它的简单命题， （1）等腰三角形顶角的角平分线垂直平分底边， （2）垂直于弦的直径平分这条弦且平分弦所对的两条弧， （3）34≥ （4）平行四边形不是梯形 解：（1）P 且q 形式，其中p ：等腰三角形顶角的角平分线垂直底边， q ：等腰三角形顶角的角平分线平分底边； （2）P 且q 形式，其中p ：垂直于弦的直径平分这条弦， q ：垂直于弦的直径平分这条弦所对的两条弧 （3）P 或q 形式，其中p ：4＞３，q ：４＝３ （4）非p 形式：其中p ：平行四边形是梯形。 练习1（变式1）分别写出下列各组命题构成的“p 或q ”、“p 且q ”、“非p ”形式的复合命题 （1）p ：5是有理数，q ：5是无理数 （2）p ：方程x 2+2x-3=0的两根符号不同，q ： 方程x 2+2x-3=0的两根绝对值不同。 例2．（四种命题之间的关系）写出下列命题的逆命题、否命题、逆否命题，并判断它们的真假。 （1）若q<1，则方程x 2+2x+q=0有实根，（2）若ab=0，则a=0或b=0，（3）若x 2+y 2=0，则x 、y 全为零。 解：（1）逆命题：若方程x 2+2x+q=0有实根，则q<1，（假） 否命题：若q ≥1，则方程x 2+2x+q=0无有实根，（假） 逆否命题：若方程x 2+2x+q=0无实根，则q ≥1，（真） （2）逆命题：若a=0或b=0，则ab=0，（真） 否命题：若ab ≠0，则a ≠0且 b ≠0，（真） 逆否命题：若a ≠0且 b ≠0，则ab ≠0，（真） （3）逆命题：若x 、y 全为零，则x 2+y 2=0（真） 课时训练3 逻辑联结词与四种命题 【说明】 本试卷满分100分，考试时间90分钟. 一、选择题（每小题6分，共42分） 1.命题“若a>b,则a-5>b-5”的逆否命题是（ ） A.若a 离散数学实验指导书2015 年3月6 日 绪言 通常对离散数学教学的认识就是上课老师讲述一个个概念、定理、公式和例题，学生背概念、公式，理解基础上记忆定理，然后据此做证明题、计算以及解题。实质上离散数学不仅仅是这些，还有实验。在理论教学过程中，学生的活动只是“智力活动”，或更为直接地说是解题活动，教师在上面讲离散数学，而学生则每天在课堂上听课并在纸上做题目。这样，对多数学生而言，离散数学的发现探索活动没有能够真正开展起来。 离散数学实验教学，通常由教师提出问题，让学生在计算机上做实验，利用小组合作学习或者组织全班讨论，开展研究性学习活动；实验过程中，依靠计算机，让学生主动参与发展、探究、解决问题，从中获得离散数学研究、解决实际问题的过程体验、情感体验，产生成就感，进而开发学生的创新潜能，因而对离散数学实验课程教学进行研究具有重要意义。 利用计算机进行离散数学实验教学，不仅是开展离散数学研究性学习的一种有效方式，而且也为数据结构及程序设计课程教学的开展提升了层次。知识经济时代对创新人才的需求与离散数学教育中忽视学生创造性能力培养的矛盾日益凸显。在教学中倡导研究性学习，开展离散数学实验课程教学的研究与探索，与当前社会对离散数学教学的需求是一致的。 目前国内外很少有人对离散数学实验课程教学进行研究，尤其是国内进行这方面研究的人员更少，人们更重视离散数学理论课程教学的研究，忽视了离散数学实验课程对理论课程教学的辅助与促进作用，也忽视了离散数学实验课程与数据结构等课程的有机联系。因而本学期离散数学课程组依据“2014培养方案”准备进行离散数学实验课程教学的研究与探索，以便更好的做好离散数学课程的教学改革工作。 主要包括四个部分：集合与关系、数理逻辑、代数系统、图论。要求学生了解算法，理解运用C或C++语言（也可以是其他高级程序设计语言）把书中的部分内容的算法编写出能在计算机上运行的程序的思想，掌握实现离散数学部分算法程序设计的基本编程技术。 离散数学课后答案 习题一 6.将下列命题符号化。 （1）小丽只能从框里那一个苹果或一个梨. （2）这学期，刘晓月只能选学英语或日语中的一门外语课. 答： （1）（p Λ?q ）ν（?pΛq）其中p:小丽拿一个苹果，q:小丽拿一个梨（2）（p Λ?q ）ν（?pΛq）其中p:刘晓月选学英语，q:刘晓月选学日语 14.将下列命题符号化. (1) 刘晓月跑得快, 跳得高. (2)老王是山东人或河北人. (3)因为天气冷, 所以我穿了羽绒服. (4)王欢与李乐组成一个小组. (5)李辛与李末是兄弟. (6)王强与刘威都学过法语. (7)他一面吃饭, 一面听音乐. (8)如果天下大雨, 他就乘班车上班. (9)只有天下大雨, 他才乘班车上班. (10)除非天下大雨, 他才乘班车上班. (11)下雪路滑, 他迟到了. (12)2与4都是素数, 这是不对的. (13)“2或4是素数, 这是不对的”是不对的. 答： (1)p∧q, 其中, p: 刘晓月跑得快, q: 刘晓月跳得高. (2)p∨q, 其中, p: 老王是山东人, q: 老王是河北人. (3)p→q, 其中, p: 天气冷, q: 我穿了羽绒服. (4)p, 其中, p: 王欢与李乐组成一个小组, 是简单命题. (5)p, 其中, p: 李辛与李末是兄弟. (6)p∧q, 其中, p: 王强学过法语, q: 刘威学过法语. (7)p∧q, 其中, p: 他吃饭, q: 他听音乐. (8)p→q, 其中, p: 天下大雨, q: 他乘班车上班. (9)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (10)p→q, 其中, p: 他乘班车上班, q: 天下大雨. (11)p→q, 其中, p: 下雪路滑, q: 他迟到了. (12) ? (p∧q)或?p∨?q, 其中, p: 2是素数, q: 4是素数. (13) ? ? (p∨q)或p∨q, 其中, p: 2是素数, q: 4是素数. 16. 19.用真值表判断下列公式的类型: (1)p→ (p∨q∨r) (2)(p→?q) →?q 逻辑联结词、四种命题、充分条件与必要条件 1. 主要内容： 命题、真命题、假命题的概念，逻辑连接词、简单命题、复合命题的概念、复合命题的真值表，四种命题、四种命题的关系，反证法、充分条件、必要条件的概念、充分条件的判断。 2. 重点： 判断复合命题真假的方法，四种命题的关系，关于充要条件的判断。 3. 难点： 逻辑连结词的理解与日常用语的区别，反证法的理解和应用，关于充要条件的判断。 【例题选讲】 例1. 分别指出下列复合命题的形式及构造的简单命题。 （1）小李是老师，小赵也是老师。 （2）1是合数或质数。 （3）他是运动员兼教练员。 （4）不仅这些文学作品艺术上有缺点，而且政治上有错误。 解：（1）这个命题是p且q的形式，其中p：小李是老师，q：小赵是老师。 （2）这个命题是p或q的形式，其中p：1是合数，q：1是质数。 （3）这个命题是p且q的形式，其中，p：他是运动员，q：他是教练员。 （4）这个命题是p且q的形式，其中，p：这些文学作品艺术上有缺点，q：这些文学作品政治上有错误。 小结：正确理解逻辑联结词“或”“且”“非”的含义是解题的关键。应根据组成上述各复合命题的语句中所出现的逻辑联结词，或语句的意义确定复合命题的形式。 例2. 已知p：方程x2+mx+1=0有两个不等的负根；q：方程4x2+4(m-2)x+1=0无实根。若p或q为真，p且q为假，求m的取值范围。 解： 若方程4x2+4(m-2)x+1=0无实根， 解得：1 第一章命题逻辑基本概念 4.将下列命题符号化，并指出真值： （1）p∧q,其中，p:2是素数，q:5是素数,真值为1； （2）p∧q,其中，p:是无理数，q:自然对数的底e是无理数,真值为1； （3）p∧┐q,其中，p:2是最小的素数，q:2是最小的自然数,真值为1； （4）p∧q,其中，p:3是素数，q:3是偶数,真值为0； （5）┐p∧┐q,其中，p:4是素数，q:4是偶数,真值为0. 5.将下列命题符号化，并指出真值： （1）p∨q,其中，p:2是偶数，q:3是偶数,真值为1； （2）p∨q,其中，p:2是偶数，q:4是偶数,真值为1； （3）p∨┐q,其中，p:3是偶数，q:4是偶数,真值为0； （4）p∨q,其中，p:3是偶数，q:4是偶数,真值为1； （5）┐p∨┐q,其中，p:3是偶数，q:4是偶数,真值为0； 6.（1）(┐p∧q)∨(p∧┐q),其中，小丽从筐里拿一个苹果，q：小丽从筐里拿一个梨； （2）(p∧┐q)∨(┐p∧q),其中，p：刘晓月选学英语，q：刘晓月选学日语；. 7.因为p与q不能同时为真. 8.p:2<1，q:3<2 （1）p→q， （2）p→┐q， （3）┐q→p， （4）┐q→p， （5）┐q→p， （6）p→q， 13.设p:今天是星期一，q:明天是星期二，r:明天是星期三： （1）p→q，真值为1（不会出现前件为真，后件为假的情况）； （2）q→p，真值为1（也不会出现前件为真，后件为假的情况）； （3）p q，真值为1； （4）p→r，若p为真，则p→r真值为0，否则，p→r真值为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 17．判断下面一段论述是否为真：“π是无理数。并且，如果3是无理数，则2也是无理数。另外6能被2整除，6才能被4整除。” 答：p: π是无理数 1 q: 3是无理数0 r: 2是无理数 1离散数学答案屈婉玲版第二版 高等教育出版社课后答案
(完整版)离散数学实验指导书及其答案
离散数学实验报告
第三讲逻辑联结词与四种命题充要条件
离散数学实验报告四个实验
离散数学答案(尹宝林版)第一章习题解答
四种命题与充条件
离散数学课后习题答案(左孝凌版)
命题与逻辑联结词知识点
高三第一轮复习数学---逻辑联结词与四种命题
2011高考数学单元复习训练3：逻辑联结词与四种命题
离散数学实验指导书
离散数学课后答案
逻辑联结词、四种命题、充分条件与必要条件
离散数学 数理逻辑 课后答案