作者poiu9652 (poiu9652)
看板Grad-ProbAsk
标题[理工] 离散 关系证明
时间Thu Apr 5 13:01:48 2018
想请问课本P-25
P-25定理2-4的证明为什麽是假设a(R∩/∪S)b开始证
定理上写R、S具对称、递移，则a(R∩/∪S)b具对称、a(R∩S)b具递移
证明却不是从R、S具对称、递移开始证
是从哪开始证都可以，还是有原因得像课本那样证？
谢谢
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.36.64.232
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1522904511.A.7F2.html
1F：推 ILYY: 若P则Q => 条件是P已成立 用P这条件证Q成立 04/05 15:14
2F：→ ILYY: 若R,S具对称性 => 已经假设条件是R,S有对称性,所以不用去证 04/05 15:15
3F：→ ILYY: 要用这个条件去证交集跟联集也具对称性 04/05 15:16
4F：→ ILYY: 所以任给元素属於交,联集 用R,S对称性导出交,联集的对称性 04/05 15:20