《常用逻辑用语知识点精.ppt》由会员分享,可在线阅读,更多相关《常用逻辑用语知识点精.ppt(16页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、常用逻辑用语知识点第1页,本讲稿共16页真命题真命题:判断为真的语句判断为真的语句.假命题假命题:判断为假的语句判断为假的语句.1.命题的定义:命题的定义:一般地,我们把用语言、符号或式子表达的,一般地,我们把用语言、符号或式子表达的,可以可以判断真假的陈述句判断真假的陈述句叫做命题叫做命题 一、命题:一、命题:下列语句是不是命题?下列语句是不是命题?(1)今天天气如何?今天天气如何?(2)-2不是整数。不是整数。(3)43。(4)x4。(3)是(肯定陈述句)是(肯定陈述句)(1)不是(疑问句)不是(疑问句)(2)是(否定陈述句)是(否定陈述句)(4)不是(开语句)不是(开语句)注意:注意:(
2、1)命题定义的核心是判断,判断结果可真可假,但真命题定义的核心是判断,判断结果可真可假,但真假必居其一。假必居其一。(2)有些含有变量有些含有变量(又未给定变量的取值又未给定变量的取值)的语句,无法确定的语句,无法确定真假。真假。第2页,本讲稿共16页例例1 1 判断下面的语句是否为命题判断下面的语句是否为命题?若是命题,指出它的真假。若是命题,指出它的真假。(1)(1)空集是任何集合的子集空集是任何集合的子集.(2)(2)若整数若整数a a是素数是素数,则则a a是奇数是奇数.(3)(3)指数函数是增函数吗指数函数是增函数吗?(4)(4)若平面上两条直线不相交若平面上两条直线不相交,则这两条
3、直线平行则这两条直线平行.(5)(5)(6)x15.(是,真)(是,真)(是,真)(是,真)(是,假)(是,假)(是,假)(是,假)(不是命题)(不是命题)(不是命题)(不是命题)第3页,本讲稿共16页若若p,则,则q“若整数若整数a是素数,则是素数,则a是奇数。是奇数。”qp(1)命题中的命题中的p叫做命题的叫做命题的条件条件,q叫做命题的叫做命题的结论结论.(2)“若若p则则q”,可写成可写成“如果如果p,那么那么q”“只要只要p,就有就有q”等等.(3)p和和q可以是命题也可以不是命题可以是命题也可以不是命题.(4)“若若p则则q”形式的优点:条件与结论容易辨别形式的优点:条件与结论容易
4、辨别.记做记做:2.命题的结构:命题的结构:从构成来看,所有的命题都具由条件和结从构成来看,所有的命题都具由条件和结论两部分构成论两部分构成例例 将将“垂直于同一条直线的两个平面平行垂直于同一条直线的两个平面平行”写成写成“若若p则则q”的形式:的形式:_(5)条件结论不明显时条件结论不明显时,应添补被省略的词句。应添补被省略的词句。第4页,本讲稿共16页例例2 指出下列命题中的条件指出下列命题中的条件p和结论和结论q:(1)若整数若整数a能被能被2整除,则整除,则a是偶数;是偶数;(2)菱形的对角线互相垂直且平分。菱形的对角线互相垂直且平分。解:解:(1)条件条件p:整数:整数a能被能被2整
5、除,整除,结论结论q:整数:整数a 是偶数。是偶数。(2)写成若写成若p,则,则q 的形式:若四边形是菱形,的形式:若四边形是菱形,则它的对角线互相垂直且平分。则它的对角线互相垂直且平分。条件条件p:四边形是菱形,:四边形是菱形,结论结论q:四边形的对角线互相垂直且平分。:四边形的对角线互相垂直且平分。第5页,本讲稿共16页3.命题的真假:命题的真假:真命题:真命题:如果由命题的条件如果由命题的条件P通过推理一定可以得出命通过推理一定可以得出命题的结论题的结论q,那么这样的命题叫做真命题,那么这样的命题叫做真命题假命题:假命题:如果由命题的条件如果由命题的条件P通过推理不一定可以得出命题的通过
6、推理不一定可以得出命题的结论结论q,那么这样的命题叫做假命题,那么这样的命题叫做假命题怎样判断命题的真假?怎样判断命题的真假?(1)判定一个命题是判定一个命题是真真命题,要经过命题,要经过证明证明(2)判定一个命题是判定一个命题是假假命题,只需命题,只需举一个反例举一个反例第6页,本讲稿共16页例例3 把下列命题改写成把下列命题改写成“若若p则则q”的形式的形式,并判定真假。并判定真假。(1)(1)负数的平方是正数负数的平方是正数.(2)(2)偶函数的图像关于偶函数的图像关于y y轴对称轴对称.(3)(3)垂直于同一条直线的两条直线平行垂直于同一条直线的两条直线平行(4)(4)面积相等的两个三
7、角形全等面积相等的两个三角形全等.(5)(5)对顶角相等对顶角相等.真真真真假假假假真真练习:练习:课本课本P4.2,3(1)若一个三角形是等腰三角形,则这个三角形两腰上的中线相等。若一个三角形是等腰三角形,则这个三角形两腰上的中线相等。(真真)(2)若一个函数是偶函数,则这个函数的图象关于若一个函数是偶函数,则这个函数的图象关于y轴对称。轴对称。(真真)(3)若两个平面垂直于同一平面,则这两个平面互相平行。若两个平面垂直于同一平面,则这两个平面互相平行。(假假)第7页,本讲稿共16页思考:思考:下列四个命题中,命题下列四个命题中,命题(1)与命题与命题(2)(3)(4)的条件和的条件和结论之
8、间分别有什么关系?结论之间分别有什么关系?1.若若f(x)是正弦函数,则是正弦函数,则f(x)是周期函数;是周期函数;2.若若f(x)是周期函数,则是周期函数,则f(x)是正弦函数;是正弦函数;3.若若f(x)不是正弦函数,则不是正弦函数,则f(x)不是周期函数;不是周期函数;4.若若f(x)不是周期函数,则不是周期函数,则f(x)不是正弦函数。不是正弦函数。互逆命题互逆命题:一个命题的条件和结论分别是另一个命题的:一个命题的条件和结论分别是另一个命题的结论和条件,这两个命题叫做互逆命题。结论和条件,这两个命题叫做互逆命题。原原 命命 题题:其中一个命题叫做原命题。:其中一个命题叫做原命题。逆
9、逆 命命 题题:另一个命题叫做原命题的逆命题。:另一个命题叫做原命题的逆命题。二、四种命题:二、四种命题:第8页,本讲稿共16页原原命题命题:若若p,则则q逆逆命题命题:若若q,则则p命题命题“同位角相等,两直线平行同位角相等,两直线平行”的逆命题是的逆命题是_探究探究1:如果原命题是真命题,那么它的逆命题一定是真如果原命题是真命题,那么它的逆命题一定是真命题吗?命题吗?例例1.等边三角形的三个内角相等等边三角形的三个内角相等.例例2.若若f(x)是正弦函数是正弦函数,则则f(x)是周期函数是周期函数.逆命题逆命题:三个内角相等的三角形是等边三角形三个内角相等的三角形是等边三角形.(真真)(真
10、真)(假假)(真真)原命题是真命题,它的逆命题不一定是真命题原命题是真命题,它的逆命题不一定是真命题.逆命题逆命题:若若f(x)是周期函数是周期函数,则则f(x)是正弦函数是正弦函数.第9页,本讲稿共16页1.若若f(x)是正弦函数,则是正弦函数,则f(x)是周期函数;是周期函数;3.若若f(x)不是正弦函数,则不是正弦函数,则f(x)不是周期函数不是周期函数.观察命题观察命题(1)与与(3)的条件和结论之间分别有什么关系?的条件和结论之间分别有什么关系?pqp 原命题原命题:若若p,则则qq常把条件常把条件p的否定和结论的否定和结论q的否定分别记作的否定分别记作p,q,读读作作“非非”“非非
11、q”。否命题否命题:若若p,则则q互否命题:互否命题:如果第一个命题的条件和结论是第二个命题的如果第一个命题的条件和结论是第二个命题的条条件和结论的否定件和结论的否定,那么这两个命题叫做,那么这两个命题叫做互否命题互否命题。如果把其。如果把其中一个命题叫做中一个命题叫做原命题原命题,那么另一个叫做,那么另一个叫做原命题的否命题原命题的否命题。命题命题“同位角相等,两直线平行同位角相等,两直线平行”的否命题是的否命题是_第10页,本讲稿共16页探究探究2:如果原命题是真命题,那么它的否命题一定是真如果原命题是真命题,那么它的否命题一定是真命题吗?命题吗?否命题否命题:同位角不相等同位角不相等,两
12、直线不平行两直线不平行.例例1.原命题原命题:同位角相等同位角相等,两直线平行两直线平行.例例2.原命题原命题:若若f(x)是正弦函数是正弦函数,则则f(x)是周期函数是周期函数否命题否命题:若若f(x)不是正弦函数不是正弦函数,则则f(x)不是周期函数不是周期函数(真命题真命题)(真命题真命题)(真命题真命题)(假命题假命题)原命题是真命题,它的否命题不一定是真命题原命题是真命题,它的否命题不一定是真命题.第11页,本讲稿共16页观察命题观察命题(1)与与(4)的条件和结论之间分别有什么关系?的条件和结论之间分别有什么关系?1.若若f(x)是正弦函数,则是正弦函数,则f(x)是周期函数;是周
13、期函数;4.若若f(x)不是周期函数,则不是周期函数,则f(x)不是正弦函数不是正弦函数.pqq 原命题原命题:若若p,则则qp逆否命题逆否命题:若若q,则则p互为逆否命题:互为逆否命题:如果第一个命题的条件和结论分别是第二个如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定,那么这两个命题叫做互为命题的结论的否定和条件的否定,那么这两个命题叫做互为逆否命题。逆否命题。命题命题“同位角相等,两直线平行同位角相等,两直线平行”的逆否命题是的逆否命题是_第12页,本讲稿共16页探究探究3:如果原命题是真命题,那么它的逆否命题一定是真如果原命题是真命题,那么它的逆否命题一定是真命题吗
14、?命题吗?例例1.原命题原命题:同位角相等同位角相等,两直线平行两直线平行.逆否命题逆否命题:两条直线不平行两条直线不平行,同位角不相等同位角不相等.例例2.原命题原命题:若若a b,则则 ac2bc2。逆否命题逆否命题:若若ac2bc2,则则ab。(真命题真命题)(真命题真命题)(假命题假命题)(假命题假命题)原命题是真命题原命题是真命题,它的逆否命题一定是真命题它的逆否命题一定是真命题.原命题是假命题原命题是假命题,它的逆否命题一定是假命题。它的逆否命题一定是假命题。第13页,本讲稿共16页原词语 否定词 原词语 否定词 等于任意的是 至少有一个 都是 至多有一个 大于 至少有n个 小于
15、至多有n个 对所有x,成立对任何x,不成立所有的一些常见的结论的否定形式一些常见的结论的否定形式.不是不是不都是不都是不大于不大于大于或等于大于或等于一个也没有一个也没有至少有两个至少有两个至多有(至多有(n-1)个个至少有(至少有(n+1)个个存在某存在某x,不成立不成立存在某存在某x,成立成立不等于不等于某个某个某些某些第14页,本讲稿共16页练习:练习:课本课本P6.练练三、小结:三、小结:1什么叫命题?真命题?假命题?什么叫命题?真命题?假命题?2怎样将命题写成怎样将命题写成“若若p,则,则q”的形式的形式3如何判断真假命题如何判断真假命题4如何构造命题的另外三个形式?如何构造命题的另外三个形式?5.命题与它的其它三种命题之间的真假性关系如何?命题与它的其它三种命题之间的真假性关系如何?6.常见的否定词常见的否定词.四、作业:四、作业:课本课本P8.A1,2,3第15页,本讲稿共16页第16页,本讲稿共16页
限制150内