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

不等式的定义：

一般地，用不等号表示不相等关系的式子叫做不等式，常见的不等号有“<”“>”“ ≤”“≥”及“≠”。

 严格不等式的定义：

用“>"“<”连接的不等式叫做严格不等式。

非严格不等式的定义：

用“≤”和“≥”连接的不等式叫做非严格不等式．
特别提醒：a=b，a>b中，只要有一个成立，就有a≥b．

不等式的性质：

（1）如果a＞b，那么b＜a；如果b＜a，那么a＞b，即a＞bb＜a；
（2）如果a＞b，b＞c，那么a＞c，即a＞b，b＞ca＞c；
（3）如果a＞b，那么a+c＞b+c；
（4）如果a＞b，c＞0，那么ac＞bc；如果a＞b，c＜0，那么ac＜bc；
（5）如果a＞b，c＞d，那么a+c＞b+d；
（6）如果a＞b＞0，c＞d＞0，那么ac＞bd；
（7）如果a＞b＞0，那么aⁿ＞bⁿ（n∈N，n≥2）；
（8）如果a＞b＞0，那么（n∈N，n≥2）。

不等关系与不等式的区别：

不等关系强调的是量与量之间的关系，可以用符号“<…>…≤”“≥”来表示，也可以用语言表述；
而不等式则是用来表示不等关系的式子，可用“a>b”‘a<b”“a≥b a≤b”等式子来表示，不等关系是通过不等式来体现的．

不等式的分类：

①按成立的条件分：a．绝对不等式：不等式中的字母取任意实数值都恒成立的不等式叫做绝对不等式；b．条件不等式：不等式中的字母取某些允许值才能成立的不等式叫做条件不等式；c．矛盾不等式：不等式中的字母不论取何实数值都不能成立的不等式叫做矛盾不等式；
②按不等号开口方向分：a．同向不等式：不等号方向相同的两个不等式；b．异向不等式：不等号方向相反的两个不等式．