Jak napisać to, że te relacje są przechodnie?
Andrzej: 1. X=N, xRy ⇔ 2|(x + y)
2.X=Z, xRy ⇔ |x| + |y| = 3
6 sty 14:18
ite:
2.X=Z, xRy ⇔ |x| + |y| = 3
|3| + |0| = 3 → 3R0
|0| + |−3| = 3 → 0R(−3)
|3| + |−3| ≠ 3 → ¬(3R(−3))
6 sty 16:05
Adamm:
A = (x, y), B = (y, z), C = (x, z)
7 sty 15:31