关于一阶逻辑的语法可参考链接:一阶逻辑——语法.
对一阶逻辑的语义理解
一个一阶逻辑公式就是一阶逻辑语言字母表上的符号串 (这类似于一个英文句子是英文字母表上的字符串)。一阶逻辑的语法的本质是规定了一阶逻辑语言字母表上的什么样的符号串才是合法的一阶逻辑公式。一个公式本身是没有任何含义的,当我们给公式中的字符都赋予了一定的含义之后(即给公式中的字符做解释),该公式就有了含义,这样就达到了将一些知识(或客观事实) 符号化的目的。因此,如果我们想用一阶逻辑来描述一些知识,我们不仅要有一个合法的公式的集合(即合乎语法的公式),还要对这些公式赋予一定的含义(即给出每个公式的语义)。最后,将知识符号化 (即知识表示) 的终极目的是为了进行知识的推理,这也是一阶逻辑常用在知识表示与推理中的一个原因。
一阶逻辑的语义
论域
为了给一阶逻辑公式赋以一定的含义,就要先给一阶逻辑语言的字母表中的符号做解释。在此之前我们先要确定一个讨论的范围,即论域,例如,要研究一个学校里学生选课的情况,那么讨论的范围就限于该校的所有的学生以及该校开设的所有的课程。一般而言,一个论域是一个非空集合,用 M M M 来表示。
模型(结构)
有了论域,就可以将一阶逻辑语言中的符号解释在论域上面了,对于一阶逻辑语言中的八类符号,我们只需要对三类符号做解释,即常量符号,谓词符号和函数符号,对这三类符号的解释再加上论域就构成了一个模型(或结构):
- 常量符号被解释为论域中的个体,即 c M ∈ M c^{\mathcal{M}}\in M cM∈M;
- 谓词符号被解释为论域上的关系,即若 P P P 是一个 n n n 元谓词符号,则 P M ⊆ M n P^{\mathcal{M}}\subseteq M^{n} PM⊆Mn,即一个 n n n 元谓词符号被解释为论域 M M M 上的 n n n元关系;
- 函数符号被解释为论域上的函数,即若 f f f 是一个 n n n 元函数符号,则 f M : M n → M f^{\mathcal{M}}:M^{n}\rightarrow M fM:Mn→M,即一个 n n n 元函数符号被解释为论域 M M M 上的 n n n元函数。
注:特别的,变量符号被解释为论域上的变量,即 x M = x x^{\mathcal{M}}=x xM=