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