第10讲：逻辑联结和四种命题(学生用书).docVIP

第2讲:逻辑联结词与四种命题 数学是研究真假命题的一门学科，其逻辑性很强。而简单命题、符合命题、四种命题、充要条件却为其学习数学的基础和工具。 一、知识识梳理 （一）知识框图 （二）重点难点 重点：（1）逻辑联结词的含义和命题的真值表；（2）四种命题及其相互关系；（3）反证法。 难点：（1）等价命题的转换；（2）正确使用反证法。 二、考点解读与例（考）题 （一）命题的概念 （1）命题的概念：可以判断真假的语句，如3＞2。 （2）命题的分类： ①按命题的正确与否分 （数学中的定义、公理、公式、定理均为真命题）； ②按命题是否含有逻辑联结词分 。 注：简单命题：不含逻辑联结词的命题；复合命题：由简单命题与逻辑联结词构成的命题。 （3）命题真假的判定方法 ①简单命题可以据此前的定义、公理、定理、法则、公式等判断其真假，也可以通过举反例判断其真假； ②复合命题可以根据真值表判断其真假。 p q 非p P或q P且q 真 真 假 真 真 真 假 假 真 假 假 真 真 真 假 假 假 真 假 假 【例1】指出下列各题中的“P或q”，“P且q”，“非p”形式的复合命题的真假。 （1）p：梯形有一组对边平行，q：梯形有一组对边相等； （2）p：5是17的约数，q：5是15的约数； （3）p：－1是方程x2+4x+3=0的解，q：－3是方程x2+4x+3=0的解； （4）p：不等式x2+2x+2＞1的解集为R，q：不等式x2+2x+2≤1的解集为φ。 （5）p：a∈{a，b，c}，q：{a}{a，b，c}。 【解析】（1）∵P真、q假，∴“P或q”为真，“P且q”假，“非p”为假，“非q”为真； （2）∵P假、q真，∴“P或q”为真，“P且q”假，“非p”为真，“非q”为假； （3）∵P真、q真，∴“P或q”为真，“P且q”真，“非p”为假，“非q”为假； （4）∵P假、q假，∴“P或q”为假，“P且q”假，“非p”为真，“非q”为真； （5）∵P真、q真，∴“P或q”为真，“P且q”真，“非p”为假，“非q”为假。 （二）四种命题 （1）利用p和q分别表示原命题的条件和结论，利用p和q分别表示p和q的否定，则四种命题的形式可以分别表示为： 原命题：若p则q 逆命题：若q则p 否命题：若，则 逆否命题：若，则。 （2）四种命题及其相互关系 注：原命题与逆否命题，逆命题与否命题的真假是等价的。 【例2】x∈A∩B的否命题是（ ） （A）xA且xB （B）xA∪B （C）x∈A，但xB （D）xA或xB 【答案】D 【例3】命题：已知a、b为实数，若x2+ax+b≤0有非空解集，则a2－4b≥0。写出该命题的否定及该命题的否命题。 【分析】（1）明确命题的否定只否定结论，而命题的否命题既否定条件，又否定结论。 （2）本题中原命题的a、b为实数是前提，条件是x2+ax+b≤0有非空解集（即x2+ax+b≤0有解），结论是a2－4b≥0。 【例4】设原命题是“已知a，b，c，d是实数，若a=b，c=d，则a+c=b+d。”写出它的逆命题、逆命题、否命题和逆否命题并分别说明它们的真假。 【解析】（1）“已知a，b，c，d是实数”是大前提，写出其它命题时，保持不变。 （2）原命题的条件“a=b，c=d”是“P且q”的形式，其否定形式是“P或q”，于是 逆命题：已知a，b，c，d是实数，若a+c=b+d，则a=b，c=d； 否命题：已知a，b，c，d是实数，若a≠b，c≠d，则a+c≠b+d； 逆否命题：已知a，b，c，d是实数，若a+c≠b+d，则a≠b或c≠d。 由等式性质可知，原命题为真；由3+5=2+6，但3≠2，5≠6，说明逆命题为假，由5≠7，但5+4=7+2，说明否命题为假，逆否命题为真，也可如下说明：若a+c≠b+d，可以分两种情况：①a≠b，于是命题为真，②若a=b，从而指出c≠d（否则a+c=b+d），命题也为真。 （三）反证法 （1）反证法的定义： 从命题结论的反面出发，引出矛盾，从而证明原命题成立，这样的方法叫做反证法。 （2）适用题型： 某些结论中含有“至多”、“至少”、“唯一”等词语时往往采用反证法；证明存在性问题，往往也采用反证法。 （3）反证法证题的一般步骤： ①假设命题的结论不成立，即假设命题的反面成立； ②从假设出发，经过推理，得出矛盾； ③由矛盾判定假设不正确，从而肯定命题的结论成立。 【例5】设二次函数f（x）=ax2+bx+c（a≠0）中a、b、c均为整数，且f（0），f（1）均为奇数，求证：方程f（x）=0无整数根。 【证明】利用反证法证明问题时，首先要反设，即假设命题的反面成立，设方程f（x）=0有一个