常项

常项   

亦称“常元”。在给定论域中表示某一个具体对象的符号。有逻辑常项与非逻辑常项之分。逻辑常项指在一定的逻辑形式中用以表示其中各个逻辑变项(包括概念变项与判断变项)之间某种逻辑关系的语词或符号。是逻辑形式中的不变部分。如在“一切S是P”中的“一切”和“”。非逻辑常项可以看作是某具体对象的名称。在特定的逻辑语言的解释中,它表示与变项相对的某个完全确定的东西。