一阶逻辑——语法

一阶逻辑语言

一阶逻辑的本质是一种语言，类似与我们的常用自然语言(例如，汉语，英语等，这里我们用英语来说明)。一个语言包括的要素有字母表(26个英文字母)，单词，语句，语法，语义等。对与一阶逻辑语言来说，它包含的要素有字母表(对应于英文字母表)，项(这里也可以将项理解为英文字母表)，原子公式(对应于英文单词)，公式(对应于英文语句)，语法(对应于英文语法)，语义(对应于英语中句子的含义)。

字母表：

一阶逻辑的字母表一般来说包含八类符号，分别是：

• 联结词符号 $\neg ,\wedge ,\vee ,\to ,\leftrightarrow$;
• 量词符号 $\exists ,\forall$
• 变量符号 $x,y,\dots$ (变量符号在介绍一阶逻辑是一般不做交代)
• 括号 { } , [ ] , ( ) \{\},[],() { },[],()（括号一般在介绍一阶逻辑的时候不做交代）;
• 标点符号 $,$ (标点符号一般在介绍一阶逻辑的时候不做交代);
• 常量符号 $c_0,c_1,\dots$
• 谓词符号（“=”是特殊的谓词符号） P 0 , P 2 , … P_{0},P_{2},\dots P