Matematyka.pl

Rozstrzygnij czy dla dowolnych zbiorów A, B prawdą jest, że \(\displaystyle{ A \cap B \subseteq A \cup B}\).

Po przekształceniu na \(\displaystyle{ x \in A \wedge x \in B \Rightarrow x\in A \vee x \in B}\) muszę sprawdzić czy te wyrażenie jest tautologią czy sprawdzić tylko czy gdy lewa jest prawdą to prawa też jest prawdą?

Pozdrawiam!

Zamieniasz każde wyrażenie na literki a potem sprawdzasz czy da się z nich otrzymać fałsz, tutaj na stronie 31 dobrze opisane, poczytaj.

Wiem, że trzeba rozpisać :p Pytanie brzmi czy muszę sprawdzać wszystkie przypadki tzn zdanie musi być zawsze spełnialne, czy wystarczy że sprawdzę że jeżeli lewa strona jest prawdą to czy prawa jest prawdą

aaa to już zadanie \(\displaystyle{ (A \cup B) \cap C \subseteq C \setminus (A \cap B)}\)

Sprawdź co się dzieje dla \(\displaystyle{ A=B=C}\)

Wychodzi że zbiór A należy do zbioru pustego, co jest oczywiście nieprawdą

tomcio1243 pisze:Rozstrzygnij czy dla dowolnych zbiorów A, B prawdą jest, że \(\displaystyle{ A \cap B \subseteq A \cup B}\).

Po przekształceniu na \(\displaystyle{ x \in A \wedge x \in B \Rightarrow x\in A \vee x \in B}\)

To jest niepoprawne przekształcenie (o ile się go odpowiednio nie skomentuje).

kitiko pisze:Zamieniasz każde wyrażenie na literki a potem sprawdzasz czy da się z nich otrzymać fałsz,

Swoim studentom zdecydowanie odradzam takie podejście do problemu.

tomcio1243 pisze:Wychodzi że zbiór A należy do zbioru pustego, co jest oczywiście nieprawdą

Coś takiego na pewno nie wychodzi...

JK