简单的逻辑联结词、全称量词存在量词.docVIP

§1.3　简单的 考点梳理： 1．逻辑联结词命题中的“或”“且”“非”称为____________________．2．全称量词所有的”“任意一个”“每一个”等短语在逻辑中通常叫做____________并用符号“________”表示．含有全称量词的命题称为____________全称命题“对M中任意一个x有(x)成立”可用符号简记为：(x)．3．存在量词存在一个”“至少有一个”等短语在逻辑中通常叫做______________并用符号“________”表示．含有存在量词的命题称为______________特称命题“存在M中的元素x使p(x)成立”可用符号简记为：(x0)．注：特称命题也称存在性命题．4．含有一个量词的命题的否定命　题 命题的否定(x) ?x0∈M，p(x0) 因此全称命题的否定是________命题；特称命题的否定是________命题．5．命题p∧qp的真假判断(真值表)p q p∧q p∨q ﹁p 真 真 ① ② ③真 假 ④ ⑤ ⑥假 真 ⑦ ⑧ ⑨假 假 ? 自查自纠： 1．逻辑联结词2．全称量词　　全称命题3．存在量词　　特称命题4．?x0∈M，﹁p(x0)　p(x)　特称　全称5．①真　②真　③假　④假　⑤真　⑥假　⑦假真　⑨真　假　 典型例题讲练 类型一　含有逻辑联结词的命题及其真假判断 　指出下列命题的构成形式并对该命题进行分解然后判断其真假．(1)矩形的对角线相等且垂直；(2)3≥3；(3)10是2或5的倍数；(4)10是2和5的倍数；解：(1)是“p∧q”形式的命题．其中p：矩形的对角线相等：矩形的对角线垂直．该命题为假命(2)是“p∨q”形式的命题．其中p：3＞3：3＝3.该命题是真命题．(3)是“p∨q”形式的命题．其中p：10是2的倍数：10是5的倍数．该命题是真命题．(4)是“p∧q”形式的命题．其中p：10是2的倍数：10是5的倍数．该命题是真命题．　分别写出由下列各组命题构成的“p∨q”“p∧q”p”形式的新命题并判断其真假．(1)p：2是4的约数：2是6的约数；(2)p：矩形的对角线相等：矩形的对角线互相平分．解：(1)p∨q：2是4的约数或2是6的约数真命题；：2是4的约数且2是6的约数真命题；p：2不是4的约数假命题．(2)p∨q：矩形的对角线相等或互相平分真命题；：矩形的对角线相等且互相平分真命题；p：矩形的对角线不相等假命题．类型二　含有逻辑联结词命题的综合问题　()已知p：方程x＋mx＋1＝0有两个不相等的负实数根；q：不等式4x＋4(m－2)x＋10的解集为.若“p∨q”为真命题为假命题则实数m的取值范围是________．解：p为真命题 解得m2.为真命题有Δ＝[4(m－2)]－4×4×10解得1由“p∨q”为真命题为假命题知p与q一真一假．当p真假时由 得m≥3；当p假真时由 得1m≤2.综上实数m的取值范围是(1]∪[3，＋∞)．故填(1]∪[3，＋∞)．　()命题p：关于x的不等式＋＋4＞0对一切x∈恒成立命题q：函数f(x)＝(3－2a)是增函数若p或q为真且q为假则实数a的取值范围是________．解：设g(x)＝x＋2ax＋4由于关于x的不等式x＋＋＞0对一切x∈恒成立函数g(x)的图象开口向上且与x轴没有交点有Δ＝4a－16＜0解得－2＜a＜2.又∵函数f(x)＝(3－2a)是增函数－2a＞1＜1.又由于p或q为真且q为假可知p和q一真一假．(1)若p真q假则＜2.(2)若p假q真则－2.综上可知所求实数a的取值范围是(－∞－2]∪[1)．故填(－∞－2]∪[1)．类型三　全称命题与特称命题的否定　写出下列命题的否定并判断它们的真假．(1)p1：是无}，x2是无理数；(2)p2：至少有一个整数它既能被2整除又能被5整除；(3)p3：Z}，log2x＞0；(4)p4：－x＋＞0.解：(1)p1：是无理数}不是无理数是真命题．(2) ﹁p2：所有的整数都不能被2整除或不能被5整除是假命题．(3) ﹁p3：Z}，log2x≤0，是假命题．(4)﹁p4：－x＋是真命题．　()命题“(n)∈N*且f(n)≤n”的否定形式是(　　)(n)?N*且f(n)＞n(n)?N*或f(n)＞n(n0)?N*且f(n)＞n(n0)?N*或f(n)＞n解：全称命题的否定为特称命题因此命题“(n)∈N*且f(n)≤n”的否定形式是“(n0)?N*或f(n)＞n故选1．含有逻辑联结词命题真假的判断判断一个含有逻辑联结词命题的真假应先对该命题进行分解判断出构成它的简单命题的真假再根据真值表进行判断．2．全称命题与特称命题真假的判断(1)要判断全称命题是真命题需要对集合M中每个元素x证明p(x)成立；在集合M中找到一个元素x使得p(x)不成立 (2)要判定一个