模板:谓词逻辑：修订间差异

2026年1月9日 (五) 12:08的版本

谓词逻辑/一阶逻辑
命题结构	项	个体词（个体常项、个体变项）、论域/个体域、函项、项、闭项
	谓词	谓词（谓词常项、谓词变项）
	量词	量词（辖域、出现）、全称量词 [math]\displaystyle{ \forall }[/math] 、存在量词 [math]\displaystyle{ \exists }[/math]
谓词公式	形式定义	谓词语言 [math]\displaystyle{ \mathcal{L}^* }[/math] 、谓词公式、闭式
	逻辑语义	结构、指派/赋值、基本语义定义、解释、满足、模型
	语义分类	普遍有效公式、可满足式、不可满足式
	范式	前束范式、 Skolem 范式
	个体变项代入	可自由代入、易字、简单易字变形、易字变形

@@ 第22行： / 第22行： @@
 ! 语义分类
 | [[谓词公式分类|普遍有效公式、可满足式、不可满足式]]
-|-
-! 个体词变换
-| [[可自由代入（个体变项）|可自由代入]]、[[易字]]、[[易字变形|简单易字变形、易字变形]]
 |-
 ! 范式
 | [[前束范式]]、 [[Skolem 范式]]
+|-
+! [[个体变项代入]]
+| [[可自由代入（个体变项）|可自由代入]]、[[易字]]、[[易字变形|简单易字变形、易字变形]]
 |}