个体常项
- 网络individual constant; individual constants
个体常项个体常项
individual constant
...al domain)。 论域也称为个体域( ) 3个体常项 (individual constant) ：个体常项是取值于个体域 个体常项 ?上的常项。 4个体 …
individual constants
例如，谓词逻辑除包括语句逻辑的语汇外，还包括谓词 (predicates)，个体常项 (individual constants)，及量词 (quantifiers)等语。