资源描述：
《常用逻辑用语(Logic).ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、常用逻辑用语（Logic）“数学是思维的科学”逻辑是研究思维形式和规律的科学.逻辑用语是我们必不可少的工具.通过学习和使用常用逻辑用语,掌握常用逻辑用语的用法,,纠正出现的逻辑错误,体会运用常用逻辑用语表述数学内容的准确性、简捷性.命题（Proposition）开语句“若p，则q”形式的命题从构成来看，所有的命题都具由条件和结论两部分构成。记作“若p，则q”（Ifp，thenq）若整数a能被2整除，则a是偶数；菱形的对角线互相垂直且平分。解：1)条件p：整数a能被2整除，结论q：整数a是偶数。2)写成若p，则q的形式：若四边
2、形是菱形，则它的对角线互相垂直且平分。条件p：四边形是菱形，结论q：四边形的对角线互相垂直且平分。“若p，则q”形式的命题的真假注：若p，则q为真命题，即，则称p是q的充分条件（sufficientcondition），q为p的必要条件（necessarycondition）.特别地，若，就记作，此时我们说，p是q的充分必要条件，简称充要条件.练习：判断p是q的什么条件.下列四个命题中，命题(1)与命题(2)(3)(4)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；若f(x)是周期函数，则f(x
3、)是正弦函数；若f(x)不是正弦函数，则f(x)不是周期函数；若f(x)不是周期函数，则f(x)不是正弦函数。观察命题(1)与命题(2)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；若f(x)是周期函数，则f(x)是正弦函数；互逆命题：一个命题的条件和结论分别是另一个命题的结论和条件，这两个命题叫做互逆命题。原命题：其中一个命题叫做原命题。逆命题：另一个命题叫做原命题的逆命题。pqqp即原命题:若p,则q逆命题:若q,则p例如，命题“同位角相等，两直线平行”的逆命题是“两直线平行，同位角相等”。
4、观察命题(1)与命题(3)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；3.若f(x)不是正弦函数，则f(x)不是周期函数.pq┐p原命题:若p,则q┐q为书写简便,常把条件p的否定和结论q的否定分别记作“┐p”“┐q”，读作“非Ｐ”“非q”。否命题:若┐p,则┐q互否命题：如果第一个命题的条件和结论是第二个命题的条件和结论的否定，那么这两个命题叫做互否命题。如果把其中一个命题叫做原命题，那么另一个叫做原命题的否命题。例如，命题“同位角相等，两直线平行”的否命题是“同位角不相等，两直线不平行”。
5、观察命题(1)与命题(4)的条件和结论之间分别有什么关系？若f(x)是正弦函数，则f(x)是周期函数；4.若f(x)不是周期函数，则f(x)不是正弦函数.pq┐q原命题:若p,则q┐p逆否命题:若┐q,则┐p互为逆否命题：如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题。例如，命题“同位角相等，两直线平行”的逆否命题是“两直线不平行，同位角不相等”。２、互否命题：如果第一个命题的条件和结论是第二个命题的条件和结论的否定，那么这两个命题叫做互否命题。如果把其中一个命题叫做原命题
6、，那么另一个叫做原命题的否命题。３、互为逆否命题：如果第一个命题的条件和结论分别是第二个命题的结论的否定和条件的否定，那么这两个命题叫做互为逆否命题。１、互逆命题：如果第一个命题的条件（或题设）是第二个命题的结论，且第一个命题的结论是第二个命题的条件，那么这两个命题叫互逆命题。如果把其中一个命题叫做原命题，那么另一个叫做原命题的逆命题。三个概念原命题,逆命题,否命题,逆否命题四种命题形式:原命题（Originalproposition）:逆命题（Inverseproposition）:否命题（Negativeproposit
7、ion）:逆否命题（Inverseandnegativeproposition）:若p,则q若q,则p若┐p,则┐q若┐q,则┐p1：要写出一个命题的另外三个命题关键是分清命题的题设和结论（即把原命题写成“若P则Q”的形式）2：（1）“或”的否定为“且”，（2）“且”的否定为“或”，（3）“都”的否定为“不都”。注意：三种命题中最难写的是否命题。四种命题之间的关系原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互为逆否互为逆否互逆命题互逆命题互否命题互否命题探究：四种命题的真假关系试写出下列命题的逆命题，否
8、命题，逆否命题，并判断真假填入下表若x=2，则x²-3x+2=0.（3）若x是无理数，则x+1是无理数若a²=b²，则a=b.（4）若a>b，则a²>b²原命题逆命题否命题逆否命题(1)(2)(3)(4)四种命题之间的关系原命题若p则q逆命题若q则p否命题若﹁p则﹁q逆否命题若﹁q则﹁p互
