文档介绍：第一章 常用逻辑用语
定义：用语言、符号或式子表达的，可以判断真假的陈述句
1 、命题
形式： “ 若 p , 则 q” . 其中 p 叫做命题的条件， q 叫做命题的结论
2、四种命题的关系：
结论：原命题和逆否命题、逆命题和否命题真假性相同
3、充分条件和必要条件
“若 p, 则 q”为真命题，则 p? q ，就说 p 是 q 的充分条件， q 是 p 的必要条件。
若 p ? q,q p, 则 p 是 q 的充分不必要条件 ;
若 p q,q ? p, 则 p 是 q 的必要不充分条件 ;
若 p ? q,q ? p, 则 p 是 q 的充要条件 ;
若 p q,q p, 则 p 是 q 的既不充分也不必要条件 .
4、充分必要条件的集合判断法
A { x | p (x )成立 }， B { x | q ( x)成立 }
若 A ü B,则 p是 q的充分不必要条件 ； 若 Bü A,则p是q的必要不充分条件 ； 若 A B,则 p是 q的充要条件 。
5、简单的逻辑联结词
（ 1）“且”， p q ，有假则假；（ 2）“或”， p q ，有真则真；（ 3）“非”， p ，真假相反。
6、命题的否定和否命题
命题的否定 : 条件不变，只否定结论；
否命题：条件和结论都否定。
7、全称量词和全称命题
全称量词：所有的、任意一个、一切、每一个、任给⋯ 符号：
全称命题： ? x∈ M,p(x) （读作：对任意 x 属于 M，有 p(x) 成立）
全称命题的否定： ? x 0∈ M, p(x 0)
8、存在量词和特称命题
存在量词：存在一个、至少有一个、有些、有的、对某个⋯ 符号：
特称命题： ? x 0∈ M,p(x 0) （读作：存在 M中的元素 x0，使 p(x 0) 成立）
特称命题的否定： ? x∈ M, p(x)
第二章 圆锥曲线与方程
精心整理
1、曲线与方程：
直角坐标系中，