默认计划
1702人加入学习
(17人评价)
《离散数学》
价格 免费
音频听课 手机端支持一键听课 (试一试)

描述法:规定一个集合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

 

[展开全文]