离散数学中什么叫谓词描述法