. trip: Czy relacja podzielności określona na liczbach naturalnych jest antysymetryczna? Mnie się wydaje, że tak bo jeśli zachodzi sytuacja, że: x|y ∧ y|x to nie widzę innej możliwości jak x = y. Proszę o potwierdzenie lub znalezienie kontrprzykładu, z góry dziękuję..

konrad: no raczej tak np. 5|10 jest prawdą ale 10|5 już nie

trip: to co napisałeś nijak ma się do antysymetryczności: ∀x,y∊X (xRy ∧ yRx) ⇒ x = y ; to jest warunek na antysymetrycznosc

trip: do góry

trip: jeszcze raz