一阶逻辑语言
一阶逻辑的本质是一种语言,类似与我们的常用自然语言(例如,汉语,英语等,这里我们用英语来说明)。一个语言包括的要素有字母表(26个英文字母),单词,语句,语法,语义等。对与一阶逻辑语言来说,它包含的要素有字母表(对应于英文字母表),项(这里也可以将项理解为英文字母表),原子公式(对应于英文单词),公式(对应于英文语句),语法(对应于英文语法),语义(对应于英语中句子的含义)。
字母表:
一阶逻辑的字母表一般来说包含八类符号,分别是:
- 联结词符号 ¬ , ∧ , ∨ , → , ↔ \neg, \land,\lor,\rightarrow,\leftrightarrow ¬,∧,∨,→,↔;
- 量词符号 ∃ , ∀ \exists,\forall ∃,∀
- 变量符号 x , y , … x,y,\dots x,y,… (变量符号在介绍一阶逻辑是一般不做交代)
- 括号 { } , [ ] , ( ) \{\},[],() { },[],()(括号一般在介绍一阶逻辑的时候不做交代);
- 标点符号 , , , (标点符号一般在介绍一阶逻辑的时候不做交代);
- 常量符号 c 0 , c 1 , … c_{0},c_{1},\dots c0,c1,…
- 谓词符号(“=”是特殊的谓词符号) P 0 , P 2