选修1-1辑用语专题复习.docVIP

专题复习一《逻辑用语》 班级 小组 姓名 ◇知识归纳： 如果一个语句是命题，它必须具备两个特征：①是 ，②可以判断 。如“35”是命题，“萝卜好大”不是命题。命题的一般书写形式是 . 判断命题是真命题时，需经严格的推理论证，说明它是假命题，只需举一个 即可． 四种命题的真假性之间的关系：（1）两个命题互为逆否命题，它们有 的真假性．这一结论可以作为间接证明的依据，一个命题的逆命题与否命题互为 （2）两个命题为互逆命题或互否命题，其真假性 ． （3）由原命题写出其他三种命题，关键要分清原命题的条件和结论 充分条件与必要条件： 命题真假 “若p，则q”是真命题 “若p，则q”是假命题 推出关系 p q P q 条件关系 p是q的 条件 q是p的 条件 p不是q的 条件 q不是p的 条件 p是q的充分条件的四种说法： 文字语言： 命题“若p则q”为真命题； 符号语言：p q ； 集合语言： 即集合； 逻辑语言： q是p的必要条件 充要条件： 一般地，如果既有pq，又有qp，就记作pq，此时我们说p是q的充分必要条件，简称 ．显然，p是q的充要条件，那么q也是p的充要条件，即如果pq，那么p与q互为充要条件． 7，用逻辑联结词“或”“且”“非”构成新命题 (1)用联结词“且”把命题p和q联结起来，就得到一个新命题，记作 ，读作“p且q”． (2)用联结词“或”把命题p和q联结起来，就得到一个新命题，记作 ，读作“p或q”． (3)对一个命题p全盘否定，就得到一个新命题，记作p，读作“非p”或“p的否定”． p q p∨q p∧q p 真 真 真 假 假 真 假 假 8，含有逻辑联结词的命题的真假判断，如图： 9，“且”联结的两个命题，若命题具有相同的条件，则联结后可 ，而且用“且”联结 ；若两个命题的条件不同，但结论相同，则不可用“且”联结两个条件而省略一个结论(在不改变命题真假性的前提下可以用)，要完整地写出两个命题，用“且”联结 10，p∨q两命题的 相同时，不可以省去一个条件(注：在不改变命题真假性的前提下，可以用)；两命题的 相同时，而p∨q形式的命题却可以用“或”联结两个条件，． 11，写“非p”应先弄清p的条件与结论．另外，要注意改变原命题的真假，一般用否定词语对正面叙述的词语进行否定．如“等于”的否定是 ，“大于”的否定是“ ”即“ ”，“都是”的否定是“ ”． 12，1全程量词与全称命题 (1)全称量词：短语“所有的”“任意一个”在逻辑中常叫做全称量词，用符号“ ”表示． (2)全称命题：①定义：含有 的命题，叫做全称命题． ②符号表示： x∈M，p(x)，读作“对任意x属于M，有p(x)_成立. ” 2．存在量词与特称命题 (1)存在量词：“存在一个”“至少有一个”在逻辑中叫做存在量词，用符号“ ”表示． (2)特称命题①定义：含有 的命题，叫做特称命题． ②符号表示： x0∈M，p(x0)，读作：“存在一个x0属于M，使p(x0)成立”． 3．（1）含有一个量词的命题的否定，如图： 一般地，写含有一个量词的命题的否定，首先要明确这个命题是全称命题还是特称命题，并找到其量词的位置及相应结论，然后把命题中的全称量词改成 ，存在量词改成 ，同时 结论． （2）要判定一个全称命题是真命题，必须对限定集合M中的 验证p(x)成立；但要判定全称命题是假命题，却只要能举出集合M中的 ，使得p(x0)不成立即可(这就是通常所说的“举出一个反例”)． （3）要判定一个特称命题是真命题，只要在限定集合M中，能找到 使p(x0)成立即可；否则，这个特称命题就是假命题． （4）．对于省略量词的命题，应先挖掘命题中隐含的量词，改写成含量词的完整形式，再依据规则来写出命题的否定． （5）、命题的否定形式与否命题 已知命题：“若p则q”，则该命题的否定形式为：“ ” ；（只否定结论） 则该 命题的否命题为：“ ”。（条件和结论都否定） 5、反证法：从命题结论