zbiory salamandra: Wypisz wszystkie elementy zbioru: a) A={n∊N: n parzyste ∧ 5 ≤n≤13} b) B={x∊R: x²=2 v x²=4} c) C={(a,b): a∊A ⋀ b∊B} d) D={k∊Z: k∉A ⇒ k∊B} A={6,8,10,12} B={−√2, √2, −2, 2} C={−2,−√2, √2, 2,6,8,10,12} Nie wiem jak w zbiorze D odczytać tę implikację, czy mógłby ktoś pomóc?

a7: moim zdaniem C={∅} (?) gdyż nie ma elementów jednocześnie należących do A i B

ICSP: C to zbiór par z których pierwsza liczba należy do A i druga należy do B.

a7: albo C={(6,−2), (6,2), (6, √2), (6,−√2), .......................} (pary liczb)

a7: o zgadza się

salamandra: Faktycznie, a jak będzie z tym D?

a7: k całkowite,które jeśli nie należy do A to należy do B D={−2,2} (?)

a7: jeszcze się zastanawiam nad wartością implikacji 0 0 ⇒ 1 to wtedy D={−2,2,6,8,10,12} dlatego, że np. 6 zdanie k∉A ma wartość zero i zdanie k∊B ma wartość zero w sumie 1

salamandra: Może ktoś jeszcze zweryfikuje, bo ja nadal nie wiem jak to rozgryźć.

a7: tak, tak weryfikacja niezbędna

Saizou : Albo skorzystać z prawa zamiany implikacji na alternatywę k ∉ A ⇒ k∊B jest równoważne k ∊ A ∨ k∊ B

salamandra: Oo, o tym nie pomyślałem, ale może to dlatego, że w ogóle mi ta logika na razie nie leży − czyli inaczej, będzie to cały zbiór A i B?

Saizou : A lub B k ∊ A ∨ k ∊ B ≡ k ∊ A∪B

a7: i k ma być całkowite

salamandra: Ah, sory, zapomniałem o k∊Z, wiec D={−2, 2, 6,8,10,12}?

a7: no na to wygląda

Saizou :

salamandra: Dzięki