Zbiory Macko Z Bogdanca: Pokazac ze dla dowolnych zbiorow A,B A∩B⊂A, A∩B⊂B

Macko Z Bogdanca: Ktos cos ?

kochanus_niepospolitus: (A∩B) ⊆ A jak już, tak samo: (A∩B) ⊆ B

Macko Z Bogdanca: Wlasnie, na liscie mam ⊂ a nie ⊆

Adamm: ⊂ oznacza dokładnie to samo co ⊆

Macko Z Bogdanca: Moglby ktos chociaz pokazac jak zrobic jeden przyklad albo naprowadzic?

Macko Z Bogdanca: Nie za bardzo wiem jak to wykonac z definicji

Adamm: z definicji A∩B⊂A ⇔ (∀_xx∊A∩B ⇒ x∊A) a x∊A∩B ⇔ x∊A ∧ x∊B

Macko Z Bogdanca: OKi, dziekuje

Adamm: a takie zdanie p ∧ q ⇒ p czy ono jest prawdziwe

PW: Jeżeli x∊A∩B, to x∊A∧x∊B, skąd wynika że x∊A, czyli x∊A∩B⇒x∊A , a to oznacza, że A∩B⊂A

Macko Z Bogdanca: Jest prawdziwe dla p=1, q=1 lub p=0 i q=0 tak?

Macko Z Bogdanca: CHociaz nie dla wszystkich jest prawdziwe chyba

PW: Nie przekombinuj. Dowodząc twierdzenie zakładasz, że założenie jest zdaniem prawdziwym, w tym wypadku prawdą jest należenie x do zbioru A∩B.

Adamm: no, kiedy implikacja jest fałszywa i sprawdź czy ta implikacja może być fałszywa nie może czyli x∊A ∧ x∊B ⇒ x∊A

Macko Z Bogdanca: To co napsiales wydaje sie dosc proste, jeszcz pomysle o innych przypadkach, Dzieki