离散数学实验报告4-关系性质的判断