索引
§ 1 \S1 §1 谓词逻辑的基本概念
谓词
定义1.1 个体词 个体域(论域)
陈述句中的研究对象是个体词,分为个体变元和个体常元。个体词的取值范围是个体域(论域) D D D。
定义1.2 谓词
谓词描述研究对象的性质或研究对象之间的关系,含有 n n n个个体变元的谓词称为 n n n元谓词,而不包含个体变元的命题可视为零元谓词。
定义1.3 函词
从一个个体域到另一个个体域的映射,含有 n n n个个体变元的函词称为 n n n元函词 f ( n ) f^{\left ( n \right ) } f(n)。
定义1.4 量词
量词用于限定个体词的数量,分为代表"所有的,任意的"的全称量词
∀
\forall
∀,和代表"至少有一个"的存在量词
∃
\exists
∃。
量词具有以下转换关系:
∀
x
P
(
x
)
⇔
¬
∃
x
¬
P
(
x
)
\forall xP\left ( x \right ) \Leftrightarrow \neg \exists x\neg P\left ( x \right )
∀xP(x)⇔¬∃x¬P(x)和
∃
x
P
(
x
)
⇔
¬
∀
x
¬
P
(
x
)
\exists xP\left ( x \right ) \Leftrightarrow \neg \forall x\neg P\left ( x \right )
∃xP(x)⇔¬∀x¬P(x)。
定义1.5 项
归纳定义如下:
- 个体常元和个体变元是项;
- 若 t 1 , t 2 , … , t n t_{1} ,t_{2},\dots, t_{n} t1,t2,…,tn都是项, n n n元函词 f ( n ) f^{\left ( n \right ) } f(n)作用下的 f ( n ) ( t 1 , t 2 , … , t n ) f^{\left ( n \right ) }\left ( t_{1} ,t_{2},\dots, t_{n} \right ) f(n)(t1,t2,…,tn)也是项;
- 只有有限次引用以上步骤确定的表达式才是项。
谓词演算
定义1.6 合式公式
归纳定义如下:
- 不含逻辑联结词的谓词(原子谓词公式)为合式公式;
- 若 A A A为合式公式,则 A A A的否定式也是合式公式;
- 若 A A A, B B B为合式公式,则 A A A, B B B的析取式,合取式,蕴含式,双向蕴含式也是合式公式;
- 若 A A A为合式公式, x x x为个体变元,则 A A A关于 x x x的全称命题和存在命题也是合式公式;
- 只有有限次引用以上步骤确定的表达式才是合式公式。
定义1.7 辖域
量词所管辖的范围。
若变元
v
v
v满足以下所有条件:
- 量词 ∀ v ( ∃ x ) \forall v(\exists x) ∀v(∃x)与公式 A A A毗邻;
- 公式 A A A的任意真截断 w w w( A A A截断后的字符串 w w w长度小于公式 A A A)都不是公式。
则称公式 A A A为量词 ∀ v ( ∃ x ) \forall v(\exists x) ∀v(∃x)的辖域。
定义1.8 约束变元 自由变元
受量词 ∀ v ( ∃ x ) \forall v(\exists x) ∀v(∃x)约束的个体变元 v v v,且出现在量词 ∀ v ( ∃ x ) \forall v(\exists x) ∀v(∃x)的辖域内, v v v称为约束变元,反之则为自由变元; v v v的出现称为约束出现,反之称为自由出现。
定义1.9 可代入
若公式 A A A中自由变元 v v v的任意自由出现都不在量词 ∀ u ( ∃ u ) \forall u(\exists u) ∀u(∃u)的辖域内,则对任意项 t t t,项 t t t对公式 A A A中自由变元 v v v可代入,其中 u u u是项 t t t中的任意变元。若对公式 A A A中 n n n个自由变元 v 1 , v 2 , … v n v_{1},v_{2},\dots v_{n} v1,v2,…vn同时做代入操作,其中 v 1 , v 2 , … v n v_{1},v_{2},\dots v_{n} v1,v2,…vn替换为 t 1 , t 2 , … , t n t_{1} ,t_{2},\dots, t_{n} t1,t2,…,tn,记为 A t 1 , t 2 , … , t n v 1 , v 2 , … v n A^{v_{1},v_{2},\dots v_{n}}_{t_{1} ,t_{2},\dots, t_{n}} At1,t2,…,tnv1,v2,…vn。
定义1.10 代入
若项 t t t对公式 A A A中自由变元 v v v可代入,则对公式 A A A中自由变元 v v v的所有自由出现代换为项 t t t的过程称为代入,代换结束后的公式 A v t A^{t}_{v} Avt称为 A A A的代入实例,若 A A A中不存在 v v v的自由出现,则 A v t = A A^{t}_{v}=A Avt=A。
定义1.11 易名规则
为保持变元的独立性,可将量词变元及该量词变元在辖域内的所有出现替换为未在公式中任何地方出现的新变元。
定义1.12 子公式
若公式 B B B是公式 A A A的子串,且 B B B的字符串长度小于 A A A,则 B B B是 A A A的子公式。