Relacje dwuargumentowe wlop: Relacje a) Sprawdź czy relacja X=N ⋀ 0⊂N , xRy ⇔(x≠0 ⋀ x|y) jest przechodnia? b) Sprawdź czy relacja X=Z, xRy ⇔ 5|x3−y3
11 lis 13:34
ite: Czy w drugim też trzeba sprawdzić przechodniość relacji?
11 lis 14:24
wlop: Zapomniałem dopisać. W drugim chodzi o antysymetryczność.
11 lis 14:35
ite: A jak definiujesz antysymetryczność?
11 lis 14:44
wlop: ⋀(x,y) (xRy ∧ yRx)⇒x=y
11 lis 14:48
ite: Przyjmij x=0 i y=5. Oblicz różnice sześcianów i sprawdź, czy pary (0,5) i (5,0) należą do relacji R.
11 lis 14:54
ite: a/ X=N ⋀ 0∊N , x≠0, y≠0, z≠0 xRy → y=k*x, k∊Z yRz → z=m*y, m∊Z z=m*k*x=(m*k)*x, m*k∊Z x|z ∧ x≠0 → xRz
11 lis 19:12