量词辖域的确定方法：
1.若量词后有括号，则括号内的子公式就是量词的辖域
2.若量词后没有括号，则与量词邻接的子公式就是该量词的辖域
约束变元的改名规则：
1.将量词中出现的变元以及该量词辖域中此变量所有约束出现都用新的个体变元替换
2.新的变元一定要有别于改名辖域中的所有其他变量
自由变元的代入规则：
1.将公式中出现该自由变元的每一处都用新的个体变元替换
2.新变元不允许在原公式中以任何约束形式出现
前束范式的转换方法：
设G施任一公式，通过下述步骤可将其转换为与之等价的前束范式
1.消去公式中包含的联结词“->””<->”
2.反复运用德摩根定律，直接将“¬”內移到原子谓词公式的前端
3.使用谓词的等价公式将所有量词提到公式的最前端
求Skolem标准型的方法：
将原公式中的前置量词逐一消去，存在量词替换成一些特定的字母，全称量词可以不变，但是，如果存在量词在全称量词后方，应转换成用全称量词表示的函数
使用推理规则注意：
使用US规则来消去量词时，所选用取代x的变量y在公式中必须是自由的
使用ES规则来消去量词时，若还有其他自由变元时，必须用关于自由变元的函数符号来取代常数符号
使用UG规则来添加量词时，所使用的的变元符号不能与辖域内的变元符号相同
使用EG规则来添加量词时，所使用的的变元符号不能与辖域内的变元符号相同
谓词演算综合推理方法：
1.推导过程中可以引用命题演算中的规则P和规则T
2.如果结论是以条件形式给出，可以使用规则CP
3.若需消去量词，可以引用规则US和ES
4.当所需要的结论可能被定量时，此时可引用规则UG和EG将量词加入
代数系统判断方法：
判断集合A和其上代数运算是否为代数系统，关键是判断两点：
1.集合A非空
2.这些运算在A上是否满足封闭性
特殊元计算方法：
计算幺元，零元，幂等元等特殊元时，首先可以假设这些元存在，然后根据定义直接得到方程，解这个方程计算这些元，如果无解则不存在，如果有解还要进一步验证是否是对应的特殊元
证明同态与同构：
首先可以假设f就是同态或同构映射，然后利用同态，同构的定义，导出f的一些性质，并利用这些性质来构造同态与同构映射，从而证明代数系统的同态与同构
群的性质：
满足结合律
有幺元
每个元有逆元
