1.1命题与逻辑

合集下载

黑龙江省考研数学与应用数学复习资料离散数学重点整理

黑龙江省考研数学与应用数学复习资料离散数学重点整理

黑龙江省考研数学与应用数学复习资料离散数学重点整理离散数学是数学的一个分支,主要研究离散结构以及离散对象之间的关系。

它在计算机科学、信息技术、电子工程等领域中具有重要的应用价值。

对于准备参加黑龙江省考研数学与应用数学专业的同学来说,熟悉离散数学的重要概念和基本知识点,掌握离散数学的解题方法和应用技巧,对于提高考试成绩将起到重要的作用。

本文将对离散数学的重点内容进行整理和归纳,以供考生复习使用。

一、命题逻辑命题逻辑是离散数学中的重要内容之一。

在命题逻辑中,我们研究命题的逻辑关系,包括命题的否定、合取、析取、条件和双条件等。

此外,我们还需要掌握等价命题、永真和矛盾命题的概念,以及逻辑推理和证明方法。

1.1 命题及其逻辑关系命题是陈述性句子,可以判断其真假。

命题可以进行否定、合取、析取、条件和双条件等逻辑运算。

1.2 等价命题等价命题指的是逻辑上等价的命题,它们具有相同的真值。

1.3 逻辑推理和证明方法逻辑推理是根据已知的命题,通过推理规则得出新的命题。

证明方法是为了证明一个结论的正确性,通过逻辑推理和证明步骤来证明。

二、集合论集合论是离散数学中的另一个重要内容,它研究集合的基本概念、运算和集合之间的关系。

在集合论中,我们需要掌握集合的表示方法、集合间的运算、集合的基数以及集合的代数运算等知识点。

2.1 集合的基本概念集合是由一些确定的对象组成的整体,我们可以用不同的方式来表示一个集合。

2.2 集合的运算集合的运算包括交集、并集、差集和补集等。

2.3 集合的基数集合的基数表示集合中元素的个数,当集合的基数有限时,我们称之为有限集合。

2.4 集合的代数运算集合的代数运算指的是集合的基本运算,如幂运算、笛卡尔积运算等。

三、图论图论是离散数学的重要分支之一,它研究图的性质、图的表示方法以及图的算法和应用。

在图论中,我们需要了解图的基本概念、图的遍历算法、连通性和网络流等内容。

3.1 图的基本概念图由节点和边构成,节点表示对象,边表示节点之间的关系。

知识点1.1 命题、联结词及命题符号化

知识点1.1 命题、联结词及命题符号化

第1 章命题逻辑第1 章命题逻辑授课内容知识点1:命题、联结词及命题符号化知识点2:命题公式、真值表及公式分类知识点3:等价式与等价演算知识点4:对偶式与蕴涵式知识点5:范式第1 章命题逻辑授课内容知识点6:主析取范式与主合取范式知识点7:命题演算的推理理论知识点8:有效结论证明方法知识点9:命题演算推理实例解析知识点1:命题、联结词及命题符号化一问题的引入命题逻辑是研究由命题为基本单位构成的前提和结论之间的可推导关系。

那么,什么是命题?如何表示和构成?如何进行推理的?例如:已知:如果今天星期三,那么公鸡会下蛋。

今天是星期三。

问题:根据以上前提你能推出什么结论?二命题、联结词及命题符号化1 命题的概念定义1.1.1:能够判断真假的陈述句称作命题。

命题仅有两种可能的真值:真和假,且二者只能居其一。

真用1或T表示,假用0或F表示。

由于命题只有两种真值,所以称这种逻辑为二值逻辑。

例1.1.1 判断下列语句哪些是命题①-1是整数。

②地球是围绕月亮转的。

③3+5=8。

④木星的表面温度是20 F。

⑤不要讲话!⑥你吃饭了吗?⑦本命题是假的。

