logowanie

matematyka » forum » forum zadaniowe - uczelnie wyższe » zadanie

Logika, zadanie nr 5787

ostatnie wiadomości  |  regulamin  |  latex

AutorZadanie / Rozwiązanie

lameguy
postów: 2
2018-07-19 14:13:24

W oparciu o definicje równości i inkluzji zbiorów oraz korzystając z odpowiednich praw logicznych, udowodnij (należy traktować zbiór X jako uniwersum):

a) (A – B) ∪ X = X,

b) (A – B) ∩ A = (A – B),

c) (A ∪ B) ∩ B = B,

d) (A ∪ B) – X = ∅,

e) (A – X) ∪ A = A.


tumor
postów: 8070
2018-07-19 19:39:49

Gdybym chciał, żeby ktoś mi rozwiązał zadanie, postarałbym się czytelnie je zapisać.

e)
$(A-X)\cup A=A$

Dowodzimy dość prosto, bo zawsze $A-X=\emptyset$, a także $\emptyset \cup A=A$

strony: 1

Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj





© 2019 Mariusz Śliwiński      o serwisie | kontakt   drukuj