《常用逻辑用语章末复习》教学设计.docVIP

PAGE12/NUMPAGES12

《常用逻辑用语章末复习》

（名师：魏杰）

一、思维导图

四种命题四种命题的相互关系

四种命题

四种命题的相互关系

p→q互否互逆互否互逆q→pq→p等效命题p（或q）推出pqp→q充分条件、必要条件量词特称量词非（否定）全称量词特称命题全称命题基本逻辑联结词且或

p→q

互否

互逆

互否

互逆

q→p

q→p

等效

命题

p（或q）

推出pq

p→q

充分条件、必要条件

量词

特称量词

非（否定）

全称量词

特称命题

全称命题

基本逻辑联结词

且

或

二、例题讲解

1.写出下列命题的否定，并判断其真假.

（1）p：?x∈R，x2－x＋eq\f(1,4)≥0；

（2）q：所有的正方形都是矩形；

（3）r：?x0∈R，xeq\o\al(2,0)＋2x0＋2≤0；

（4）s：至少有一个实数x0，使xeq\o\al(3,0)＋1＝0.

答案：（1）：?x0∈R，xeq\o\al(2,0)－x0＋eq\f(1,4)＜0，假命题.（2）：至少存在一个正方形不是矩形，假命题.(3)：?x∈R，x2＋2x＋2＞0，真命题.(4)：?x∈R，x3＋1≠0，假命题.

解析：【知识点】含有一个量词的命题的否定.

【解题过程】运用含有一个量词的命题的否定的形式.

点拨：命题的否定中均要改变.

2.已知，，若是的必要而不充分条件，求实数的取值范围.

答案：的取值范围为.

解析：【知识点】充分必要条件.

【解题过程】由得.

所以“”：.

由得，所以“”：.

由是的必要而不充分条件知

.

点拨：充分必要条件与集合的包含之间的联系.

3.已知命题p：方程x2＋mx＋1＝0有两个不等的负实数根；命题q：方程4x2＋4(m－2)x＋1＝0无实数根.若“p或q”为真命题，“p且q”为假命题，求m的取值范围.

答案：m的取值范围为m≥3或1＜m≤2.

解析：【知识点】复合命题的真假.

【解题过程】由p得：eq\b\lc\{\rc\(\a\vs4\al\co1(Δ1＝m2－4＞0，,－m＜0，))则m＞2.

由q得：Δ2＝16(m－2)2－16＝16(m2－4m＋3)＜0，则1＜m＜3.

又∵“p或q”为真，“p且q”为假，∴p与q一真一假.

①当p真q假时，eq\b\lc\{\rc\(\a\vs4\al\co1(m＞2，,m≤1或m≥3，))解得m≥3；②当p假q真时，eq\b\lc\{\rc\(\a\vs4\al\co1(m≤2，,1＜m＜3，))解得1＜m≤2.

点拨：熟悉复合命题的真值表.

三、章末检测题

简易逻辑用语章末测试

一、选择题：（本大题共12小题，每小题5分，共60分.在每小题给出的四个选项中，只有一项是符合题目要求的）

1.有下列四个命题：①“若,则互为相反数”的逆命题；

②“全等三角形的面积相等”的否命题；③“若,则有实根”的逆否命题；④“不等边三角形的三个内角相等”逆命题；其中真命题为（）

A.①②

B.②③

C.①③

D.③④

答案：C.

解析：【知识点】四种命题的形式及命题的真假判断.

【解题过程】①是相互的定义，正确.②不全等的三角形等底等高面积也可相等，错误.③原命题和逆否命题同真假，,正确.④内角相等的三角形一定是在正三角形，错误.

点拨：熟悉四种命题的形式.

2.已知是的充分而不必要条件，那么是的（）条件

A.必要不充分

B.充分不必要

C.充要

D.既不充分也不必要

答案：B.

解析：【知识点】充分必要条件.

【解题过程】推出，推不出，由原命题和逆否命题真假性相同，所以推出，推不出.

点拨：原命题和逆否命题真假性相同.

3.下列特称命题中真命题的个数是（）

①②至少有一个整数，它既不是合数，也不是素数

③

A.0

B.1

C.2

D.3

答案：D.

解析：【知识点】全称命题和特称命题真假性的判断

【解题过程】①中取,正确；②中取，正确；③中取，正确.

点拨：特称命题为真，只需找到一个即可.

4.命题“对任意的”的否定是（）

A.不存在

B.存在

C.存在

D.对任意的

答案：C.

解析：【知识点】全称命题的否定.

【解题过程】“对任意的”是全称命题，否定命题是“存在”.

点拨：全称命题的否定需要把任意改成存在.

5.与命题“若则”的等价的命题是（）

A.若，则

B.若，则

C.若，则

D.若，则

答案：B.

解析：【知识点】四种命题的形式.

【解题过程】由原命题与逆否命题等价，即若，则.

点拨：原命题与逆否命题等价.

6.已知直线m、l和平面α、β，则α⊥β的充分条件是（）

A.m⊥l，m//α，l//β

B.m⊥l，α∩β＝m，lα

C.m//l，m⊥α，l⊥β

D.m//l，l⊥β，mα

答案：