Скупови – пример 2

Текст задатака објашњених у видео лекцији.

Реши скуповну једнакост:

Пр.2   $A\backslash \left( {B \cup C} \right) = \left( {A\backslash B} \right) \cap \left( {A\backslash C} \right)$

Скуповне једнакостi решавамо тако што их преводимо у исказне формуле а затим показуjемо да су те формуле таутологије. Према дефеницији једнакости скупова, два скупа су једнакa ако и само ако за свако x ако x припада jедном скупу то је еквивалентно да  x припада и другом скупу

 \[\left( {\forall х } \right)\left( {х \in \left( {А\backslash \left( {B \cup C} \right)} \right)} \right) \Leftrightarrow \left( {x \in \left( {\left( {А\backslash B} \right) \cap \left( {A\backslash C} \right)} \right)} \right)\]

\[\left( {\forall x} \right)\left( {x \in A \wedge x \notin \left( {B \cup C} \right)} \right) \Leftrightarrow \left( {x \in \left( {А\backslash B} \right) \wedge x \in \left( {A\backslash C} \right)} \right)\]

\[\left( {\forall х} \right)\left( {х \in A \wedge \neg \left( {x \in \left( {B \cup C} \right)} \right)} \right) \Leftrightarrow \left( {\left( {x \in A \wedge x \notin B} \right) \wedge \left( {x \in A \wedge \left( {x \notin C} \right)} \right)} \right)\]

\[\begin{gathered}
\left( {\forall х} \right)\left( {х \in A \wedge \neg \left( {x \in B \vee x \in C} \right)} \right) \Leftrightarrow \hfill \\
\Leftrightarrow \left( {\left( {x \in A \wedge \neg \left( {x \in B} \right)} \right) \wedge \left( {x \in A \wedge \neg \left( {x \in C} \right)} \right)} \right) \hfill \\
\end{gathered} \]

Ако са p означимо $x \in A$,са q - $x \in B$ и са r - $x \in C$, на оваj начин нашу скуповну једнакост преводимо у исказну форму, имамо   \[\left( {p \wedge \neg \left( {q \vee r} \right)} \right) \Leftrightarrow \left( {\left( {p \wedge \neg q} \right) \wedge \left( {p \wedge \neg r} \right)} \right)\]

Показуjемо да добиjена формула таутологиjа табличнoм методом.

Са A означимо $p \wedge \neg q$, са B  означимо $p \wedge \neg r$, са С означимо $p \wedge \neg \left( {q \vee r} \right)$ и са D означимо $\left( {p \wedge \neg q} \right) \wedge \left( {p \wedge \neg r} \right)$

 Наша формула jе тачна за све вредности исказних слова, односно она jе таутологиjа. Ми смо показали да jе исказна формула таутологиja, односно наша скуповна jеднакост jе тачна.