高二数学寒假课程第5讲-简易逻辑.doc

第五讲 命题与简易逻辑 【考点一：命题相互关系与四种命题】 1.用语言、符号或式子表达的，可以判断真假的陈述句称为命题. 其中判断为真的语句称为真命题，判断为假的语句称为假命题 2.（1）如果第一个命题的条件和结论分别是另一个命题的结论和条件，那么这两个命题叫互逆命题. （2）如果第一个命题的条件和结论恰好是另一个命题的条件的否定 和结论的否定，那么这两个命题叫互否命题. （3）如果第一个命题的条件和结论恰好是另一个命题的结论的否定和条件的否定，那么这两个命题叫互逆否命题. 3.一般地，把条件的否定和结论的否定，分别记为“p”和“q”，则命题的四种形式可写为： 原命题：“若则”；逆命题：“若则”；否命题：“若 p则 q”； 逆否命题：“若 q则p” 3.原命题、逆命题、否命题、逆否命题的关系如下图所示： 互为逆否命题的真假性是一致的， 互逆命题或互否命题真假性没有关系. 【例1】下列语句中哪些是命题？其中哪些是真命题？ ①“等边三角形难道不是等腰三角形吗？”； ②“垂直于同一条直线的两条直线必平行吗？”； ③“一个数不是正数就是负数”； ④“珠海是一个多么美丽的海滨城市啊！”； ⑤“为有理数，则、也都是有理数”； ⑥ “作∽”. 【解析】根据命题的概念，判断是否为命题，若是，再判断真假. ① 通过反问句，对等边三角形是等腰三角形作出判断，是真命题. ② 疑问句，没有垂直于同一条直线的两条直线是否平行作出判断， 不是命题； ③ 是假命题， 数0既不是正数也不是负数. ④ 感叹句， 不是命题. ⑤ 是假命题， 如. ⑥ 祈使句， 不是命题. 命题有： ①③⑤ ；真命题有： ① 【课堂练习】 1.下列命题是真命题的为 A.若，则 B.若，则 C.若，则 D.若，则 答案A 【解析】由得，而由得，由，不一定有意义，而得不到 故选A. p） 2.短语“对所有的”、“对任意一个” 逻辑中称为全称量词，并用符号“” 表示.含有全称量词的命题称为全称命题 ，全称命题形式： ，其中M为给定的集合. 3.短语“存在一个”、“至少有一个” 逻辑中称为存在量词，并用符号“” 表示.含有存在量词的命题称为特称命题 ，特称命题形式： ，其中M为给定的集合. 4.全称命题p：的否定p：；全称命题的否定为特称命题 特称命题p：的否定p：；特称命题的否定为全称命题 其中p（x）是一个关于的命题. 5.三种复合命题的真值表： “非p”形式复合命题的真假可以用下表表示： p p 真 假 假 真 （1）“p且q”： 一假即假（2）“p或q”： 一真即真（3）“非p”： 真假相反 “p且q”形式复合命题的真假可以用下表表示： p q p∧q 真 真 真 真 假 假 假 真 假 假 假 假 “p且q”形式复合命题的真假可以用下表表示： p q P∨q 真 真 真 真 假 真 假 真 真 假 假 假 特别提醒： 命题的“否定”与“否命题”是不同的概念，对命题p的否定（即非p）是否定命题p所作的判断，而“否命题”是 “若p则 q ” 【例3】指出下列命题的真假： （1）命题“不等式（x+2）2≤0没有实数解”； （2）命题“1是偶数或奇数”； （3）命题“属于集合Q，也属于集合R”； （4）命题“”. 【解析】（1）此命题为“p”的形式，其中p：“不等式（x+2）2≤0有实数解”， 因为x=-2是该不等式的一个解，所以p是真命题，即p是假命题，所以原命题是假命题. （2）此命题是“p∨q”的形式，其中p：“1是偶数”，q：“1是奇数”， 因为p为假命题，q为真命题， 所以p∨q是真命题，故原命题是真命题. （3）此命题是“p∧q”的形式，其中p：“属于集合Q”，q：“属于集合R”， 因为p为假命题，q为真命题，所以p∧q是假命题，故原命题是假命题. （4）此命题是“p”的形式，其中p：“”， 因为p为真命题，所以“p”为假命题，故原命题是假命题. 【课堂练习】 4.写出由下列各组命题构成的“p或q”，“p且q”，“非p”形 式的新命题，并判断其真假. （1）p：2是4的约数，q：2是6的约数； （2）p：矩形的对角线相等，q：矩形的对角线互相平分； （3）p：方程x2＋x－1＝0的两实根的符号相同，q：方程x2＋x－1＝0的两实根的绝对值相等. 【解析】（1）p或q：2是4的约数或2是6的约数，真命题； p且q：2是4的约数且2也是6的约数，真命题； 非p：2不是4的约数，假命题. （2）p或q：矩形的对角线相等或互相平分，真命题； p且q：矩形的对角线相等且互相平分，真命题； 非p：矩形的对角线不相等，假命题. （3）p或q：方程x2＋x－1＝0的两个实数根符号相同或绝对