《（整理版）再咀嚼“常用逻辑用语”.doc》由会员分享，可在线阅读，更多相关《（整理版）再咀嚼“常用逻辑用语”.doc（3页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、再咀嚼“常用逻辑用语一、根底知识“假设a=0，那么ab=0“假设ab=0，那么a=0“假设a=0，那么ab=0“假设a0，那么ab0“假设a=0，那么ab=0“假设ab0，那么a02充分条件、必要条件 “假设p那么q，即p是条件，q为结论：1如果由，那么p是q的充分条件；2如果由q p，那么p是q的必要条件；3如果p q，那么p是q的充要条件，q也是p的充要条件.3逻辑联结词：“或、“且、“非逻辑中的“或、“且、“非与日常用语中的“或、“且、“非的意义是不尽相同的，要结合真值表加以理解或结合集合的并集、交集、补集来理解联结词，它们的定义分别用“或、“且、“非等联结词定义4全称量词与存在量词1全
2、称量词：短语“对所有的、“对任意一个、“都是、“都有、“任何的、“都不是在逻辑中通常称为全称量词，用符号“表示；2存在量词：短语“存在一个、“至少有一个、“不都是、“不都有、“存在、“至少在逻辑中通常称为存在量词，用符号表示；“小红、小明和小丽都是三好学生的否认写成“小红、小明和小丽都不是三好学生，这是错误的.因为：设分别表示小红、小明、小丽是三好学生.表示“小红、小明和小丽都是三好学生，表示“这三个人中只有一个不是三好学生，表示“这三个人中只有一个是三好学生，表示“这三个人都不是三好学生.假设把小红、小明、小丽是否为三好学生的情况表示为集合全集，那么该集合.由此可见，“小红、小明和小丽都是三
3、好学生即的对立面补集不是“小红、小明和小丽都不是三好学生即而应该是“小红、小明和小丽不都是三好学生或“小红、小明和小丽至少有一个不是三好学生.都所有任意任何至少有一个不都至少有一个或存在一个都不或没有一个，谈到它的否认，很多同学会认为是：，其实不然.如：假设，那么方程“假设方程无解，那么的否认并不是上；那么的否认到底是什么？其实，表示x是任意实数，其否认应该是：存在某个实数x；“，假设y0，那么“，假设y0，那么“，假设y0，那么；显然，两者的区别很大.二、根本技能1直接用定义判断；注意：对于“或、“且、“非2充要条件的判断方法：利用定义判断假设pq，那么p是q的充分条件，q是p的必要条件；假
4、设pq，且qp，那么p是q的充分而不必要条件；假设pq，且qp，那么p是q的必要而不充分条件；假设pq，且p，那么p是q的充要条件；假设pq，且qp，那么p是q的既不充分也不必要条件.“假设p那么q.p是q的充分条件；p是q的必要条件；p是q的充要条件；p是q的充分而不必要条件；p是q的必要而不充分条件；p是q的既不充分也不必要条件.利用集合间的包含关系判断设满足条件p的元素构成集合A，满足条件q的元素构成集合B.假设AB，那么p是q的充分条件；假设BA，那么p是q的必要条件；假设A=B，那么p是q的充要条件；假设AB，那么p是q的充分而不必要条件；假设BA，那么p是q的必要而不充分条件；假设，且，那么p是q的既不充分也不必要条件.假设等价于，那么是的充分条件，是的必要条件；假设，且等价于，且，那么是的充分而不必要条件；假设，且等价于，且，那么是的充分而不必要条件；假设，且等价于，且，那么是的充分而不必要条件；假设，且等价于，且，那么是的充分而不必要条件