怎么判断是否符合消去律 离散数学