[高二] 高二数学期末复习.ppt

文档介绍：《常用逻辑用语》复****br/>知识网络
常用逻辑用语
命题及其关系
简单的逻辑联结词
全称量词与存在量词
四种命题
充分条件与必要条件
量词
全称量词
存在量词
含有一个量词的否定
或
且
非
并集
交集
补集
运算
反证法的一般步骤:
假设命题的结论不成立,即假
设结论的反面成立;
从这个假设出发,经过推理论证,得出矛盾;
(3) 由矛盾判定假设不正确,
从而肯定命题的结论正确。
反设
归谬
结论
反证法
充分必要条件
符号
全称命题”对M中任意一个x有p(x)成立”可用符号简记为
读作”对任意x属于M,有p(x)成立”.
特称命题”存在M中的一个x,使p(x)成
立”可用符号简记为
读做”存在一个x,使p(x)成立”.
从命题形式上看,这三个全称命题的否定都变成了特称命题.
一般地,对于含有一个量词的全称命题的否定,有下面的结论:
全称命题p:
全称命题的否定是特称命题.
从命题形式上看,这三个特称命题的否定都变成了全称命题.
一般地,对于含有一个量词的特称命题的否定,有下面的结论:
特称命题
它的否定
从命题形式上看,这三个特称命题的否定都变成了全称命题.
一般地,对于含有一个量词的特称命题的否定,有下面的结论:
特称命题
特称命题的否定是全称命题.