选修11逻辑用语专题复习.doc

专题复习一《逻辑用语》 班级 小组 姓名 ◇知识归纳： 如果一个语句是命题，它必须具备两个特征：是，可以判断判断命题是真命题时，需经严格的推理论证，说明它是假命题，只需举一个即可．四种命题的真假性之间的关系两个命题互为逆否命题，它们有的真假性．两个命题为互逆命题或互否命题，真假性． 由原命题写出其他三种命题，关键要分清原命题的条件和结论充分条件与必要条件 命题真假 “若p，则q”是真命题 “若p，则q”是假命题 推出关系 pq P q 条件关系 p是q的条件q是p的条件p不是q的条件q不是p的条件 p是q的充分条件的四种说法： 文字语言： 命题“若p则q ； 集合语言： 即集合； 逻辑语言： q是p的必要条件 充要条件一般地，如果既有pq，又有qp，就记作pq，此时我们说p是q的充分必要条件，简称．显然，p是q的充要条件，那么q也是p的充要条件，即如果pq，那么p与q互为充要条件． 用逻辑联结词“或”“且”“非”构成新命题 (1)用联结词“且”把命题p和q联结起来，就得到一个新命题，记作，读作“p且q”． (2)用联结词“或”把命题p和q联结起来，就得到一个新命题，记作，读作“p或q”． (3)对一个命题p全盘否定，就得到一个新命题，记作p，读作“非p”或“p的否定”．p q p∨q p∧q p 真 真 真 假 假 真 假 假 含有逻辑联结词的命题的真假判断“且”联结的两个命题，若命题具有相同的条件，则联结后可，而且用“且”联结；若两个命题的条件不同，但结论相同，则不可用“且”联结两个条件而省略一个结论(在不改变命题真假性的前提下可以用)，要完整地写出两个命题，用“且”联结p∨q两命题的相同时，不可以省去一个条件(注：在不改变命题真假性的前提下，可以用)；两命题的相同时，而pq形式的命题却可以用“”联结两个条件，．写“非p”应先弄清p的条件与结论．另外，要注意改变原命题的真假，一般用否定词语对正面叙述的词语进行否定．如“等于”的否定是，“大于”的否定是“”即“”，“都是”的否定是“”． 1全程量词与全称命题 (1)全称量词：短语“所有的”“任意一个”在逻辑中常叫做全称量词，用符号“”表示． (2)全称命题：定义：含有的命题，叫做全称命题． 符号表示： xM，p(x)，读作“对任意x属于M，有p(x)_成立. ” 2．存在量词与特称命题 (1)存在量词“存在一个”“至少有一个”在逻辑中叫做存在量词，用符号“”表示． (2)特称命题定义：含有的命题，叫做特称命题． 符号表示： x0M，p(x0)，读作：“存在一个x0属于M，使p(x0)成立”． 3．含有一个量词的命题的否定一般地，写含有一个量词的命题的否定，首先要明确这个命题是全称命题还是特称命题，并找到其量词的位置及相应结论，然后把命题中的全称量词改成，存在量词改成，同时结论．要判定一个全称命题是真命题，必须对限定集合M中的验证p(x)成立；但要判定全称命题是假命题，却只要能举出集合M中的，使得p(x0)不成立即可(这就是通常所说的“举出一个反例”)． 要判定一个特称命题是真命题，只要在限定集合M中，能找到使p(x0)成立即可；否则，这个特称命题就是假命题． ．对于省略量词的命题，应先挖掘命题中隐含的量词，改写成含量词的完整形式，再依据规则来写出命题的否定．(与已知、公理、定理…) ，从而否定假设，证明原命题成立，这样的证明方法叫做反证法。 ◇基础演练： 1、下列语句是命题的有（ ） ①;②10是2或5的倍数；③2是4和6的约数；④相似三角形的对应边不一定相等；⑤这道题好难啊！； 2、判断下列命题的真假： ①; （ ） ③ ；（ ） ②若是的充分不必要条件，则是的必要不充分条件；（ ） ④ 已知命题P：，命题q： ，若是真命题，则实数a的取值范围是；（ ） ⑤ 已知实数，命题p：函数的定义域为R，命题q：是的充分不必要条件，则（ ） Ａ．为真命题 Ｂ．为假命题 Ｃ．为真命题 Ｄ．为真命题 ⑥设函数f（x）的定义域为R，有下列三个命题： 若存在常数M，使得x∈R，有f（x）≤M，则M是函数f（x）的最大值； ②若有x0∈R，使x∈R，且x≠x0，有f（x）＜f（x0），则f（x0）是函数f（x）的最大值； ③若存在x0∈R，使得对任意x∈R，有f（x）≤f(x0)，则f（x0）是函数f（x）的最大值. 这些命题中，真命题的个数是（　　）A.0 B.1 C.2 D.3 3、写出下列命题的否定形式与否命题，并判断真假：（1）若，则