二、个体词 　　在数理逻辑中，不使用主词这个词，习惯称为个体词。它是一个命题里表示思维对象的词。 　　P（张三）中的张三是个体词或称个体常项。而谓词P(x)中的变量x为个体变项或个体变元。 　　有n个个体的谓词P(x1, …, x1)称n项（目、元）谓词。如果P是已赋有确定含义的谓词，就称为谓词常项，而P表任一谓词时，就称为谓词变项。 　　将个体变项的变化范围称为个体域或论域，以D表示。并约定谓词逻辑的个体域除明确指明外，都认为是包括一切事物的一个最广的集合。谓词变项的变化范围，不做特别声明时，指一切关系或一切性质的集合。 　　论域是重要的概念，同一谓词在不同论域下的描述形式可能不同，所取的真假值也可能不同。