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

2025年12月20日 (六) 03:04的版本

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

@@ 第4行： / 第4行： @@
 |-
 ! rowspan=3 | 命题结构
-| colspan=2 | [[个体词（谓词逻辑）|个体词（个体常项、个体变项）、论域（个体域）]]、[[函项]]、[[项（谓词逻辑）|项]]
+! 项
+| [[个体词（谓词逻辑）|个体词（个体常项、个体变项）、论域（个体域）]]、[[函项]]、[[项（谓词逻辑）|项]]
 |-
-| colspan=2 | [[谓词|谓词（谓词常项、谓词变项）]]
+! 谓词
+| [[谓词|谓词（谓词常项、谓词变项）]]
 |-
-| colspan=2 | [[量词|量词（辖域、出现）]]（[[全称量词|全称量词 <math>\forall</math>]]、[[存在量词|存在量词 <math>\exists</math>]]）
+! 量词
+| [[量词|量词（辖域、出现）]]、[[全称量词|全称量词 <math>\forall</math>]]、[[存在量词|存在量词 <math>\exists</math>]]
 |-
-! rowspan=3 | [[谓词公式]]
+! rowspan=4 | 谓词公式
-| colspan=2 | [[解释（谓词逻辑）|解释/模型]]、[[赋值（谓词逻辑）|赋值]]
+! 形式定义
+| [[谓词语言|谓词语言 <math>\mathcal{L}_1</math>]] 、[[谓词公式]]
 |-
-! 分类
+! 逻辑语义
+| [[解释（谓词逻辑）|解释/模型]]、[[赋值（谓词逻辑）|赋值]]
+|-
+! 语义分类
 | [[谓词公式分类|普遍有效公式、可满足式、不可满足式]]
 |-