Zdanie wyrażające własność zbiorów Maureen: Jaką własność zbiorów A,B≠∅ wyraża zdanie (∀x∊A)(∃y∊B)(x≠y)? Nie wiem co to może być za własność − wydaje mi się, że zbiory mogą być równe (przecież wtedy znajdziemy dla każdego x takiego y). A może się zawierać w B, B w A, moje pomysły tu się kończą.

ite: zbiór B ma co najmniej jeden element, który nie należy do zbioru A

ite: trzeba to teraz zapisać trochę inaczej

Adamm: ⇔ ~(∃_x∊A∀_y∊B x = y) ⇔ ~(∃_x∊A B = {x}) ⇔ ∀_x∊A B ≠ {x}

Adamm: |B|>1 lub (|B| = 1 i B∩A = ∅)

Adamm: |B|>1 lub (|B| = 1 i B∩A = ∅)

Maureen: Pięknie dziękuję!

ite: Ja też dziękuję.