作者waes81224 (changchang)
看板Grad-ProbAsk
标题[理工] 离散-递移性
时间Tue May 12 11:45:00 2020
离散递移性有个性质是
假设 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://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1589255102.A.1B7.html
※ 编辑: waes81224 (119.77.140.137 台湾), 05/12/2020 11:47:57
1F：→ Ricestone: 那不叫不符合定义，那叫前提不存在，形成「空虚的真」05/12 11:51
原来是前提不存在！！懂了感谢Rice大
※ 编辑: waes81224 (42.72.206.248 台湾), 05/12/2020 16:49:35