logowanie

matematyka » forum » forum zadaniowe - uczelnie wy縮ze » zadanie

Logika, zadanie nr 5935

ostatnie wiadomo艣ci  |  regulamin  |  latex

AutorZadanie / Rozwi膮zanie

karo
post贸w: 4
2019-01-14 11:09:22

Udowodnij nast臋puj膮ce prawo rachunku zbior贸w:

A. $A \setminus (B \cup C) = (A \setminus B) \cap (A \setminus C)$
B. $(A \setminus B) \cap (A \setminus C) = A \setminus (B \cup C)$
C. $B \setminus (A \cup C) = (B \setminus A) \cap (B \setminus C)$


tumor
post贸w: 8070
2019-01-15 12:14:51

Mo偶na to zadanie rozwi膮za膰 za pomoc膮 diagram贸w Venna, zakre艣laj膮c na jednym diagramie obszary opisane przez lew膮 stron臋 r贸wnania, na drugim przez praw膮. Diagramy powinny wyj艣膰 identyczne.

Inaczej mo偶emy dowodzi膰 przyjmuj膮c
$p = (x\in A)$
$q = (x\in B)$
$r = (x\in C)$
i przek艂adaj膮c formu艂臋 na j臋zyk rachunku zda艅.

A.
$p\wedge \neg(q \vee r) \leftrightarrow (p\wedge \neg q)\wedge (p\wedge \neg r)$

tabelk膮 lub inn膮 metod膮 sprawdzamy, czy to tautologia

strony: 1

Prawo do pisania przys艂uguje tylko zalogowanym u偶ytkownikom. Zaloguj si臋 lub zarejestruj

© 2019 Mariusz iwi駍ki      o serwisie | kontakt   drukuj