[理工] 離散-遞移性

看板Grad-ProbAsk作者 (changchang)時間5年前 (2020/05/12 11:45), 5年前編輯推噓1(101)
留言2則, 2人參與, 5年前最新討論串1/1
離散遞移性有個性質是 假設 R與S皆具有遞移性, 則R∩S也具有遞移性 假設 R={(1,2) (2,3) (1,3)} S = {(1,1) (1,2) (2,2) (2,1)} 此時 R∩S = {(1,2)}, 我想問的是這樣有遞移性嗎? 以下是我的想法 根據遞移性的定義是 for all a, b, c 屬於A aRb 且 bRc => aRc 但今天R∩S 只有 {(1,2)} 1R2 2R?? aRb bRc 因為少一個c本身就不符合定義了,這樣還算是具有遞移性嗎?? -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 119.77.140.137 (臺灣) ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1589255102.A.1B7.html ※ 編輯: waes81224 (119.77.140.137 臺灣), 05/12/2020 11:47:57

05/12 11:51, 5年前 , 1F
那不叫不符合定義,那叫前提不存在,形成「空虛的真」
05/12 11:51, 1F
原來是前提不存在!!懂了感謝Rice大 ※ 編輯: waes81224 (42.72.206.248 臺灣), 05/12/2020 16:49:35

05/14 01:49, 5年前 , 2F
文章代碼(AID): #1UkXk-6t (Grad-ProbAsk)