简易逻辑1.docVIP

简易逻辑 一、逻辑联结词 1． 可以 的语句叫做命题．命题由 条件和结论 两部分构成； 命题有 之分；数学中的定义、公理、定理等都是 命题． 2．逻辑联结词有 ，不含 的命题是简单命题． 由 的命题是复合命题．复合命题的构成形式有三种： ，(其中p，q都是简单命题)． 3．判断复合命题的真假的方法—真值表：“非p”形式的复合命题真假与p的 当p与q都真时，p且q形式的复合命题 ，其他情形 ；当p与q都 时，“p或q”复合形式的命题为假，其他情形 ． 二、四种命题 1．四种命题：原命题：若p则q；逆命题： 、否命题： 逆否命题： . 2．四种命题的关系：原命题为真，它的逆命题 、否命题 、逆否命题 ．原命题与它的逆否命题同 、否命题与逆命题同 ． 3．反证法：欲证“若p则q”为真命题，从否定其 出发，经过正确的逻辑推理导出矛盾，从而判定原命题为真，这样的方法称为反证法． 三、充分必要条件 1、充分与必要条件： ①如果已知pq，则称p是q的充分条件，而q是p的必要条件. ②如果既有pq，又有qq，即pq,则称p是q的充要条件. 2、充分、必要条件与四种命题的关系： ①如果p是q的充分条件，则原命题“若p则q”以及逆否命题“若 p则 q”都是真命题. ②如果p是q的必要条件，则逆命题“若q则p”以及否命题“若 p则 q”为真命题. ③如果p是q的充要条件，则四种命题均为真命题。 3、充要条件的判断方法： 四种“条件”的情况反映了命题的条件与结论之间的因果关系，所以在判断时应该：⑴确定条件是什么，结论是什么；⑵尝试从条件推出结论，从结论推出条件（方法有：直接证法或间接证法，集合思想）；⑶确定条件是结论的什么条件. 例题： 例1.如果命题“p或q”是真命题，“p且q”是假命题.那么（ ） A．命题p和命题q都是假命题 B．命题p和命题q都是真命题 C．命题p和命题“非q”真值不同 D．命题q和命题p的真值不同 解： D 例2. 分别写出下列命题的逆命题、否命题、逆否命题，并判断它们的真假: (1) 若q1，则方程x2＋2x＋q＝0有实根； (2) 若ab＝0，则a＝0或b＝0； (3) 若x2＋y2＝0，则x、y全为零. 解：(1)逆命题：若方程x2＋2x＋q＝0有实根，则q＜1，为假命题．否命题：若q≥1，则方程x2＋2x＋q＝0无实根，为假命题．逆否命题：若方程x2＋2x＋q＝0无实根，则q≥1，为真命题． (2)逆命题：若a＝0或b＝0，则ab＝0，为真命题． 否命题：若ab≠0，则a≠0且b≠0，为真命题． 逆否命题：若a≠0且b≠0，则ab≠0，为真命题． (3)逆命题：若x、y全为零，则x2＋y2＝0，为真命题． 否命题：若x2＋y2≠0，则x、y不全为零，为真命题． 逆否命题：若x、y不全为零，则x2＋y2≠0，为真命题． 例3. 已知p： |1－|≤2，q：:x2－2x+1－m2≤0(m0)，若是的必要而不充分条件，求实数m的取值范围. 解： 由题意知：命题：若┒p是┑q的必要而不充分条件的等价命题即逆否命题为：p是q的充分不必要条件. p: |1－|≤2－2≤－1≤2－1≤≤3－2≤x≤10 q: x2－2x+1－m2≤0［x－(1－m)］［x－(1+m)］≤0 * ∵p是q的充分不必要条件， ∴不等式|1－|≤2的解集是x2－2x＋1－m2≤0(m0)解集的子集. 又∵m0，∴不等式*的解集为1－m≤x≤1＋m ∴，∴m≥9， ∴实数m的取值范围是［9，+∞ 练习： 1、判断下述p是q的什么条件： （1）p：x5 q：x≥5 ； （2）p：，q：方程有实根； （3）非空集合A、B中，p：x∈A∪B，q：x∈B； 2、设A是B的充分不必要条件，C是B的必要不充分条件，D是C的充要条件，问D是A的什么条件？ 3、函数是单调函数的充要条件是 4、求关于x的方程至少有一个负的实根的充要条件。 5、已知p：，q：，若非p是q的充分而不必要条件，求a的取值范围。 6、已知：p：q：则 p是 q的什么条件？ 强化训练： 1.已知集合A、B，则“”是“”的