(他正在说谎。

等)解①-④都是命题,①和③的真值为真,②真值是假,④不知真和假,但真值是可以确定的。

⑤⑥都不是命题。

⑦无法确定它的真值,当它假时,它便真;当它真时,它便假。

这种断言叫悖论。

2 命题的分类与表示•命题分为两类,第一类是原子命题,它是由再也不能分解成更为简单的语句构成的命题,称为原子命题。

用英文字母P,Q,R,…或带下标Pi,Qi,Ri,…表示之。

例如,用P表示武汉是一座美丽的城市,记为P:武汉是一座美丽的城市。

冒号:代表表示的意思•第二类是复合命题,它由原子命题、命题联结词和圆括号组成。

3 联结词1.3.1 否定联结词﹁P定义1.1.2设P表示一个命题,由命题联结词⎤和命题P连接成⎤P,称⎤P为P的否定式复合命题,⎤P读“非P”。

称⎤为否定联结词。

⎤P是真当且仅当P为假;否定联结词“⎤”的定义可由表1-1表示。

高中数学第一章常用逻辑用语1.1.1四种命题12111数学

高中数学第一章常用逻辑用语1.1.1四种命题12111数学
样的两个命题就叫做互否命题,若把其中一个命
题叫做原命题,则另一个就叫做原命题的否命题.
例如: 原命题是:同位角相等,两直线平行。 否命题(mìng tí)是:同位角不相等,两直线不平行。
第七页,共二十一页。
课中共(zhōnɡ ɡò①nɡ)学如果两个三角形全等,那么它们的面积相等;
④如果两个三角形的面积不相等,那么它们不全等。
逆否命题,并判断各命题的真假。
解 原命题(mìng tí):若a=0,则ab=0是真命题; 逆命题:若ab=0,则a=0是假命题(mìng tí);
否命题:若a 0,则ab 0 ”是假命题;
逆否命题:若ab 0,则a 0”是真命题;
原命题为真,它的否命题不一定为真;
原命题为真,它的逆否命题一定为真.
逆否命题 是:两直线不平行,同位角不相等。
第八页,共二十一页。
课中共(zhōnɡ 学 ɡònɡ)
探究 活动: (tànjiū)
1.探求(tànqiú)四种命题之间的关系,为 什么存在这种关系?
第九页,共二十一页。
课中共学
四种命题间的相互(xiānghù)关系:
原命题(mìng tí) 若p则q
互 否
例如:
原命题(mìng tí)是:同位角相等,两直线平行。 逆命题就是:两直线(zhíxiàn)平行,同位角相等。
第六页,共二十一页。
课中共(zhōnɡ ɡ①ònɡ如)学果两个三角形全等,那么它们的面积相等;
③如果两个三角形不全等,那么它们的面积不相等;
2.在两个命题中,一个命题的条件和结论分别 (fēnbié)是另一个命题的条件的否定和结论的否定,这
第十三页,共二十一页。
课中共(zhōnɡ 学 ɡònɡ)

离散数学作业 第一章

离散数学作业 第一章

第一章命题逻辑1.1命题与命题联结词P6.T2.判断下列语句是否为命题,为什么?若是命题判断是原子命题还是复合命题,并把复合命题符号化,要求符号化到原子命题。

(1)他们明天或后天去百货公司。

(2)你能告诉我,我什么时候一定会死吗?你不能!(3)如果这个语句是命题,那么它是一个假命题。

(4)李刚和李春是兄弟。

(5)王海和李春在学习。

(6)只要努力学习,就一定能取得优异成绩。

(7)李春对李刚说:“今天天气真好呀!”(8)你知道这是个真命题还是假命题就请告诉我!(9)王海不是女孩子。

答案解⑴是复合命题。

设p:他们明天去百货公司;q:他们后天去百货公司。

命p∨。

题符号化为q⑵是疑问句,所以不是命题。

⑶是悖论,所以不是命题。

