常用逻辑用语复习与小结.pptVIP

四.全称量词与存在量词 全称命题与特称命题的否定 含有一个量词的全称命题的否定,有下面的结论 例3 例1答案 知识要点3 * * * * * 　 安庆一中 吴显上 2007年11月22日 常用逻辑用语 命题及其关系 全称量词存在量词 充分条件必要条件充要条件 简单的逻辑联结词:且、或、非 回顾一 命题及其关系 1.命题,真命题,假命题； 2.标准的数学式命题:”若p,则q.” 3.四种命题:原命题,互逆命题,互否命题,互为逆否命题. 原命题与逆否命题同真假。 原命题的逆命题与否命题同真假。 注:(1) “互为”的; (2)原命题与其逆否命题同真同假. (3)逆命题与否命题同真同假. 原命题 若p,则q 逆否命题 若? q,则? p 否命题 若? p,则? q 逆命题 若q,则p 互逆 互 否 互 否 互逆 互为逆否 同真同假 4.用反证法证明命题的一般步骤 (1) 假设命题的结论不成立，即假设结论的 反面成立； (2) 从这个假设出发，经过推理论证， 得出矛盾； (3) 由矛盾判定假设不正确，从而肯定命题 的结论正确。 5.用反证法证明过程中推理论证是要得出矛盾 矛盾有三种可能： (1)与原命题的条件矛盾； (2)与定义、公理、定理等矛盾； (3) 与结论的反面成立矛盾(自相矛盾). 反证法的基本思想： 通过证明原命题的否定是假命题，说明原命题是 真命题. 回顾二、充分条件、必要条件 充分非必要条件 必要非充分条件 1）A B且B A，则A是B的 2）若A B且B A，则A是B的 3）若A B且B A，则A是B的 既不充分也不必要条件 充分且必要条件 4）A B且B A，则A是B的 B A 1 ) A B 2 ) A B 3 ) A = B 4 ) “或” “且” “非” 回顾三、逻辑联结词 全称命题 含有一个量词的特称命题的否定,有下面的结论 特称命题 它的否定 它的否定 特别注意对一些词语的否定 至多有(n-1)个 至少有n个 一个都没有 至少有一个 至少有(n+1)个 至多有n个 至少有两个 至多有一个 不都是 都是 不是 是 或 且 不小于 小于 某些 所有的 不大于 大于 某个 任意的 不等于 等于 否定 词语 否定 词语 3答案 3答案 3答案 解析:上述命题的否定为: -1 1 广东省阳江市第一中学周游数 知识要点1 知识要点2 例1 例1答案2 例2 * * *