warunek Paweł: "zbiór takich liczb, które spełniają warunek: jesli liczba dzieli się przez dwa, to dzieli się przez trzy" Nie rozumiem tego warunku.. dla każdej kolejnej liczby sprawdzam czy dzieli się przez dwa, a potem..?

Jack: 6,12,18,...

Adamm: 2|x ⇒ 3|x

Adamm: czyli albo liczba jest nieparzysta, albo jest parzystą wielokrotnością 3

Adamm: czyli wielokrotnością 6

Paweł: a jest tu jakaś różnica względem zapisu "dzieli się przez 2 i 3"?

Adamm: jeśli x∊ℕ to nie

Adamm: lub ogólniej x∊ℤ

Paweł: czemu tak? tzn. co jakbym miał liczby z rozwinięciem dziesiętnym?

Saizou : Podzielność rozpatrujemy w kontekście liczb całkowitych (ew. naturalnych )

Adamm: podzielność jest dla liczb całkowitych ale jeśli to byłby jakiś dziwny podzbiór liczb całkowitych lub jeszcze nie wiadomo co to mogło by być inaczej, więc nie chcę wprowadzać cię w błąd

Saizou : poprawka, podzielność rozpatrujemy w pierścieniach (tak ogolniej)

Paweł: pierścienie zostawmy Magikom dzięki za rozjaśnienie tematu

Saizou : PS. pierścienie jako struktury algebraiczne, będzie to na informatyce w wielkim skrócie.

Saizou : można to też rozumieć tak jeśli 2|x to 3|x najpierw musimy mieć jakąś liczbę podzielną przez 2, a dopiero potem dopiero sprawdzamy czy jest podzielna przez 3 (jeśli x nie jest podzielne przez 2 to możemy wnioskować wszystko, więc byłoby to nad użyteczne) 2|x ∧ 3|x mówi że liczba x równocześnie jest podzielna przez 2 i 3, czyli przez 6

Paweł: więc różnica jest w tym jakie są kroki kolejno podejmowane? autor takim zapisem wymusza aby najpierw sprawdzić podzielność przez 2 i potem ewentualnie przez 3, a nie od razu przez 6?

Saizou : tak, we mnie tak

PW: A nie idzie o to, by stwierdzić, że p⇒q ≡ ∼p∨q ?