谓词逻辑
命题逻辑在是具有局限性的。
命题逻辑在处理语句成分中有诸如“否”、“并”、“或”和“如果···那么···”时, 取得了令人满意的结果, 但人类语言比这丰富得多, 我们如何处理如“存在···”, “所有···”,“在···中”,和“只有···”呢?
命题逻辑有其明显的局限性, 我们需要更精确微妙的 谓词逻辑(predicate logic) 来表达判断语句, 谓词逻辑也称为一阶逻辑(first-order logic)。
补充:
- 一阶谓词逻辑:谓词表示性质;
- 二阶谓词逻辑:谓词表示关系;
项
语言的项由变量、常值符号以及作用其上的函数构成。函数可以嵌套,如 m ( m ( x ) ) m(m(x)) m(m(x))。
(此部分参考 《软件形式化基础》教材)
语法分析树
谓词逻辑公式可以用语法分析树表示。
- ¬ \neg ¬、 ∀ y \forall y ∀y和 ∃ y \exists y ∃y绑定优先级最高;
- 其次为 ∧ \land ∧ 和 ∨ \lor ∨;
- 然后是 → \to →,它是右结合的。
只要不致引起歧义,我们经常省去关于量词的括号。
谓词逻辑公式可以用语法分析树表示。例如,下图的分析树表示公式