離散數學關於集合傳遞性的問題. 設A={a,b,c},則其上關係 R={,,,} S={}是傳遞的. 為什麼R和S是傳遞的? R可以理解為沒有滿足所有傳遞可能性嗎?

離散數學關於集合傳遞性的問題. 設A={a,b,c},則其上關係 R={,,,} S={}是傳遞的. 為什麼R和S是傳遞的? R可以理解為沒有滿足所有傳遞可能性嗎?

下麵用A表示全稱量詞.
傳遞性:AxAyAz(∈R∧∈R∧→∈R).
當前件為假時,蘊涵式恒為真.由此可判定S是傳遞的.
R沒有傳遞性,因為:∈R,∈R,但是不在R中.