谓词逻辑——自由变元与约束变元

谓词逻辑

命题逻辑在是具有局限性的。
命题逻辑在处理语句成分中有诸如“否”、“并”、“或”和“如果···那么···”时， 取得了令人满意的结果， 但人类语言比这丰富得多， 我们如何处理如“存在···”， “所有···”，“在···中”，和“只有···”呢？
命题逻辑有其明显的局限性， 我们需要更精确微妙的 谓词逻辑(predicate logic) 来表达判断语句， 谓词逻辑也称为一阶逻辑(first-order logic)。

---

补充：

• 一阶谓词逻辑：谓词表示性质；
• 二阶谓词逻辑：谓词表示关系；

---

项

语言的项由变量、常值符号以及作用其上的函数构成。函数可以嵌套，如$m(m(x))$。
（此部分参考 《软件形式化基础》教材）

语法分析树

谓词逻辑公式可以用语法分析树表示。

• $\neg$、 $\forall y$和$\exists y$绑定优先级最高;
• 其次为 $\wedge$ 和 $\vee$;
• 然后是$\to$,它是右结合的。

只要不致引起歧义，我们经常省去关于量词的括号。

谓词逻辑公式可以用语法分析树表示。例如，下图的分析树表示公式