[Iribell]

Proszę o pomoc z #matematyka , #studbaza, #studia, #informatyka . Mam zadanie z logiki i teorii mnogości i zupełnie nie wiem jak się za nie zabrać.

[P.....n]

@Iribell: Masz to udowodnić? Jak tak, to rozpisz to jako x∈f(...)<=>.....
Korzystaj z definicji obrazu, iloczynu i przeciwobrazu.

[Iribell]

@Princess-Blue-Moon: Tak, mam to udowodnić. Tylko nie miałam jeszcze definicji obrazu na wykładzie jeszcze (mam to zrobić na ćwiczenia, które są wcześniej niż wykład). Chociaż jest szansa, że na ćwiczeniach nie dojdziemy do tego przykładu.
Dziękuję za szybką odpowiedź:)

[P.....n]

@Iribell: Bez definicji się nie da :P Do takich rzeczy polecam "Wstęp do matematyki" J. Kraszewskiego. Dobry jest też Kuratowski, ale nie na start.

[ShamerOC]

@Iribell: f(A n B) zawiera się w f(A) n f(B)
to ci powinno pomóc

[Iribell]

@Princess-Blue-Moon: Jeszcze raz dziękuję. No cóż, skoro nie da się bez definicji to będę kombinować na ćwiczeniach, co zrobić, żeby nie pokazać :P

[Iribell]

@ShamerOC: Tylko tam nic takiego nie ma... Albo nie potrafię do tego dojść¯\_(ツ)_/¯

[ShamerOC]

@Iribell: No jak nie ma, zobacz
f(A n f^-1(B)) zawiera się w f(A) n f(f^-1(B)) czyli f(A) n B, kiedy funkcja jest surjekcyjna

[Iribell]

@ShamerOC: Aaa... Dziękuję. Jestem raczej beznadziejna z logiki

[ShamerOC]

@Iribell: Spoko, ogólnie polecam sobie powypisywać wszystkie własności które będziesz mieć na wykładzie, bo dowody się opierają tylko na nich