różnica zbiorów iteRacj@: Czy zbiorem, który jest wartością wyrażenia A \ (B \ C), jest zbiór pusty, gdy A ⊆ B ⊆ C ? Według mnie nie. Poprawna odpowiedź?

Adamm: A\(B\C) = A\∅ = A

iteRacj@: i tak mi wyszło! dziękuję

Lech: To widac besposrednio z rysunku dla zbiorow !

iteRacj@: oj nie tak bardzo widać, pare osób stanowczo twierdzi, że z rysunku wynika, że po tych odejmowaniach zostaje zbiór pusty

Adamm: @Lech Rysunki są mylące. Mogą budzić intuicję, ale nie mogą być bezpośrednim dowodem. To nie geometria.

PW: A i w geometrii trzeba uważać. Często okazuje się, że oprócz tego co narysowaliśmy istnieje jeszcze druga możliwość. Klasyczny przykład: prosta przechodząca przez punkt P leżący na zewnątrz okręgu, styczna do tego okręgu (są dwie, a rysunek mógłby sugerować, że jest jedna).

Lech: Rysunek nie jest dowodem , a tylko pomocna wizualizacja problemu , to co zapisal kolega @Adamm tez nie jest dowodem , tylko wynikiem .Dowod nalezaloby przedstawic korzystajac z definicji ,ze dany element x nie nalezy do zbioru B \ C i.t.d .......

Adamm: To nie miał być dowód, tylko co zrobić dalej Teraz można podać kontrprzykład To co ty chcesz zrobić, mogłoby być dowodem tej równości. Który jest zupełnie zbędny

Lech: Kolego @Adamm , moja uwaga dotyczyla Twojego wpisu 20.58 , to Ty uzyles slowa " dowod"

Adamm: Bo to typowe Uczniowie sobie rysują, i myślą że to dowód. Takie wpisy wprowadzają w błąd.

Basia: bo tak ich uczą w szkole; działania na zbiorach nie są poprzedzone elementami logiki i rachunkiem zdań przynajmniej na podstawie, a i na rozszerzeniu różnie bywa