离散数学反对称怎么判断