kksk43

摘要： 谓词基本概念 谓词 个体词：分为个体常量（字母abc表示）、个体变量（字母xyz表示） 个体域：个体词的取值范围（常用D表示） 全总个体域：宇宙所有个体域构成的个体域 n元谓词：定义在$D^{n}$上取值于${0,1}$上的n元谓词，记为$P(x_{1},x_{2},...,x_{n})$ 0元谓词 阅读全文