Relacje Re: Witam, czy mógłby mi ktoś pomóc z wykazaniem, przechodniością relacji? W = {<a,b>∊A² : ∃k∊N: b=k*a} A = {2,3,4,6,12,16,18,24} zakładamy, że do N należy 0 ja to robie tak: ∀_{a,b,c ∊ A} : (aWb∧bWc => aWc) więc b=ka ∧ c=kb ⇔ c= k(k*a) ∧ b=ka ⇔ c=k²a ∧ b=ka No i własnie w tym momencie ma problem bo nie wiem jak doprowadzić to do upragnionej postaci c= ka Licze na wasza pomoc

Re: przechodniości *

Pytający: Przecież to nie musi być jedno i to samo k. (aWb ∧ bWc) ⇒ (b=k₁a ∧ k₁∊ℕ ∧ c=k₂b ∧ k₂∊ℕ) ⇒ (c=(k₁k₂)a ∧ (k₁k₂)∊ℕ) ⇒ (aWc)

Re: Czyli jak to zapisać dokładnie? Jakoś tego nie czuje