一阶谓词逻辑的符号化
一阶谓词逻辑符号化有三个基本要素,分别是个体词、谓词和量词
个体词
个体词是指研究对象可以独立存在的具体的或者抽象的个体,例如3,小张,中国……
谓词
谓词是用来刻画个体词性质以及个体词之间相互关系的词,常用F,G,H……表示,例如“2是有理数”,2是个体词,“是有理数”就是谓词,
量词
表示个体常项与变量之间数量关系的词称为两次,一共有两种量词,分别是全称量词和存在量词
一阶谓词逻辑的解释
L
\mathcal{L}
L是由L生成的一阶语言,
L
\mathcal{L}
L的解释I由下面4个部分组成:
(a)非空个体域
D
I
D_{I}
DI
(b)对每一个个体常项符号
a
∈
L
a\in L
a∈L,有一个
a
‾
∈
D
I
\overline{a}\in D_{I}
a∈DI,称
a
‾
\overline{a}
a为a在I中的解释
(c)对每一个n元函数符号
f
∈
L
f\in L
f∈L,有一个
D
I
D_{I}
DI上的n元函数
f
‾
:
D
I
n
→
D
I
\overline{f}:D_{I}^{n}\rightarrow D_{I}
f:DIn→DI,称
f
‾
\overline{f}
f为f在I中的解释
(d)对每一个n元谓词符号
F
∈
L
F\in L
F∈L,有一个
D
I
D_{I}
DI上的n元谓词常项
F
‾
\overline{F}
F,称
F
‾
\overline{F}
F为F在I中的解释
设公式A,在解释I下:1取个体域 D I D_{I} DI,2若A中含个体常项符号a,那么就将它替换为 a ‾ \overline{a} a,3若A中含函数符号f,那么就将它替换为 f ‾ \overline{f} f,若A中含有谓词符号F,就将它替换为 F ‾ \overline{F} F,把这样所得到的公式记为A’。称A’为A在I下的解释,或A在I下被解释成A’
设A为一公式,若A在任何解释下均为真,则称A为永真式(或称逻辑有效式)。若A在任何解释下均为假,则称A为矛盾式(或永假式)。若至少存在一个解释使得A为真,则称A为可满足式。
重言式的代换实例都是永真式,矛盾式的代换实例都是矛盾式
一阶逻辑前束范式
具有如下形式
Q
1
x
1
Q
2
x
2
.
.
.
Q
k
x
k
B
Q_{1}x_{1}Q_{2}x_{2}...Q_{k}x_{k}B
Q1x1Q2x2...QkxkB
的一阶逻辑公式称为前束范式,其中 Q i Q_{i} Qi(1≤i≤k)为 ∀ \forall ∀或 ∃ \exist ∃,B为不含量词的公式
例如:
∀ x ∀ y ( F ( x ) ∧ ¬ G ( y ) ) \forall x\forall y(F(x)\wedge\lnot G(y)) ∀x∀y(F(x)∧¬G(y))