重点-对称，反对称，非对称
我理解部分
对称:只要有(a,b)就要有(b,a)
非对称:只要有(a,b)就不能能有(b,a)
反对称:同 非对称 再加上 可 (a,a)
题目(第5版,2-18)
http://i.imgur.com/vPwdOKT.jpg
问题
R1可以理解
R3因为缺(2,1),(3,2)所以不具对称，因为有(1,1)所以是非对称
R2因为没有(2,1),(3,2)所以具非对称，当然也没有对称性，问题来了，为什么具反对称?
若一个关系具非对称则也一定是反对称吗？
(若p则q，我们已知，具反对称未必具非对称)

你R2R3是不是反了

没反

你前面不是已经说已理解了

我是说，我理解的部分，让大家看我有无误解简单来说我不懂为何R2有反对称

你解释的都没错阿，if 非对称=>反对称

我不确定if非对称->反对称 我只是假设,问一下否成立.

因为有（1,2）没（2,1）有（2,3）没（3,2）所以具反对称

ra你应该说具非对称，然而在非对称的条件下附加可(a,a)或没(a,a)才具有反对称，我是这样想

除了ir/reflexive 其他关系都是p->q的关系所以满足p后看q是否满足,若已~p 则必成立

反对称定义:若aRb bRa同时出现，则要a=b也就是说，当aRb没有与bRa同时出现时，就具有反对称性;那若同时出现，则要a=b才有反对称性反对称跟非对称的差别就在前者可以接受(a.a) 后者不行

ah你第一句话我不懂，如果是aRb bRa同时出现则要a=b为何R3的(1,2),(2,3)却没有(1,3)?我知道反对称跟非对称的差别在可(a,a)与不可(a,a)第二句话我看不懂意思，aRb没有->a与b没有关系的意思

有没有(1,3)是跟递移性有关 不影响反对称 因为加了(1,3)也不会有(a,b) (b, a)同时出现的情形

当(a,b)与(b,a)没有同时出现，就具有反对称，我突然晃然大悟，3q