离散数学：什么是一阶逻辑？

0元谓词：指的是不带任何变项的谓词比如F（2），F（4）都可以称作0元谓词！！！

闭式：指的是不含自由出现的个体变量的公式。意思就是其中的变量都是约束出现，而没有自由出现。

换名规则：将某个公式中两次的一个约束变项的所有出现都改变成其他未出现过的字母。

指导变元辖域约束出现自由出现这些概念都很重要，这里就不一一列举，大家可以自己查书！

要求指出所给公式的指导变元，辖域，约束出现，自由出现。这类题目就根据课本上的定义直接写出来就好了，难度较低!

根据公式写出其类型，或者判断真值。直接判断是不是矛盾式或者重言式。难度中等

要求进行等值演算或者证明公式。这个难度就比较大了，需要我们对公式非常熟悉，并且勤加练习！比如下面这个题目！！

不懂的地方可以再问我！！

欢迎补充！！