推 ILYY: 若P則Q => 條件是P已成立 用P這條件證Q成立 04/05 15:14
→ ILYY: 若R,S具對稱性 => 已經假設條件是R,S有對稱性,所以不用去證 04/05 15:15
→ ILYY: 要用這個條件去證交集跟聯集也具對稱性 04/05 15:16
→ ILYY: 所以任給元素屬於交,聯集 用R,S對稱性導出交,聯集的對稱性 04/05 15:20
想請問課本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://www.ptt.cc/bbs/Grad-ProbAsk/M.1522904511.A.7F2.html