离散数学：如何进行一阶逻辑的等值演算

大学课程《离散数学》相关教程如何进行一阶逻辑的等值演算？以及相关公式的运用，相关例题讲解！

工具/原料

离散数学

时间

相关知识

1、消去量词的等值操作。在个体域的有限集里，可以进行下图中所示的消去量词的操作！

3、换名规则。就是将某量词辖域的一个约束变项的所有出现改成其他没有出现过的字母！！！

常见题型

1、证明题。即要求你进行等值演算！一般会利用到换名规则，量词域的收缩与扩张公式。

3、在给定解释下，判断真值！！这个题就比较简单了，带入就好了！！！