常用逻辑用语复习教案.docVIP

2-1 第一章 常用逻辑用语 小结与复习(教案) 【知识归类】 1．命题：能够判断真假的陈述句. 2. 四种命题的构成:原命题:若则;逆命题:若则;否命题:若则;逆否命题: 若则. 一个命题的真假与其他三个命题的真假有如下关系: 原命题为真,它的逆命题. 原命题为真,它的否命题. 原命题为真,它的逆否命题. 逆命题为真,它的否命题. 原命题与逆否命题互为逆否命题,它们的真假性是. 逆命题与否命题互为逆否命题,它们同真同假. 3. 充分条件与必要条件: :是充分条件; 是必要条件; . 4. 逻辑联接词: “且”、“或”、“非”分别用符号“”“ ”“ ”表示，意义为： 或：两个简单命题至少一个成立；且：两个简单命题都成立；非：对一个命题的否定. 按要求写出下面命题构成的各复合命题，并注明复合命题的“真”与“假”. :矩形有外接圆; 矩形有内切圆. （真） （假） 非:（假） 5. 全称量词与全称命题：常用的全称量词有：“所有的”、“任意的”、“每一个”、“一切”、“任给”等，并用符号“”表示.含有全称量词的命题叫全称命题. 6. 存在量词与特称命题：常用的存在量词有：“存在一个”、“至少有一个”、“有些”、“有的”、“某个”等，并用符号“”表示.含有存在量词的命题叫特称命题. 7. 对常用的正面叙述的词语填上它们的否定词语: 正面词语 等于= 大于() 小于() 是 都是 任意的 否定词语 不等于 不大于 不小于 不是 不都是 某个 正面词语 所有的 任意两个 至多有一个 至少有一个 至多有n个 否定词语 某些 某两个 至少有两个 一个也没有 至少有n+1个 8. 反证法的逻辑基础: (1) 与的真假相异,因此,欲证为真,可证为假,即将作为条件进行推理,如果导致矛盾,那么必为假,从而为真. (2) “”与“”等价.欲证“”为真,可由假设“”来证明“”,即将“”作为条件进行推理,导致与已知条件矛盾. （3）由“”的真假表可知，“”为假，当且仅当真假，所以我们假设“真假”，即从条件和出发进行推理，如果导致与公理、定理、定义矛盾，就说明这个假设是错误的，从而就证明了“”是真命题. 后两条的逻辑基础,可以概括成一句话:“否定结论，推出矛盾”. 【题型归类】 题型一：四种命题之间的关系 例1 “R），则”的逆否命题是（ D ）. (A) R),则 (B) R),则 (C) R),则 (D) R),则 【审题要津】命题结论中的如何否定是关键. 解: 是,否定时“且”应变为“或”,所以逆否命题为: R),则,故应选D 【方法总结】一个命题结论当条件，条件作结论得到的命题为原命题的逆否命题. 题型二：充分、必要条件题型 例2 “”是“等式”的 （ A ）. （A）））） (B) (C) (D) 题型五：综合应用 例6 已知关于的实系数二次方程有两个实数根.证明: 且的充要条件. 【审题要津】充要条件的证明题都必须从充分和必要两个方面加以证明,其中的充分性是由条件推出结论，从题目的叙述中可以看出，且条件，是结论，由于二次方程的根由相应的二次函数的图象与轴的交点直观的表示出来，因此可以其直观性帮助解题。 证明：（1）充分性：由韦达定理得. 设,则函数的图象是开口向上的抛物线,又,,.即有, 联立解得. (2)必要性: 由且的图象是开口向上的抛物线,方程 的两根同在内或无实根. 是方程的根, 同在内,即且. 【方法总结】从本题的要求看,需首先判定条件的充分性和必要性,判定的一般步骤是(1)先分清条件与结论,(2)进行互推,(3)根据定义下结论. 【思想方法】 1.数学思想：本部分用到的数学思想有：划归思想，分类讨论思想亦即否定思想. 2.数学方法:本部分用到的数学主要是反证法,否定一个命题经常通过“举反例”来说明. 1．对任意实数给出下列命题： （1）“”是“”的充要条件； （2）“是无理数”是“是无理数”的充要条件； （3）“”是“” 的充分条件； （4）“”是“”的必要条件 其中真命题的个数是 （ B ）. （ A ） 1 ( B ) 2 （ C ） 3 （ D ） 4 2. “”是“”的 （ B ）. （ A ）充分不必要条件 ( B ) 必要不充分条件 （ C ）充要条件