→ Ricestone: 那不叫不符合定義，那叫前提不存在，形成「空虛的真」05/12 11:51
原來是前提不存在！！懂了感謝Rice大
※ 編輯: waes81224 (42.72.206.248 臺灣), 05/12/2020 16:49:35
離散遞移性有個性質是
假設 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 屬於Ａ
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