模板:谓词逻辑

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