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

2025年12月19日 (五) 08:44的版本

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

@@ 第3行： / 第3行： @@
 ! colspan=3 style='border-bottom-width:2px' | [[:分类:谓词逻辑|谓词逻辑]]/一阶逻辑
 |-
-! rowspan=2 | 命题结构
+! rowspan=3 | 命题结构
-| colspan=2 | [[个体词（谓词逻辑）|个体词（个体常项、个体变项）、个体域]]、[[项（谓词逻辑）|项]]、[[函项]]、[[谓词|谓词（谓词常项、谓词变项）]]
+| colspan=2 | [[个体词（谓词逻辑）|个体词（个体常项、个体变项）、论域（个体域）]]、[[函项]]、[[项（谓词逻辑）|项]]
+|-
+| colspan=2 | [[谓词|谓词（谓词常项、谓词变项）]]
 |-
 | colspan=2 | [[量词|量词（辖域、出现）]]（[[全称量词|全称量词 <math>\forall</math>]]、[[存在量词|存在量词 <math>\exists</math>]]）