描述法:规定一个集合A时,将A中元素的特征用一个谓词公式来描述,用为此P(x)表示具有性质P,用{x|P(x)}表示具有性质Pp的集合A,即A={x|P(x)}。它表示集合A是使P(x)为真的所有元素x构成的集合,P(x)是任意谓词
P(a)为真的充要条件是a属于A
P(a)为假的充要条件是a不属于A
描述法:规定一个集合A时,将A中元素的特征用一个谓词公式来描述,用为此P(x)表示具有性质P,用{x|P(x)}表示具有性质Pp的集合A,即A={x|P(x)}。它表示集合A是使P(x)为真的所有元素x构成的集合,P(x)是任意谓词
P(a)为真的充要条件是a属于A
P(a)为假的充要条件是a不属于A