13常用逻辑用语.docVIP

常用逻辑用语 一、基本概念 （一）命题及其关系： 阅读下列语句，你能判断它们的真假吗？ （1）矩形的对角线相等；T（2）3；F （3）3吗？ N（4）8是24的约数；T （5）两条直线相交，有且只有一个交点； T（6）他是个高个子.N （7）x2 N 1.命题：可以判断真假的陈述句叫做命题. 也就是说，判断一个语句是不是命题关键是看它是否符合“是陈述句”和“可以判断真假”这两个条件.上述个语句中，（1）（2）（4）（5）是命题.（6）判断为真的语句叫做真命题；判断为假的语句叫做假命题. 误区1 一个陈述句是命题，祈使句也是命题，而疑问句就不是命题．对顶角难道不相等吗?误区2 所有的不等式都不是命题．x2+1≥0) 4.将一个命题改写成“若，则”的形式： 一个“若，则”的命题形式，我们把其中的叫做命题的条件，叫做命题的结论. 练习：将下列命题改写成“若，则”的形式. （1）两条直线相交有且只有一个交点；（2）对顶角相等；（3）全等的两个三角形面积也相等 5.四种命题的概念： （1）原命题：若p，则q； （2）互换条件和结论得逆命题：若q，则p； （3）条件的否定做条件，结论的否定做结论得否命题：若，则； （4）条件的否定做结论，结论的否定做条件得逆否命题：若，则 注意：否命题不是命题的否定，两者有区别，后面的逻辑联结词中会仔细研究 　　原命题 　　逆命题 　　否命题 　　逆否命题 　若，则 　若，则 若，则 若，则 写出下列命题的逆命题、否命题、逆否命题，并判断它们的真假： （1）同位角相等，两直线平行；（2）正弦函数是周期函数； （3）能被5整除的数末位是0；（4）是有理数. 四种命题的相互关系图：结论一：原命题与它的逆否命题同真假； 结论二：两个命题为互逆命题或互否命题，它们的真假性没有关系. （二）充分条件与必要条件： 写出下列命题的逆命题、否命题及逆否命题，并判断它们的真假： （1）若，则； （2）若时，则函数的值随的值的增加而增加. 1. 认识“”与“”： 在上面两个命题中，命题（1）为假命题，命题（2）为真命题. 也就是说，命题（1）中由“”不能得到“”，即；而命题（2）中由“”可以得到“函数的值随的值的增加而增加”，即函数的值随的值的增加而增加. 2.充分条件和必要条件： 若，则是的充分条件，是的必要条件. 上述命题（2）中“”是“函数的值随的值的增加而增加”的充分条件，而“函数的值随的值的增加而增加”则是“”的必要条件. 理解：充分：有它就行；必要：没它不行（逆否命题角度理解） 3.充要条件 一般地，如果既有，又有，就记作. 此时，我们说，是的充分必要条件，简称充要条件（也说等价） 4.几种条件总结： （1）图表法─若则（真）———→是的充分条件→是的充分不必要条件 是的 若则（假）—── 充要条件←─—→是的既不充分也不必要条件若则（假）—── →是的必要不充分条件—若则（真）———→是的必要条件 （2）用集合的观点研究充分、必要条件 当ｐ、ｑ分别以集合A、B出现时： 若AB但B不包含于A，即A 是B的真子集，则ｐ是ｑ的充分而不必要条件 若AB 但A 不包含于B， 即B是A的真子集，则ｐ是ｑ的必要而不充分条件 若AB且BA ，即A=B ， 则ｐ是ｑ的充要条件 若A不包含于B，且B不包含于A ，则ｐ是ｑ的既不充分也不必要条件 注意问题考察时的等价转化 （三）简单的逻辑联结词： 命题是怎样分类的? 根据量词的不同，命题可分为单称命题，特称命题和全称命题。单称命题的主项是单独的个体，量词“一个”通常被省略。如“3是正数”就是单称命题。全称命题的主项是对象的全体，常用的量词是“一切”，“所有”，“每一个”，“任何”,“都”等，也常被省略。如“整数是有理数”的完整的表示是全称命题“所有整数都是有理数”。特称命题的主项是对象的一部分，常用的量词是“有的”，“存在”，“至少有一个”，等，不能省略。如“有的实数的平方不是正数”就是特称命题。 根据判断词的不同，命题又可分为性质命题和关系命题。性质命题的判断词常用“是”，“不是”；用来判断主项是否符合某项性质。例如“3是正数”就是性质命题。关系命题的判断词常用“有”，“没有”，“存在”，“使”，“满足”；“不存在”，“不满足”用来判断主项是否符合某种关系。在语义明确的情况下判断词常被省略。例如 “存在角A，使sinA=0” 就是关系命题 根据命题的结构，命题可分为简单命题和复合命题。不含逻辑联结词的命题叫简单命题。前面举例的命题都是简单命题。含逻辑联结词（“或”，“且”，“非”）的命题叫复合命题。例如“32或3=2”,“3是正数，且3是奇数”，“3不是无理数”分别是“或命题”，“且命题”，“非命题”。它们都是复合命题。 且：一般地，用联结词“且”把命题