1、消去量词的等值操作。
在个体域的有限集里，可以进行下图中所示的消去量词的操作！
2、量词域的收缩与扩张。
这个部分十分重要，有几个公式一定要记牢记牢！！
看图！
3、换名规则。
就是将某量词辖域的一个约束变项的所有出现改成其他没有出现过的字母！！！
4、前束范式。
任何公式都可以化为前束范式的形式，这是一个考点！！
1、证明题。即要求你进行等值演算！
一般会利用到换名规则，量词域的收缩与扩张公式。
2、求一阶逻辑的前束范式。
也是会用到量词域的收缩与扩张（看吧，我说了很重要吧）
3、在给定解释下，判断真值！！
这个题就比较简单了，带入就好了！！！
