常用逻辑用语专题复习.docVIP

简单逻辑用语复习学案 一、知识梳理 1、命题： 叫命题，如“35”是命题，“萝卜好大”不是命题。（1）命题的一般书写形式是 . （2）不含逻辑联结词“或”、“且”、“非”的命题叫做 命题，由简单命题与逻辑联结词构成的命题叫做 。复合命题的构成形式有 、 和 三种形式。 （3）“p或q”复合命题只有 时为假，否则为真命题； “p且q”复合命题只有当p，q同时为真命题时为 ，否则为假命题； p与“非p”的真假 。 （4）全称命题与存在性命题： 全称命题： ，符号表示： . 存在性命题： ，符号表示： . 全称命题的否定形式为： ，存在性命题的否定形式为： . 2、命题的四种形式及其关系： （1）原命题：若p则q（p为条件，q为结论）；则逆命题： ； 否命题： ；逆否命题： . （2）原命题与其逆否命题同真假。一个命题的逆命题和否命题同真假。 （3）四种命题及其关系如下图所示 ： 3、充分条件与必要条件： （1）如果命题“若p则q ，否则记作 . （2）在命题“若p则q”中， 如果p q,则称p是q的 条件，同时也称q是p的 条件； 如果pq但q p，则称p是q的 条件； 如果p q但q p ，则称p是q的 条件； 如果pq且q p ，则称p是q的 条件。 （3）p是q的充分条件的四种说法： 文字语言：命题“若p则q ； 集合语言： 即集合； 逻辑语言： q是p的必要条件 4、命题的否定形式与否命题 已知命题：“若p则q”，则该命题的否定形式为：“若p则非q” ；（只否定结论） 则该 命题的否命题为：“若非p则非q”。（条件和结论都否定） 5、反证法：从命题结论的反面出发（假设），引出(与已知、公理、定理…)矛盾，从而否定假设证明原命题成立，这样的证明方法叫做反证法。 二、典型例题 题型一 是否构成命题 例1、下列语句是命题的有（ C ） ①;②10是2或5的倍数；③2是4和6的约数；④相似三角形的对应边不一定相等；⑤这道题好难啊！； 题型二 命题真假的判断 例2、判断下列命题的真假： ①; （ 真 ） ②若是的充分不必要条件，则是的必要不充分条件；（ 真 ） ③ ；（ 假 ） ④ 已知命题P：，命题q： ，若是真命题，则实数a的取值范围是；（ 真 ） ⑤ 已知实数，命题p：函数的定义域为R，命题q：是的充分不必要条件，则（A） Ａ．为真命题 Ｂ．为假命题 Ｃ．为真命题 Ｄ．为真命题 ⑥设函数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）的最大值. 这些命题中，真命题的个数是　　　　　　（　D　） A.0 B.1 C.2 D.3 题型三 命题的否定与否命题 例3、写出下列命题的否定形式与否命题，并判断真假： （1）若，则x=0，y=0； （2）若xy=0，则x，y中至少有一个为0； （3）若x + y =0，则x，y中至多有一个大于0. 解：（1）否定：若，则；（假）否命题：若，则（真） （2）否定：若xy=0，则x，y都不为0；（假）否命题：若，则x，y都不为0