? BOOOOMBAAAAA: Czy dobrze zrobiłam dowód? Udowodnij, że dla dowolnych zbiorów A i B zbiór A∩B jest największym zbiorem zawartym jednocześnie w zbiorze A i B. Ustalamy dowolny x taki, że X⊆ A X⊆B. Weźmy dowolny element x∊X Na mocy założonych inkluzji dostajemy x∊A ∧ x∊B−−> x∊(A∩B) To oznacza, że X ⊆(A∩B).
7 lut 15:37
Adamm: Ok Duże 'X' na początku
7 lut 15:43
Adamm: Trzeba też może napisać że to zbiór dla formalności
7 lut 15:43
BOOOOMBAAA: Tak, tak! Przy pisaniu nie zauważyłam, że jest z małej! Dziękuję bardzo za uwagi! No i oczywiście pomoc.
7 lut 18:41
PW: Mnie ten dowód nie przekonuje. Pokazałaś − wychodząc z założenia, że X jest podzbiorem A i podzbiorem B − że X jest podzbiorem A∩B.. "A∩B jest największy" to znaczy, że x nienależący do A∩B nie należy jednocześnie do A i do B.
7 lut 21:19
ABC: PW istotnie zrobiłeś się zgryźliwym tetrykiem emotka
7 lut 21:23
PW: Nie "zrobiłem się", mam tak od dzieciństwa. Jeśli czegoś nie rozumiem, to zgłaszam wątpliwości.
7 lut 21:33
No to pięknie...: Nie jestem w stanie pojąć ani słowa
7 lut 21:35
ABC: Bomba udowodnił(a) p⇒q a ty o 21.19 piszesz (∼q)⇒(∼p) to chyba równoważne jest? emotka
7 lut 21:37
PW: Nie wierzę.
7 lut 21:43
Adamm: A∩B jest największy wśród zbiorów które są zawarte jednocześnie w A jak i B, znaczy że A∩B jest zawarty zarówno w A jak i B, a dodatkowo, jeśli X zawiera się zarówno w A jak i B, to X zawiera się w A∩B
7 lut 21:53
PW: Adamm, jeżeli BOOOOMBAAA rozumie to wszystko, to w ogóle niepotrzebnie zadawała pytanie.
7 lut 21:57
ABC: Bomba 15:37 "Na mocy założonych inkluzji dostajemy x∊A ∧ x∊B−−> x∊(A∩B)" PW 21:19 "x nienależący do A∩B nie należy jednocześnie do A i do B" "
7 lut 21:59
No to pięknie...: O czym wy w ogóle piszecie?
7 lut 22:21
PW: O tym, że dowód ma polegać na przekonaniu czytelnika o prawdziwości następnika implikacji przy założeniu prawdziwości poprzednika. Nie można "w rozumie" dokonać operacji logicznych, w wyniku których dowodzimy coś brzmiącego zupełnie inaczej, w ten sposób czytelnika nie przekonamy. Jeżeli jesteśmy pewni, że czytelnik zrozumie, to po co mu dowód?
8 lut 10:33