反对称性证明 证明模式证明R在A上反对称 任取<x,少> x少>∈R入<y,x>∈R→ →xy 前提 推理过程 结论 例6证明若R∩Rs4,则R在A上反对称 证任取<xy> x,y>∈R∧,x>∈R→<x>∈R∧x,吵∈R-1 →≮>∈R∩R-1→<xyD>∈I4→x=y 因此R在A上是反对称的 1313 反对称性证明 证明模式 证明R在A上反对称 任取<x, y> <x,y>R<y,x>R  ………..……….  x=y 前提 推理过程 结论 例6 证明若 R∩R−1IA , 则R在A上反对称. 证 任取<x,y> <x,y>R <y, x>R  <x,y>R <x,y>R −1  <x,y>R∩R −1  <x,y>IA  x=y 因此 R 在 A 上是反对称的