《常用逻辑用语》章末知识梳理 .docVIP

?常用逻辑用语?章末知识梳理 ?常用逻辑用语?章末知识梳理 ?常用逻辑用语?章末知识梳理 ?常用逻辑用语?章末知识梳理 【学习目标】 1. 理解命题的见解；认识逻辑联系词 “或 〞、 “且 〞、 “非〞的含义 . 2. 认识命题“假设 p,那么 q〞的形式及其抗命题、否命题与逆否命题，会解析四种命题的 互有关系 . 3. 理解必要条件、充分条件与充要条件的意义 . 4. 理解全称量词与存在量词的意义；能正确地对含有一个量词的命题进行否认 . 【知识网络】 【要点梳理】 要点一：命题 〔1〕命题的见解：能够真假的语句叫做命题 . 一般能够用小写英文字母表示 . 其中判 断为真的语句叫真命题，判断为假的语句叫假命题 . 〔2〕全称量词与全称命题 全称量词：在指定范围内，表示整体也许所有的含义的量词称为全称量词 . 如“所有 的〞、“任意一个〞、“每一个〞、 “所有〞、“任给〞等 . 全称命题：含有全称量词的命题，叫做全称命题 . 符号表示为 x M ， p( x) 〔3〕存在量词与存在性命题 存在量词：表示个别或一局部的含义的量词称为存在量词 . 如“有一个〞， “存在一个〞, “最少有一个〞 ，“有的〞 , “有些〞等 . 存在性命题：含有存在量词的命题，叫做存在性命题 . 符号表示为 x M ，q( x) . 要点二：根本逻辑联系词 根本逻辑联系词有 “或 〞、 “且〞、 “非 〞. 〔1〕 p q：用“且〞把命题 p 和q 联系起来，获取的新命题，读作“ p且 q〞，相当 于会集中的交集 . 〔2〕 p q：用“或〞把命题 p 和q 联系起来，获取的新命题，读作“ p或 q〞，相当 于会集中的并集 . 〔3〕 p ：对命题 p 加以否认，获取的新命题，读作“非 p 〞或“ p 的否认〞，相当 于会集中的补集 . 要点三：充分条件、必要条件、充要条件 关于“假设 p 那么 q〞形式的命题： ①假设 p q，那么 p 是 q 的充分条件， q 是 p 的必要条件； ②假设 p q，但 q p，那么 p 是 q 的充分不用要条件， q 是 p 的必要不充分条件； ③假设既有 p q，又有 q p，记作 p q，那么 p 是 q 的充分必要条件〔充要条件〕 . 第 1 页 判断命题充要条件的三种方法 〔1〕定义法： 〔2〕等价法：由于原命题与它的逆否命题等价，否命题与抗命题等价，因此，若是原 命题与抗命题真假不好判断时，还可以够转变成逆否命题与否命题来判断．即利用 A B与 B A； B A与 A B ； A B与 B A的等价关系，关于条件或结论是 不等关系〔或否认式〕的命题，一般运用等价法 . (3)利用会集间的包含关系判断，比方 A B 可判断为A B；A=B 可判断为A B，且 B A，即 A B. 如图： “ A ü B 〞 “ x A x B，且 x B x A〞 x A是 x B的充分不 必要条件 . “ A B〞 “ x A x B〞 x A是 x B的充分必要条件 . 要点讲解： 〔1〕在判断充分条件与必要条件时，第一要分清哪是条件，哪是结论；尔后用条件推 结论，再用结论推条件，最后进行判断 . 〔2〕充要条件即等价条件，也是完成命题转变的理论依照 . “当且仅当〞 .“有且仅有〞 .“必定且只须〞 .“等价于〞 “? 反过来也成立〞等均为充 要条件的同义词语. 要点四：四种命题及互有关系 若是用 p 和 q 分别表示原命题的条件和结论， 用 p 和 q 分别表示 p 和 q 的否认， 那么 命题的四种形式为： 原命题：假设 p那么q； 抗命题：假设 q那么p； 否命题：假设 p那么q； 逆否命题：假设 q那么p. 四种命题的关系 ①原命题逆否命题.它们拥有相同的真假性，是命题转变的依照和路子之一 . ②抗命题否命题，它们之间互为逆否关系，拥有相同的真假性，是命题转变的另一 依照和路子 . 除①、②之外，四种命题中其他两个命题的真伪无必然联系 . 要点五：命题真假的判断方法 〔1〕关于一般的命题，结合所学知识经过推理论证或举反例来判断； 〔2〕关于含有逻辑联系词的命题的真假判断，可参照下表〔真值表〕 ： 命题的真假判断〔利用真值表〕 ： p或q p q 非 p p且q 第 2 页 真 真 假 真 真 真 假 假 真 假 假 真 真 真 假 假 假 真 假 假 〔3〕关于“假设 p ，那么 q 〞型的命题，由于原命题与逆否命题同真或同假，故能够利用 其逆否命题的真假来判断 . 要点讲解： ①当 p 、 q同时为假时， “ p 或 q〞为假，其他情况时为真，可简称为“一真必真〞 ； ②当 p 、 q同时为真时， “ p 且 q〞为真，其他情况时为假，可简称为“一假必假〞 ； ③“ p 〞与 p的真假相反 . 要