szukanie zaawansowane
 [ Posty: 8 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 22 kwi 2018, o 15:25 
Użytkownik

Posty: 5
Lokalizacja: Lublin
Zbadać czy formuła
[(A  \subset  B)  \wedge  (C \subset  D)  \Rightarrow  [(A  \setminus  D)  \subseteq  (B  \setminus 
 C)]
jest twierdzeniem rachunku zbiorów.
Z góry dzięki za odpowiedź. ;)
Góra
Mężczyzna Offline
PostNapisane: 22 kwi 2018, o 20:47 
Administrator

Posty: 22914
Lokalizacja: Wrocław
Próbowałeś badać?

JK
Góra
Mężczyzna Offline
PostNapisane: 25 kwi 2018, o 18:15 
Użytkownik

Posty: 5
Lokalizacja: Lublin
Tak próbowałem, ale nic z tego.
Góra
Mężczyzna Offline
PostNapisane: 25 kwi 2018, o 18:27 
Administrator

Posty: 22914
Lokalizacja: Wrocław
A jak próbowałeś?

JK
Góra
Mężczyzna Offline
PostNapisane: 25 kwi 2018, o 18:55 
Użytkownik

Posty: 5
Lokalizacja: Lublin
x  \in  A  \Rightarrow  x  \in  B\\
x  \in  C  \Rightarrow  x  \in  D

I nie wiem co z tym dalej zrobić.
Góra
Mężczyzna Offline
PostNapisane: 25 kwi 2018, o 19:17 
Administrator

Posty: 22914
Lokalizacja: Wrocław
To istotnie do niczego - badanie nie polega na żonglerce znaczkami.

Jeżeli chcesz podjąć próbę uzasadnienia, że to jest twierdzenie, to musisz skupić się na tezie. Teza stanowi, że (A \setminus D) \subseteq (B \setminus C), starasz się zatem dowieść, że zbiór A \setminus D zawiera się w zbiorze B \setminus C. W tym celu ustalasz dowolny element x\in A \setminus D i starasz się, korzystając z definicji działań mnogościowych i z założeń, uzasadnić że x\in B \setminus C.

JK
Góra
Mężczyzna Offline
PostNapisane: 27 kwi 2018, o 17:55 
Użytkownik

Posty: 389
Lokalizacja: Rzeszów
Taka podpowiedź: jeżeli z większego (słabo) zbioru B \supseteq A odejmiemy mniejszy(słabo) zbiór C \subseteq D, to otrzymana różnica B \setminus C będzie większa (znowu pod względem inkluzji) od odpowiedniej niej różnicy A \setminus D. :)

Nie używam ja symboli \subseteq,\supseteq -zawsze używam \subset lub \supset- dla autora tematu zrobiłem ten przystępny wyjątek.
Góra
Mężczyzna Offline
PostNapisane: 27 kwi 2018, o 19:04 
Administrator

Posty: 22914
Lokalizacja: Wrocław
Warto jeszcze zadać pytanie autorowi tematu, czy w sformułowaniu zadania świadomie użył dwóch różnych symboli zawierania (nie ma to wpływu na rozumowanie, ale porządek musi być).

JK
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 8 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Wykaź równoliczność zbiorów C ~ N  Serega  6
 Dowody na rodzinach zbiorów  adambak  6
 Przeliczalność zbiorów - zadanie 4  skolukmar  24
 Pokazać dla dowolnych zbiorów - zadanie 6  Dario1  3
 Równoliczność zbiorów - zadanie 62  Sachato  2
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl