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

大学课程《离散数学》相关教程什么是一阶逻辑？如何运用公式？常见例题有哪些？

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

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

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