2023年常用逻辑用语复习精品讲义.pdf

《2023年常用逻辑用语复习精品讲义.pdf》由会员分享，可在线阅读，更多相关《2023年常用逻辑用语复习精品讲义.pdf（7页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、学习必备 欢迎下载 2-1 第一章 常用逻辑用语 小结与复习(教案)【知识归类】1命题：能够判断真假的陈述句.2.四种命题的构成:原命题:若p则q;逆命题:若q则p;否命题:若p则q;逆否命题:若q则p.一个命题的真假与其他三个命题的真假有如下关系:原 命 题 为 真,它 的 逆 命 题真假不一定.原 命 题 为 真,它 的 否 命 题真假不一定.原命题为真,它的逆否命题真命题.逆命题为真,它的否命题真命题.原命题与逆否命题互为逆否命题,它们的真假性是同真同假.逆命题与否命题互为逆否命题,它们同真同假.3.充分条件与必要条件:pq:p是q充分条件;q是p必要条件;:pq pq是 的充分必要条件

2、，简称充要条件.4.逻辑联接词:“且”、“或”、“非”分别用符号“”“”“”表示，意义为：或：两个简单命题至少一个成立；且：两个简单命题都成立；非：对一个命题的否定.按要求写出下面命题构成的各复合命题，并注明复合命题的“真”与“假”.p:矩形有外接圆;:q矩形有内切圆.:pq或矩形有外接圆或内切圆（真）:pq且矩形有外接圆且有内切圆（假）非p:矩形没有外接圆（假）5.全称量词与全称命题：常用的全称量词有：“所有的”、“任意的”、“每一个”、“一切”、“任给”等，并用符号“”表示.含有全称量词的命题叫全称命题.学习必备 欢迎下载 6.存在量词与特称命题：常用的存在量词有：“存在一个”、“至少有一

3、个”、“有些”、“有的”、“某个”等，并用符号“”表示.含有存在量词的命题叫特称命题.7.对常用的正面叙述的词语填上它们的否定词语:正面词语 等于=大于()小于()是 都是 任意的 否定词语 不 等 于 不 大 于 不 小 于 不是 不都是 某个 正 面 词语 所 有的 任 意 两个 至多有一个 至少有一个 至多有 n 个 否 定 词语 某些 某两个 至少有两个 一个也没有 至少有 n+1 个 8.反证法的逻辑基础:(1)p与p的真假相异,因此,欲证p为真,可证p为假,即将p作为条件进行推理,如果导致矛盾,那么p必为假,从而p为真.(2)“,pq若则”与“qp若则”等价.欲证“,pq若则”为真

4、,可由假设“q”来证明“p”,即将“q”作为条件进行推理,导致与已知条件p矛盾.（3）由“,pq若则”的真假表可知，“,pq若则”为假，当且仅当p真q假，所以我们假设“p真q假”，即从条件p和q出发进行推理，如果导致与公理、定理、定义矛盾，就说明这个假设是错误的，从而就证明了“,pq若则”是真命题.后两条的逻辑基础,可以概括成一句话:“否定结论，推出矛盾”.【题型归类】题型一：四种命题之间的关系 例 1 命题“20(bab2若a、R），则a=b=0”的逆否命题是（D）.(A)若 ab0(a,bR),则20b2a (B)若 a=b0(a,bR),则20b2a (C)0若 a且b0(a,bR),则

5、20b2a(D)0若 a或b0(a,bR),则20b2a【审题要津】命题结论中的a=b=0如何否定是关键.解:a=b=0是a=0且b=0,否定时“且”应变为“或”,所以逆否命题为:题真假不一定原命题为真它的否命题真假不一定原命题为真它的逆否命件是充分条件是必要条件是的充分必要条件简称充要条件逻辑联接词且真与假矩形有外接圆矩形有内切圆或矩形有外接圆或内切圆真且矩形有学习必备 欢迎下载 0若 a或b0(a,bR),则20b2a,故应选 D【方法总结】一个命题结论当条件，条件作结论得到的命题为原命题的逆否命题.题型二：充分、必要条件题型 例 2 “,成等差数列”是“等式 sin(+)=sin2成立”

6、的（A ）.（A）充分而不必要条件 （B）必要而不充分条件（C）充要条件 （D）既不充分有不必要的条件【审题要津】,成等差数列,说明2 ,问题的关键是由两个角的正弦值相等是否一定有两个角相等.解:由,成等差数列,所以2 ,所以 sin(+)=sin2成立,充分;反之,由 sin(+)=sin2成立,不见得有,成等差数列,故应选 A.【方法总结】pq:p是q充分条件;q是p必要条件,否则:p是q的不充分条件;q是p不必要条件.变式练习：“1a”是“,21axxx 对任意的正数”的 （A）.（A）充分而不必要条件 （B）必要而不充分条件（C）充要条件 （D）既不充分有不必要的条件 例 3 221:

7、212;:210(0)3xpq xxmm 已知，若p是q的必要但不充分条件，求实数m的取值范围.【审题要津】命题p,q可以化的更简,由p和q的关系可以得到p与q的关系,利用集合的理论方法将问题解决.解:由22210 xxm 得：11,(0)mxm m ，:11,0q Ax xmxm m 或.112210,:2103xxp Bx xx 由-2得或.由p是q的必要但不充分条件知：p是q的充分但不必要条件，即BA于是：题真假不一定原命题为真它的否命题真假不一定原命题为真它的逆否命件是充分条件是必要条件是的充分必要条件简称充要条件逻辑联接词且真与假矩形有外接圆矩形有内切圆或矩形有外接圆或内切圆真且矩形

8、有学习必备 欢迎下载 012110mmm 解得0 3 0”是“1s i n2A ”的 （B）.（A）充分不必要条件 (B)必要不充分条件 （C）充要条件 （D）既不充分也不必要条件 6.设,M N是两个集合，则“MN ”是“MN ”的 (B).题真假不一定原命题为真它的否命题真假不一定原命题为真它的逆否命件是充分条件是必要条件是的充分必要条件简称充要条件逻辑联接词且真与假矩形有外接圆矩形有内切圆或矩形有外接圆或内切圆真且矩形有学习必备 欢迎下载（A）充分不必要条件 (B)必要不充分条件 （C）充要条件 （D）既不充分也不必要条件 7.已知命题:p所有有理数都是实数，命题:q正数的对数都是负数，

9、则下列命题中为真命题的是 （D）.（A）pq （B）pq C）pq （D）pq 8.已知命题：对任意的实数x，若2x 则24x.写出它的逆、否、逆否命题，并判断其真假.解:逆命题:x R,2若x 4则x2(假)否命题:x R,42若x2则x（假）逆否命题:x R,2若x4则x2（假）9.已知命题：矩形的对角线相等.(1)写出这个命题的否命题,并判断真假；（2）写出这个命题的否定，并判断真假.解：（1）先将命题改写成“若p则q”的形式：若四边形是矩形，则它的对角线相等.否命题:若四边形不是矩形,则它的对角线不相等(假).这是一个全称命题,所以它的否定是:有些矩形的对角线不相等(假).10.已知方程22210 xkxk,求使方程有两个大于 1 的实数根的充要条件.解：令22()21f xxkxk，方程有两个大于 1 的实数根 221,2140,42111,.22(1)0,210.kkkkkfkk 即或 所以其充要条件为2.k 题真假不一定原命题为真它的否命题真假不一定原命题为真它的逆否命件是充分条件是必要条件是的充分必要条件简称充要条件逻辑联接词且真与假矩形有外接圆矩形有内切圆或矩形有外接圆或内切圆真且矩形有