个体词(谓词逻辑)

来自GSXAB的知识库
个体词
术语名称 个体词
英语名称 individual
个体域
术语名称 个体域
英语名称 individual field
别名 individual domain, 论域


个体词(individual)(个体)是指命题中,指称某个东西(被称为个体对象)的词。

个体词包括常项变项变元变号)两种。其中,常项,可以简单理解为指向某个个体对象的专名,而这个个体对象被称为这个专名的所指。变项,既不是直接指称某个实际所指的专名,也不直接是某个所指本身,而是具有某个由专名构成的范围),会从中取一个专名作为其取值)。变项通过取值的专名进行指称。

问题中涉及的全部个体对象的集合称为个体域论域(individual domain/field)。


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