Czy ta relacja jest przechodnia? Jeśli tak to w jaki sposób to zapisać?
Andrzej: X=N, xRy ⇔ 2|(x + y)
7 sty 13:23
ICSP: xRy ∧ yRz ⇒ xRz
2|(x+y) ⇒ ∃k∊N x+y = 2k
2|(y+z) ⇒ ∃l∊N y + z = 2l
x + z = x + y + y + z − 2y = 2(l + k − 1) ⇒ xRz
7 sty 13:46
Adamm: To po prostu relacja modulo 2
7 sty 14:23