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（即“次”）的整式方程叫做一元一次方程。一元一次方程的标准形式（即所有一元一次方程经整理都能得到的形式）是ax+b=0（a，b为常数，x为未知数，且a≠0）。其中a是未知数的系数，b是常数，x是未知数。未知数一般设为x，y，z。

一元一次方程的分类：

1、总量等于各分量之和。将未知数放在等号左边，常数放在右边。如：x+2x+3x=62、等式两边都含未知数。如：302x+400=400x，40x+20=60x.

方程特点:

（1）方程为整式方程。
（2）方程有且只含有一个未知数。
（3）方程中未知数的最高次数是1。

一元一次方程判断方法:

通过化简，只含有一个未知数，且含有未知数的最高次项的次数是一的等式，叫一元一次方程。要判断一个方程是否为一元一次方程，先看它是否为整式方程。若是，再对它进行整理。如果能整理为ax+b=0（a≠0）的形式，则这个方程就为一元一次方程。里面要有等号，且分母里不含未知数。

一元一次方程必须同时满足4个条件：

⑴它是等式；
⑵分母中不含有未知数；
⑶未知数最高次项为1；
⑷含未知数的项的系数不为0。