- #1
physicsuser
- 82
- 1
let R be a relation on the set A={0,1,2,3}. If R={(0,0),(0,2),(2,0),(2,2),(2,3),(3,2),(3,3)} why it is not transitive?
VaVbVc (a,b) in R and (b,c) in R implies (a,c) in R a,b,c in A. (V is the 'for all' symbol)
so there are
(0,2) and (2,0) with (0,0)
(2,0) and (0,2) with (2,2)
(2,3) and (3,2) with (2,2)
(3,2) and (2,3) with (3,3)
How is it not transitive?
VaVbVc (a,b) in R and (b,c) in R implies (a,c) in R a,b,c in A. (V is the 'for all' symbol)
so there are
(0,2) and (2,0) with (0,0)
(2,0) and (0,2) with (2,2)
(2,3) and (3,2) with (2,2)
(3,2) and (2,3) with (3,3)
How is it not transitive?