离散数学--谓词逻辑

学习离散数学-谓词逻辑的第二天总结

项：

1.个体变元、个体常元是项。

2 函数f(x)是项。

3 经过上面有限步合成的是项。

合式公式：

1 原子公式是合式公式，原子公式也是谓词。

2 量词对谓词的修饰，并且谓词中含有量词中约束的变元，是合式公式。

3 由5大联结词构成的谓词是合式公式。

4 有限次使用以上形成的是合式公式。

约束变元和自由变元

不知道存在如何用键盘打出来，口头很难讲。