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：，其否定命题

等比数列的定义：

一般地，如果一个数列从第2项起，每一项与它的前一项的比等于同一个常数，那么这个数列就叫做等比数列，这个常数叫做公比，公比通常用字母q表示（q≠0）。

等比数列的性质：

在等比数列｛a_n｝中，有
（1）若m+n=p+q，m，n，p，q∈N*，则a_ma_n=a_pa_q；当m+n=2p时，a_ma_n=a_p²；
（2）若m，n∈N*，则a_m=a_nq^m-n；
（3）若公比为q，则｛｝是以为公比的等比数列；
（4）下标成等差数列的项构成等比数列；
（5）
1）若a₁＞0，q＞1，则｛a_n｝为递增数列；
2）a₁＜0，q＞1， 则｛a_n｝为递减数列；
3）a₁＞0，0＜q＜1，则｛a_n｝为递减数列；
4）a₁＜0， 0＜q＜1， 则｛a_n｝为递增数列；
5）q＜0，则｛a_n｝为摆动数列；若q＝1，则｛a_n｝为常数列。

如何证明一个数列是等比数列：

证明一个数列是等比数列，只需证明是一个与n无关的常数即可（或a_n²=a_n-1a_n+1）。