udowodnij własność algebry zbiorów
: 15 paź 2017, o 17:54
Udowodnij poniższe własności algebry zbiorów:
\(\displaystyle{ A \cap B = A \Leftrightarrow A \subseteq B}\)
Moja propozycja rozwiazania:
Dla dowolnego x
\(\displaystyle{ x \in (A \subseteq B)}\)
Z definicji podzbioru:
\(\displaystyle{ x \in A \Rightarrow x \in B}\)
Z prawa eliminacji implikacji:
\(\displaystyle{ x \notin A \lor x \in B}\)
Powyższe jest równoważne poniższemu:
\(\displaystyle{ x \in (A' \cup B)}\)
Niestety nie wiem jak dojść z tym do takiej sytuacji, żebym miał jakąś równość i żeby prawa strona równoważności, która przekształcam była taka sama jak lewa.
\(\displaystyle{ A \cap B = A \Leftrightarrow A \subseteq B}\)
Moja propozycja rozwiazania:
Dla dowolnego x
\(\displaystyle{ x \in (A \subseteq B)}\)
Z definicji podzbioru:
\(\displaystyle{ x \in A \Rightarrow x \in B}\)
Z prawa eliminacji implikacji:
\(\displaystyle{ x \notin A \lor x \in B}\)
Powyższe jest równoważne poniższemu:
\(\displaystyle{ x \in (A' \cup B)}\)
Niestety nie wiem jak dojść z tym do takiej sytuacji, żebym miał jakąś równość i żeby prawa strona równoważności, która przekształcam była taka sama jak lewa.