1、充分条件与必要条件：一般地，“若p，则q”为真命题，是指由p通过推理可以得出q，这时，我们就说，由p可推出q，记作，并且说p是q的充分条件，q是p的必要条件；
2、充要条件：一般地，如果既有，又有，就记作，此时，我们说，p是q的充分必要条件，简称充要条件。
概括的说，如果，那么p与q互为充要条件。
3、充分不必要条件、必要不充分条件、既不充分也不必要条件：
①充分不必要条件：如果，且pq，则说p是q的充分不必要条件；
②必要不充分条件：如果pq，且，则说p是q的必要不充分条件；
③既不充分也不必要条件：如果pq，且pq，则说p是q的既不充分也不必要条件。

1、全称量词与全称命题：
①全称量词：短语“对所有的”，“对任意的”在陈述中表示整体或全部的含义，逻辑中通常叫做全称量词，并用符号“”表示；
②全称命题：含有全称量词的命题，叫做全称命题
③全称命题的格式：“对M中任意一个x，有p（x）成立”的命题，记为?x∈M，p（x），读作“对任意x属于M，有p（x）成立”。
2、存在量词与特称命题：
①存在量词：短语“存在一个”，“至少有一个”在陈述中表示个别或者一部分的含义，在逻辑中通常叫做存在量词，并用符号“”表示。
②特称命题：含有存在量词的命题，叫做特称命题；
③“存在M中的一个x₀，使p（x₀）成立”的命题，记为?x₀∈M，p（x₀），读作“存在一个x₀属于M，使p（x₀）成立”。
3、全称命题的否定：
一般地，对于含有一个量词的全称命题的否定，有下面的结论：
全称命题p：，它的否命题
4、特称命题的否定：
一般地，对于含有一个量词的特称命题的否定，有下面的结论：
特称命题p：，其否定命题

两直线平行、垂直的判定的文字表述：

平行判断的文字表述：如果两条不重合的直线（存在斜率）平行，则它们的斜率相等；反之，如果两条不重合直线的斜率相等，则它们平行；
垂直判断的文字表述：如果两条直线都有斜率，且它们互相垂直，那么它们斜率之积为-1；反之，如果两条直线的斜率之积为-1，那么它们互相垂直

两直线平行、垂直的判定的符号表示：

1、若，
（1）；
（2）。
2、若，，且A₁、A₂、B₁、B₂都不为零，
（1）；
（2）。

两直线平行的判断的理解：

成立的前提条件是两条直线的斜率存在，分别为 
当两条直线不重合且斜率均不存在时，

两直线垂直的判断的理解：

 成立的前提条件是斜率都存在且不等于零．
 ②两条直线中，一条斜率不存在，同时另一条斜率等于零，则两条直线垂直，这样，两条直线垂直的判定就可叙述为：一般地，，或一条直线的斜率不存在，同时另一条直线的斜率等于零。

求与已知直线垂直的直线方程的方法：

（1）垂直的直线方程可设为垂直的直线方程可设为

 
 (2)利用互相垂直的直线之间的关系求出斜率，再用点斜式写出直线方程。

 

求与已知直线平行的直线方程的方法：

 

（1）一般地，直线决定直线的斜率，因此，与直线

平行的直线方程可设为，这是常常采用的解题技巧。

重合。
（2）一般地，经过点

(3)利用平行直线斜率相等，求出斜率，再用点斜式求出直线方程．