Logika zbiory Mavannkas: Cześć mam takie zadanie zlogiki Udowodnić, że a) A ⊆ B ⇒ 2^A ⊆ 2^B Jak się za to zabrać?

chichi: Czy wiesz czym jest zbiór potęgowy?

Mavannkas: Tak wiem, są to wszystkie możliwe podzbiory danego zbioru

chichi: Niech C ⊆ 2^A będzie dowolny, wówczas: {[( C ⊆ 2^A ⇒ C ⊆ A ) ⇒ C ⊆ B ] ⇒ C ⊆ 2^B } ⇒ C ⊆ 2^B □

chichi: Miało być tak, sorry jestem dziś wymęczony. Zajęcia do 18:45 robią swoje {[( C ⊆ 2A ⇒ C ⊆ A ) ⇒ C ⊆ B ] ⇒ C ⊆ 2^B} ⇒ 2^A ⊆ 2^B □

ite: nie powinno być C ∊ 2^A ?

chichi: @ite ja wiem, że ty wiesz, że powinnobyć 2^A, przy skopiowaniu poprzedniego komentarza z 21.18 nie wstawiłem indeksu górnego, przy 2^B tylko pamiętałem.. To ze zmęczenia, jak spojrzysz na ten wpis z 21.18 to tam jest 2^A w pierwszej implikacji

chichi: Szkoda tylko, że to autor się tym nie zainteresował

ite: Nie chodziło mi o zapis zbioru potęgowego ale o znaki zawierania i przynależności. Pytam tylko dlatego, że czasem zdarza się, że (o ile wiem) nawet po kilku latach do odpowiedzi z tego forum jeszcze ktoś czasem zagląda i traktuje jako źródło informacji. Dlatego lepiej wszystko do końca wyjaśnić, wtedy osobom, które się chcą nauczyć (a nie tylko przepisują) będzie łatwiej.

chichi: Aaaa na samym początku, o to Ci chodzi. No jasne, że tak.. Nie siadam więcej na zmęczonego. Ale ktoś kto rozumie pojęcia zawierania i przynależności, to należycie wyciągnie wniosek taki jak Ty, już nie będę zmieniał. Zostawiam zamianę symbolu dla 'zainteresowanych'. Tak czy inaczej dziękuję @ite

ite: To akurat jest dobry sposób na sprawdzenie, kto na ile analizuje otrzymaną odpowiedź. Jeden z użytkowników tego forum nie ukrywa, że nie lubi przepisywaczy, więc czasem umieszcza błędne wpisy.

chichi: Podzielam Twoje zdanie, jak widzisz autor już zniknął... Pewnie pojawi się przy okazji chęci otrzymania kolejnego gotowca...

Mavannkas: Nie, nie szukałem gotowca. Po prostu zająłem się kolejnymi zadaniami z listy a później już zapomniałem o tym forum. Uznałem później, że wrócę do podstaw logiki, bo kompletni nie potrafię zrozumieć jak tego typu dowody coś udowadniają. Liczę, że to pomoże.