⑷是原子命题。

⑸是复合命题。

设p:王海在学习;q:李春在学习。

命题符号化为p∧q。

⑹是复合命题。

设p:你努力学习;q:你一定能取得优异成绩。

p→q。

⑺不是命题。

⑻不是命题⑼。

是复合命题。

设p:王海是女孩子。

命题符号化为:⌝p。

P7.T4.设p表示命题“天下大雨”,q表示命题“他乘公共汽车上班”,r表示命题“他骑自行车上班”。

请将下列命题符号化。

(1)如果天不下大雨,他乘坐公共汽车或者骑自行车上班。

(2)只要天下大雨,他就乘公共汽车上班。

(3)只要天下大雨,他才乘公共汽车上班。

(4)除非天下大雨,否则他不乘公共汽车上班。

答案解⑴⌝p→(q∨r)。

⑵p→q。

⑶q→p。

⑷q → p。

1.2命题公式及其分类P10.T4.构造下列公式的真值表,并据此说明它是重言式、矛盾式或者仅为可满足式。

(1)p ∨⌝(p ∧q )。

(2)(p ∧q )∧⌝(p ∨q )。

(3)(p →q )↔(⌝p ↔q )。

(4)((p →q )∧(q →r ))→(p →r )。

答案解 ⑴设)(q p p A ∧⌝∨=,其真值表如表2-1所示:故)(q p p A ∧⌝∨=为重言式。

⑵设A =(p ∧q )∧⌝(p ∨q ),其真值表如表2-2所示:表2-2故∧∧⌝∨为矛盾式。

1.1命题逻辑基本概念

1.1命题逻辑基本概念
(3) p→┐q
(4) ┐p→┐q
例1.5 将下列命题符号化,并指出其真值
以下命题中出现的a是一个给定的正整数: (5) 只要a能被4整除,则a一定能被2整除。 (6) a能被4整除,仅当a能被2整除。 (7) 除非a能被2整除, a才能被4整除。 (8) 除非a能被2整除,否则a不能被4整除。 (9) 只有a能被2整除, a才能被4整除。 (10)只有a能被4整除, a才能被2整除。
例1.3 将下列命题符号化
(1)吴颖既用功又聪明。 (2)吴颖不仅用功而且聪明。 (3)吴颖虽然聪明,但不用功。 (4)张辉与王丽都是三好学生。
(5)张辉与王丽是同学。
p: q: r: s: t:
吴颖用功。 吴颖聪明。 张辉是三好学生。 王丽是三好学生。 张辉与王丽是同学。
解题要点: 正确理解命题含义。 找出原子命题并符号化。 选择恰当的联结词。
例1.2
将下面这段陈述中所出现的原子命题符号化,并指出它 们的真值,然后再写出这段陈述。 2 是有理数是不对的;2是偶素数;2或4是素数;如果2 是素数,则3也是素数;2是素数当且仅当3也是素数。 p: 2 是有理数 q:2是素数; r:2是偶数 s:3是素数; t:4是素数
0 1 1 1 0
非p; q并且(与)r; q或t; 如果q,则s; q当且仅当s。
1.1 命题符号化与联结词
称能判断真假的陈述句为命题 (proposition)。 作为命题的陈述句所表达得的判断结果称为命题的真值。 真值只取两个:真与假。
真值为真的命题称为真命题。
真值为假的命题称为假命题。
说 明
感叹句、疑问句、祈使句都不能称为命题。 判断结果不唯一确定的陈述句不是命题。
关于真值(逻辑)联结词的说明

高中数学 第一章 常用逻辑用语 1.1 命题及其关系 逆否命题素材 新人教A版选修2-1

高中数学 第一章 常用逻辑用语 1.1 命题及其关系 逆否命题素材 新人教A版选修2-1

逆否命题原命题为:若a,则b。

逆否命题为:若非b,则非a如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定,则这两个命题称互为逆否命题。

命题的否定只否结论。

一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题。

原命题和逆否命题为等价命题.如果原命题成立,逆否命题成立.逆命题和否命题为等价命题,如果逆命题成立,否命题成立.名称定义命题:可以判断真假的语句叫做命题。

原命题为:若a,则b逆命题为:若b,则a否命题为:若非a,则非b逆否命题为:若非b,则非a互为逆否命题:如果两个命题中一个命题的条件和结论分别是另一个命题的结论和条件的否定,则这两个命题称互为逆否命题。

命题的否定只否结论。

性质一个命题为原命题,则和它互为逆否命题的命题为原命题的逆否命题。

原命题和逆否命题为等价命题.如果原命题成立,逆否命题成立.逆命题和否命题为等价命题,如果逆命题成立,否命题成立.逻辑学认为命题与逆否命题是等价的,也就是命题真,则逆否命题也真。

命题同它的逆否命题等价是作为公理存在的,你既不能证明它正确也不能证明它错误。

其实这个东西可以认为是公理。

它和公理“排中律”是等价的。

我们数学的体系就是建立在这些公理之上。

2逆否命题的滥用现实生活中存在许多对逆否逻辑的滥用,使用时须注意以下几点:1、逆否命题、逆命题、否命题概念适用的前提是原命题为复合命题,而非简单命题。

复合命题是由简单命题通过逻辑连接词互相连接而组成的。

简单命题难以区分前提和结论,其真假只能通过生活经验和客观事实加以判断。

例如:“我爱你”。

这个句子不能算作命题。

因为是否“爱”的真假没有一个明确的判断标准。

如果“我爱你”是命题,那么它是一个简单命题。

我们可以把它等价转换为“若p,则q”的形式。

再谈论其逆否命题。

(”我爱你“不具有排他性)等价转换为:若我存在,则至少存在一个爱你的人(或”若我存在,则存在我爱你“)。

逆否命题为:若不存在一个爱你的人,则我不存在(如果所有人都不爱你了,那么我也不存在了)。

高中数学选修1-1知识点总结归纳(经典版)

高中数学选修1-1知识点总结归纳(经典版)

高中数学选修1-1知识点总结归纳(经典版)常用逻辑用语1.1 命题及其关系1.1.1 命题1、命题:一般地,在数学中我们把语言、符号或式子表达的,可以判断真假的陈述句叫做命题。

其中判断为真的语句叫做真命题,判断为假的语句叫做假命题。

2、命题的构成:在数学中,命题通常写成“若p ,则q ”的形式。

其中p 叫做命题的条件,q 叫做命题的结论。

1.1.2 四种命题3、互逆命题:一般地,对于两个命题,如果一个命题的条件和结论分别是另一个命题的结论和条件,那么我们这样的两个命题叫做互逆命题。

其中一个命题叫做原命题,另一个叫做原命题的逆命题。

如果原命题为“若p ,则q ”,则它的逆命题为“若q ,则p ”.4、互否命题:一般地,对于两个命题,其中一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定,我们把这样的两个命题叫做互否命题。

如果把其中的一个命题叫做原命题,,那么另一个叫做原命题的否命题。

如果原命题为“若p ,则q ”,则它的否命题为“若p ⌝,则q ⌝”.5、互逆否命题:一般地,对于两个命题,其中一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定,我们把这样的两个命题叫做互为逆否命题。

如果把其中的一个命题叫做原命题,那么另一个叫做原命题的逆否命题。

如果原命题为“若p ,则q ”,则它的逆否命题为“若q ⌝,则p ⌝”. 6、以上总结概括:1.1.3 四种命题间的相互关系7、四种命题间的相互关系:一般地,原命题、逆命题、否命题与逆否命题这四种命题之间的相互关系:8、四种命题的真假性:一般地,四种命题的真假性之间的关系: (1)两个命题和互否命题,它们有相同的真假性;(2)两个命题为互逆否命题或互否命题,它们的真假性没有关系。

1.2 充要条件与必要条件1.2.1 充分条件与必要条件1、充要条件与必要条件:一般地,“若p ,则q ”为真命题,是指由p 通过推理可以得出q .这时,我们就说,由p 可推出q ,记作p q ⇒,并且说p 是q 的充分条件,q 是p 的必要条件。

高中数学 第一章 常用逻辑用语 1.1 命题及其关系 1.1.2 四种命题 1.1.3 四种命题间的

高中数学 第一章 常用逻辑用语 1.1 命题及其关系 1.1.2 四种命题 1.1.3 四种命题间的

1.1.2 四种命题1.1.3 四种命题间的相互关系学习目标:1.了解四种命题的概念,能写出某命题的逆命题、否命题和逆否命题.(重点)2.知道四种命题之间的相互关系以及真假性之间的联系.(易混点)3.会利用命题的等价性解决问题.(难点)[自主预习·探新知]1.四种命题的概念及表示形式名称定义表示形式互逆命题对于两个命题,如果一个命题的条件和结论分别是另一个命题的结论和条件,那么这样的两个命题叫做互逆命题.其中一个命题叫做原命题,另一个叫做原命题的逆命题.原命题为“若p,则q”;逆命题为“若q,则p”互否命题对于两个命题,其中一个命题的条件和结论恰好是另一个命题的条件的否定和结论的否定,这样的两个命题叫做互否命题.如果把其中的一个命题叫做原命题,那么另一个叫做原命题的否命题原命题为“若p,则q”;否命题为“若p,则q”互为逆否命题对于两个命题,其中一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定,这样的两个命题叫做互为逆否命题.如果把其中的一个命题叫做原命题,那么另一个叫做原命题的逆否命题原命题为“若p,则q”;逆否命题为“若q,则p”2.四种命题间的相互关系(1)四种命题之间的关系(2)四种命题间的真假关系原命题逆命题否命题逆否命题真真真真真假假真假真真假假假假假由上表可知四种命题的真假性之间有如下关系:①两个命题互为逆否命题,它们有相同的真假性;②两个命题为互逆命题或互否命题,它们的真假性没有关系.思考:(1)“a=b=c=0”的否定是什么?(2)在原命题,逆命题、否命题和逆否命题四个命题中.真命题的个数会是奇数吗?[提示](1)“a=b=c=0”的否定是“a,b,c至少有一个不等于0”.(2)真命题的个数只能是0,2,4,不会是奇数.[基础自测]1.思考辨析(1)命题“若p,则q”的否命题为“若p,则q”.( )(2)同时否定原命题的条件和结论,所得的命题是否命题.( )(3)命题“若A∩B=A,则A∪B=B”的逆否命题是“若A∪B≠B,则A∩B≠A”.[答案](1)×(2)√(3)√2.命题“若一个数是负数,则它的相反数是正数”的逆命题是( )A.“若一个数是负数,则它的相反数不是正数”B.“若一个数的相反数是正数,则它是负数”C.“若一个数不是负数,则它的相反数不是正数”D.“若一个数的相反数不是正数,则它不是负数”B[根据逆命题的定义知,选B.]3.命题“若m=10,则m2=100”与其逆命题、否命题、逆否命题这四个命题中,真命题是( )【导学号:97792008】A.原命题、否命题B.原命题、逆命题C.原命题、逆否命题D.逆命题、否命题C[原命题正确,则逆否命题正确,逆命题不正确,从而否命题不正确.故选C.][合作探究·攻重难]四种命题把下列命题改写成“若p,则q”的形式,并写出它们的逆命题、否命题和逆否命题.(1)相似三角形对应的角相等;(2)当x>3时,x2-4x+3>0;(3)正方形的对角线互相平分.[解](1)原命题:若两个三角形相似,则这两个三角形的三个角对应相等;逆命题:若两个三角形的三个角对应相等,则这两个三角形相似;否命题:若两个三角形不相似,则这两个三角形的三个角对应不相等;逆否命题:若两个三角形的三个角对应不相等,则这两个三角形不相似.(2)原命题:若x>3,则x2-4x+3>0;逆命题:若x2-4x+3>0,则x>3;否命题:若x≤3,则x2-4x+3≤0;逆否命题:若x2-4x+3≤0,则x≤3.(3)原命题:若一个四边形是正方形,则它的对角线互相平分;逆命题:若一个四边形对角线互相平分,则它是正方形;否命题:若一个四边形不是正方形,则它的对角线不互相平分;逆否命题:若一个四边形对角线不互相平分,则它不是正方形.[规律方法] 1.写出一个命题的逆命题,否命题,逆否命题的方法(1)写命题的四种形式时,首先要找出命题的条件和结论,然后写出命题的条件的否定和结论的否定,再根据四种命题的结构写出所求命题.(2)在写命题时,为了使句子更通顺,可以适当地添加一些词语,但不能改变条件和结论.2.写否命题时应注意一些否定词语,列表如下:原词语等于(=)大于(>)小于(<)是都是至多有一个否定词语不等于(≠)不大于(≤)不小于(≥)不是不都是至少有两个原词语至少有一个至多有n个任意的任意两个所有的能否定词语一个也没有至少有(n+1)个某一个(确定的)某两个某些不能1.(1)命题“若y =kx ,则x 与y 成正比例关系”的否命题是( )【导学号:97792009】A .若y ≠kx ,则x 与y 成正比例关系B .若y ≠kx ,则x 与y 成反比例关系C .若x 与y 不成正比例关系,则y ≠kxD .若y ≠kx ,则x 与y 不成正比例关系D [条件的否定为y ≠kx ,结论的否定为x 与y 不成比例关系,故选D.] (2)命题“若ab ≠0,则a ,b 都不为零”的逆否命题是________.若a ,b 至少有一个为零,则ab =0 [“ab ≠0”的否定是“ab =0”,“a ,b 都不为零”的否定是“a ,b 中至少有一个为零”,因此逆否命题为“若a ,b 至少有一个为零,则ab =0”.]四种命题的关系及真假判断(1)对于原命题:“已知a 、b 、c ∈R ,若a >b ,则ac 2>bc 2”,以及它的逆命题、否命题、逆否命题,在这4个命题中,真命题的个数为( )A .0个B .1个C .2个D .4个(2)判断命题“若a ≥0,则x 2+x -a =0有实根”的逆否命题的真假. [思路探究] (1)只需判断原命题和逆命题的真假即可. (2)思路一 写出原命题的逆否命题→判断其真假 思路二 原命题与逆否命题同真同假即等价关系→判断原命题的真假→得到逆否命题的真假[解析] (1)当c =0时,ac 2>bc 2不成立,故原命题是假命题,从而其逆否命题也是假命题;原命题的逆命题为“若ac 2>bc 2,则a >b ”是真命题,从而否命题也是真命题,故选C.[答案] C(2)法一:原命题的逆否命题:若x 2+x -a =0无实根,则a <0. ∵x 2+x -a =0无实根,∴Δ=1+4a <0,解得a <-14<0,∴原命题的逆否命题为真命题.法二:∵a ≥0,∴4a ≥0,∴对于方程x 2+x -a =0,根的判别式Δ=1+4a >0,∴方程x2+x-a=0有实根,故原命题为真命题.∵原命题与其逆否命题等价,∴原命题的逆否命题为真命题.[规律方法]判断命题真假的方法1解决此类问题的关键是牢记四种命题的概念,正确地写出所涉及的命题,判定为真的命题需要简单的证明,判定为假的命题要举出反例加以验证.2原命题与它的逆否命题同真同假,原命题的否命题与它的逆命题同真同假,故二者只判断一个即可.[跟踪训练]2.判断下列四个命题的真假,并说明理由.(1)“若x+y=0,则x,y互为相反数”的否命题;(2)“若x>y,则x2>y2”的逆否命题;(3)“若x≤3,则x2-x-6>0”的否命题;(4)“对顶角相等”的逆命题.[解](1)命题“若x+y=0,则x,y互为相反数”的逆命题为“若x,y互为相反数,则x+y=0”,则逆命题为真命题,因为原命题的逆命题和否命题具有相同的真假性,所以“若x+y=0,则x,y互为相反数”的否命题是真命题.(2)令x=1,y=-2,满足x>y,但x2<y2,所以“若x>y,则x2>y2”是假命题,因为原命题与其逆否命题具有相同的真假性,所以“若x>y,则x2>y2”的逆否命题也是假命题.(3)该命题的否命题为“若x>3,则x2-x-6≤0”,令x=4,满足x>3,但x2-x-6=6>0,不满足x2-x-6≤0,则该否命题是假命题.(4)该命题的逆命题为“相等的角是对顶角”是假命题,如等边三角形的任意两个内角都相等,但它们不是对顶角.等价命题的应用1.当一个命题的条件与结论以否定形式出现时,为了研究方便,我们可以研究哪一个命题?提示:一个命题与其逆否命题等价,我们可研究其逆否命题.2.在证明“若m2+n2=2,则m+n≤2”时,我们也可以证明哪个命题成立.提示:根据一个命题与其逆否命题等价,我们也可以证明“若m+n>2,则m2+n2≠2”成立.(1)命题“对任意x∈R,ax2-2ax-3>0不成立”是真命题,则实数a的取值范围是________.(2)证明:已知函数f(x)是(-∞,+∞)上的增函数,a,b∈R,若f(a)+f(b)≥f(-a)+f(-b),则a+b≥0.【导学号:97792010】[思路探究] (1)根据其逆否命题求解.(2)证明其逆否命题成立.[解析](1)∵命题“对任意x∈R,ax2-2ax-3>0不成立”等价于“对任意x∈R,ax2-2ax-3≤0恒成立”,若a=0,则-3≤0恒成立,∴a=0符合题意.若a≠0,由题意知{a<0Δ=4a2+12a≤0,即{a<0-3≤a≤0,∴-3≤a<0综上知,a的取值范围是-3≤a≤0.[答案][-3,0](2)证明原命题的逆否命题为“已知函数f(x)是(-∞,+∞)上的增函数,a,b∈R,若a+b<0,则f(a)+f(b)<f(-a)+f(-b)”.若a+b<0,则a<-b,b<-a.又∵f(x)在(-∞,+∞)上是增函数,∴f(a)<f(-b),f(b)<f(-a),∴f(a)+f(b)<f(-a)+f(-b).即原命题的逆否命题为真命题.∴原命题为真命题.[规律方法] 1.若一个命题的条件或结论含有否定词时,直接判断命题的真假较为困难,这时可以转化为判断它的逆否命题.2.当证明一个命题有困难时,可尝试证明其逆否命题成立.3.证明:若a2-4b2-2a+1≠0,则a≠2b+1.[证明]“若a2-4b2-2a+1≠0,则a≠2b+1”的逆否命题为“若a=2b+1,则a2-4b2-2a+1=0”.∵a=2b+1,∴a2-4b2-2a+1=(2b+1)2-4b2-2(2b+1)+1=4b2+1+4b-4b2-4b-2+1=0.∴命题“若a=2b+1,则a2-4b2-2a+1=0”为真命题.由原命题与逆否命题具有相同的真假性可知,原命题得证.[当堂达标·固双基]1.命题“若a∉A,则b∈B”的逆命题是( )A.若a∉A,则b∉B B.若a∈A,则b∉BC.若b∈B,则a∉A D.若b∉B,则a∉AC[“若p,则q”的逆命题是“若q,则p”,所以本题的逆命题是“若b∈B,则a∉A”.]2.已知a,b,c∈R,命题“若a+b+c=3,则a2+b2+c2≥3”的否命题是( ) A.若a+b+c≠3,则a2+b2+c2<3B.若a+b+c=3,则a2+b2+c2<3C.若a+b+c≠3,则a2+b2+c2≥3D.若a2+b2+c2≥3,则a+b+c=3A[同时否定命题的条件与结论,所得命题就是原命题的否命题,故选A.]3.命题“若a>-3,则a>-6”以及它的逆命题、否命题、逆否命题中,真命题的个数为 ( )A.1 B.2 C.3 D.4B[原命题是真命题,从而其逆否命题是真命题,其逆命题是“若a>-6,则a>-3”,是假命题,从而其否命题也是假命题,故真命题的个数是2.]4.命题“若m>1,则mx2-2x+1=0无实根”的等价命题是________.【导学号:97792011】若mx2-2x+1=0有实根,则m≤1[原命题的等价命题是其逆否命题,由定义可知其逆否命题为:“若mx2-2x+1=0有实根,则m≤1”.]5.已知命题p:“若ac≥0,则二次不等式ax2+bx+c>0无解”.(1)写出命题p的否命题;(2)判断命题p的否命题的真假.[解] (1)命题p的否命题为:“若ac<0,则二次不等式ax2+bx+c>0有解”.(2)命题p的否命题是真命题.判断如下:因为ac<0,所以-ac>0⇒Δ=b2-4ac>0⇒二次方程ax2+bx+c=0有实根⇒ax2+bx+c>0有解,所以该命题是真命题.。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

练习 P3 练习1.1.1 P8 练习1.1.2
作业 P9 习题1.1
有时也用“1”和“0”来表示真、假命题。 (二值逻辑)
判断下列句子是否是命题?如果是请判断其真假。
(1)有一组对边平行且相等的四边形是平行四边形。 (2)3+2=4 (3)4x<0 (4)请不要在公共场合喧哗! (5)我说的话都是假话。 (6)三角形三内角和等于1800。
命题:(1)、(2)、(6) 真命题:(1)、(6) 假命题:(2)
复合命题:用一些关联词把一些简单命题联结 起来组成的新命题。
“且” “或” “非”
表示方法: “且” p∧q “或” p∨q “非” ¬p
p∧q 真值表
p
q
1
1
1

0
0
1
0
0
p∧q 1 0 0 0
p∨q 真值表
p
q
1
1
1
0
0
1
0
0
p∨q 1 1 1 0
¬p 真值表
p
¬p
1
0
0
1
用符号表示下列命题并判断其真假: (1)5>4或5=4 (2)5>5或5=5 (3)5<4或5=4 (4)-1<0且-1是整数 (5)2是偶数且3是奇数 写出下列命题的否定形式 (1)p:2是有理数 (2)q:x<1 (3)r:-2,3都是自然数
命题与逻辑
(1)中国是亚洲最大的国家。 (2)4<3 (3)地球是圆的。 (4)明天是晴天。 (5)请关门。 (6)x小于y。 (7)这句话是假话。 (8)半径大小决定圆的周长。
找出可以其判断真假的陈述句
命题:非真即假的陈述句。
真命题:与事实相符的陈述句。(T) 假命题:与事实不符的陈述句。(F)
命题的表示方法: 命题一般用小写拉丁字母表示:p,q,r,… 如: p:4<3 q:{0}是{0,1,2}的真子集。
关联词 (1) 中国是亚洲最大的国家而且是世界上人口最 多的国家。 (2) 地球是圆的或者地球是方的。 (3) 如果四边形一组对边平行那么四边形是平行 四边形。 (4) 三角形是等边三角形当且仅当三角形三边相 等。
相关文档
最新文档