tautologia kamil: Zadanie : Udowodnij, że dla dowolnych zbiorów A,B,C,D zachodzą implikacje i równoważności : A⊂B⇔A=A∩B

kamil: Nie rozumiem, kiedy np. zamienia się ⊂ na ⇒, albo jak rozwinąć tutaj np. A=A∩B . Mógłby ktoś podrzucić jakieś wzory do rachunku zdań, kiedy który się stosuje

Benny: A⊂B oznacza, że zbiór A zawiera się w zbiorze B Okrąg − zbiór B, kwadrat − zbiór A A∩B − część wspólna zbiorów, tutaj będzie to kwadrat, czyli zbiór A A∩B=A

kamil: Ale chyba muszę to zapisać jakoś za pomocą rachunku zbiorów coś tak jak wyżej tylko po rozwinięciu

kamil: Dokładnie nie wiem, ale chyba trzeba tu udowodnić tautologię.

kamil: I rozpisać, a ja nie wiem wg. jakich wzorów to podmieniać.

kamil: refresh