[理工] 離散 關係證明

看板Grad-ProbAsk作者 (poiu9652)時間7年前 (2018/04/05 13:01), 編輯推噓1(1推 0噓 3→)
留言4則, 1人參與, 7年前最新討論串1/1
想請問課本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
推
04/05 15:14, 7年前 , 1F
若P則Q => 條件是P已成立 用P這條件證Q成立
04/05 15:14, 1F
→
04/05 15:15, 7年前 , 2F
若R,S具對稱性 => 已經假設條件是R,S有對稱性,所以不用去證
04/05 15:15, 2F
→
04/05 15:16, 7年前 , 3F
要用這個條件去證交集跟聯集也具對稱性
04/05 15:16, 3F
→
04/05 15:20, 7年前 , 4F
所以任給元素屬於交,聯集 用R,S對稱性導出交,聯集的對稱性
04/05 15:20, 4F
‣ 更多 poiu9652 的文章
文章代碼(AID): #1QnQs_Vo (Grad-ProbAsk)