资源描述:
《常用逻辑用语.ppt》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、第一章常用逻辑用语“数学是思维的科学”逻辑是研究思维形式和规律的科学.逻辑用语是我们必不可少的工具.通过学习和使用常用逻辑用语,掌握常用逻辑用语的用法,纠正出现的逻辑错误,体会运用常用逻辑用语表述数学内容的准确性、简捷性.命题的概念一般地,在数学中,我们把用语言、符号或式子表达的,可以判断真假的陈述句叫做命题.其中判断为真的语句叫做真命题,判断为假的语句叫做假命题.例1判断下列语句中哪些是命题?是真命题还是假命题?(1)空集是任何集合的子集;(2)若整数a是素数,则a是奇数;(3)指数函数是增函数吗?(4)若空间中两条直线不相交
2、,则这两条直线平行;(5);(6)x>15.真命题真命题假命题假命题判断一个语句是不是命题,关键判断:(1)是否为陈述句;(2)能否判断真假。例1判断下列语句中哪些是命题?是真命题还是假命题?(1)空集是任何集合的子集;(2)若整数a是素数,则a是奇数;(3)指数函数是增函数吗?(4)若空间中两条直线不相交,则这两条直线平行;(5);(6)x>15.上面(2)(4)具有“若p,则q”的形式.在数学中,这种形式的命题是常见的.“若p,则q”也可写成“如果p,那么q”“只要p,就有q”等形式.其中p叫做命题的条件,q叫做命题的结论.
3、例2指出下列命题中的条件p和结论q;(1)若整数a能被2整除,则a是偶数;(2)若四边形是菱形,则它的对角线互相垂直且平分.有一些命题表面上不是“若p,则q”的形式,但可以改写成“若p,则q”的形式,例如:垂直于同一条直线的两个平面平行.解:(1)条件p:整数a能被2整除,结论q:整数a是偶数;(2)条件p:四边形是菱形,结论q:四边形的对角线互相垂直且平分.若两个平面垂直于同一条直线,则这两个平面平行.例3将下列命题改写成“若p,则q”的形式,并判断真假;(1)垂直于同一条直线的两条直线平行;(2)负数的立方是负数;(3)对顶
4、角相等;(4)等腰三角形两腰的中线相等;(5)偶函数的图像关于y轴对称;(6)垂直于同一个平面的两个平面平行.思考?下列四个命题中,命题(1)与命题(2)(3)(4)的条件和结论之间分别有什么关系?(1)若f(x)是正弦函数,则f(x)是周期函数;(2)若f(x)是周期函数,则f(x)是正弦函数;(3)若f(x)不是正弦函数,则f(x)不是周期函数;(4)若f(x)不是周期函数,则f(x)不是正弦函数;命题(1)和(2)叫做互逆命题.其中一个命题叫做原命题,另一个叫做原命题的逆命题.如果原命题为“若p,则q”,那么它的逆命题为“
5、若q,则p”.命题(1)和(3)叫做互否命题.其中一个命题叫做原命题,另一个叫做原命题的否命题.如果原命题为“若p,则q”,那么它的否命题为“若┓p,则┓q”.命题(1)和(4)叫做互为逆否命题.其中一个命题叫做原命题,另一个叫做原命题的逆否命题.如果原命题为“若p,则q”,那么它的逆否命题为“若┓q,则┓p”.原命题:逆命题:一、四种命题形式:否命题:逆否命题:若p则q.若q则p.若¬p则¬q.若¬q则¬p.例题讲解例4:设原命题是:当c>0时,若a>b,则ac>bc.写出它的逆命题、否命题、逆否命题。并分别判断它们的真假。解
6、:逆命题:当c>0时,若ac>bc,则a>b.否命题:当c>0时,若a≤b,则ac≤bc.逆否命题:当c>0时,若ac≤bc,则a≤b.(真)(真)(真)分析:“当c>0时”是大前提,写其它命题时应该保留。原命题的条件是“a>b”,结论是“ac>bc”。练习:若m≤0或n≤0,则m+n≤0。写出其逆命题、否命题、逆否命题,并分别指出其假。分析:搞清四种命题的定义及其关系,注意“且”“或”的否定为“或”“且”。解:逆命题:若m+n≤0,则m≤0或n≤0。否命题:若m>0且n>0,则m+n>0.逆否命题:若m+n>0,则m>0且n>
7、0.(真)(真)(假)1、四种命题之间的关系原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互逆互否互否互逆互为逆否2)原命题:若a=0,则ab=0。逆命题:若ab=0,则a=0。否命题:若a≠0,则ab≠0。逆否命题:若ab≠0,则a≠0。(真)(假)(假)(真)(真)2.四种命题的真假看下面的例子:1)原命题:若x=2或x=3,则x2-5x+6=0。逆命题:若x2-5x+6=0,则x=2或x=3。否命题:若x≠2且x≠3,则x2-5x+6≠0。逆否命题:若x2-5x+6≠0,则x≠2且x≠3。(真)(真)(
8、真)3)原命题:若a>b,则ac2>bc2。逆命题:若ac2>bc2,则a>b。否命题:若a≤b,则ac2≤bc2。逆否命题:若ac2≤bc2,则a≤b。(假)(真)(真)(假)原命题逆命题否命题逆否命题真真真真真假假真假真真假假假假假一般地,四种命题的真假性,