第三节简单得逻辑联结词、 全称量词与存在量词.pptVIP

* 第三节　简单的逻辑联结词、 全称量词与存在量词 判断含有逻辑联结词的命题的真假 分别写出由下列各组命题构成的“p且q”“p或q”的新命题，并判断真假． (1)p： 是无理数，q： 大于1； (2)p：N?Z，q：0∈N； (3)p：x2＋1＞x－4，q：x2＋1＜x－4. 分析　首先用逻辑联结词“且”与“或”将两个命题联结成一个新命题，然后根据复合命题的真值表，逐个进行判断． 解　(1)p∧q： 是大于1的无理数，真命题； p∨q： 是无理数或大于1，真命题． (2)p∧q：N?Z且0∈N，真命题； p∨q：N?Z或0∈N，真命题． (3)p∧q：x2＋1＞x－4且x2＋1＜x－4，假命题； p∨q：x2＋1＞x－4或x2＋1＜x－4，真命题． 规律总结　(1)用“且”与“或”联结的是两个命题，是复合命题，从语言描述上，可以进行精炼．(2)判断复合命题的真假，主要依据真值表，当然，要正确理解命题中的相关知识． 变式训练1 分别写出由下列各组命题构成的“p且q” “p或q”的新命题，并判断真假． (1)p：3＞3，q：3＝3； (2)p：A?A，q：A∩A＝A； (3)p：函数y＝x2＋3x＋4的图象与x轴有交点，q：方程x2＋3x－4＝0没有实根． 【解析】　(1)p∧q：3＞3且3＝3，假命题； p∨q：3＞3或3＝3，真命题． (2)p∧q：A?A且A∩A＝A，真命题； p∨q：A?A或A∩A＝A，真命题． (3)p∧q：函数y＝x2＋3x＋4的图象与x轴有交点且方程x2＋3x－4＝0没有实根，假命题； p∨q：函数y＝x2＋3x＋4的图象与x轴有交点或方程x2＋3x－4＝0没有实根，假命题． 全称命题和特称命题的否定 写出下列命题的否定． (1)p：?x0∈R，x02＋2x0＋2≤0. (2)p：有的三角形是等边三角形． (3)p：对任意x∈Z，x2的个位数字不等于3. (4)p：直线l⊥平面α，则对任意l′?α，l⊥l′. (5)p：?x＞1，log2x＞0. 分析　根据全称命题的否定是特称命题以及特称命题的否定是全称命题的事实，尽量用简洁、自然的语言表述含有一个量词的命题的否定． 解　(1) ：?x∈R，x2＋2x＋2＞0. (2) ：所有的三角形都不是等边三角形． (3) ：?x0∈Z，x02的个位数字等于3. (4) ：直线l⊥平面α，则?l′0?α，l与l′0不垂直． (5) ：?x0＞1，log2x0≤0. 规律总结　为了准确地对含有一个量词的命题进行否定，一方面，要充分理解量词的含义；另一方面，要充分利用原先的命题与它的否定在形式上的联系． 变式训练２ 写出下列命题的否定． (1)p：有一个素数是偶数． (2)p：梯形的四条边不全相等． (3)p：负数的绝对值是正数． (4)p：?x0∈R，x02＋2x0＋3＝0. 【解析】　(1) ：所有的素数都不是偶数． (2) ：有些梯形的四条边全相等． (3) ：有些负数的绝对值不是正数． (4) ：?x∈R，x2＋2x＋3≠0. 复合命题真假判断的综合应用 已知p：方程x2＋mx＋1＝0有两个不等的负根，q：方程4x2＋4(m－2)x＋1＝0没有实根，若p或q为真命题，p且q为假命题，求m的取值范围． 分析　首先由p或q为真命题，p且q为假命题，判断p与q的真假；再用不等式表示命题p与q相应的真假，从不等式组解出m的取值范围． 解　∵方程x2＋mx＋1＝0有两个不等的负根， ∴ 解得m＞2. ∵方程4x2＋4(m－2)x＋1＝0没有实根， ∴16(m－2)2－16＜0，∴1＜m＜3. 又∵p或q真，p且q假，∴p真q假或p假q真， ∴ 或 得m≥3或1＜m≤2. ∴m的取值范围是[1,2]∪[3，＋∞)． 规律总结　在上述题目中，有两个复合命题，要注意综合应用，从而判断命题p与q的真假．事实上，只有p，q都为真时，p∧q为真，否则为假；只有p，q都为假时，p∨q为假，否则为真． 　变式训练３ 已知p：|x2－x|≥6；q：x∈Z.若p∧q与 都是假命题，求x的取值范围． 【解析】　∵p∧q与 都是假命题， ∴p为真命题，q为假命题． ∵|x2－x|≥6，∴x2－x≥6或x2－x≤－6， ∴x≥3或x≤－2，∴p：x≥3或x≤－2. ∵p为真命题，q为假命题， ∴x