Strona 1 z 1

Wykaż

: 19 lip 2016, 15:31
autor: Artegor
Wykaż prawdziwość następujących wzorów

a) \(A' \cap B'=(A \cup B)'\)

b) \(A' \cup B'=(A \cap B)'\)

c) \((A \cap B) \cap C=A \cap (B \cap C)\)

: 19 lip 2016, 15:44
autor: michal2323
To są jedne z najprostszych przykladow na poziomie LO. możesz rozwiązać graficznie za pomaga diagramów vienna :)

Re: Wykaż

: 19 lip 2016, 16:46
autor: radagast
dwa pierwsze to prawa de Morgana dla zbiorów, a trzecie to prawo łączności mnożenia.

Re: Wykaż

: 19 lip 2016, 21:32
autor: Artegor
Metoda graficzna odpada, więc należy to zrobić przy pomocy rachunku zdań.

Re: Wykaż

: 19 lip 2016, 21:56
autor: michal2323
musisz skorzystac z definicji dopelnienia i rozpisywac co się da i później coś z tego może wyjdzie :)

: 19 lip 2016, 22:43
autor: Artegor
Czy prawa de Morgana, można udowodnić za pomocą tabelki \(p\) i \(q\)?

: 19 lip 2016, 23:03
autor: michal2323
Nwm na kiedy to potrzebujesz? Ja mogę napisać rozwiązanie jutro bo dziś już nie jestem w stanie

: 20 lip 2016, 07:44
autor: radagast
Nie ma sensu robić tego co już zrobione (chyba , że chcemy się tego nauczyć ale to już autor postu).
Jako przykład znalazłam Ci to:
ScreenHunter_1483.jpg
ScreenHunter_1483.jpg (19.58 KiB) Przejrzano 4039 razy

: 20 lip 2016, 14:58
autor: Artegor
Czyli warto zapamiętać, że:
~\((p \wedge q) \iff\) ~\(p\) \(\vee\) ~\(q\) ???

: 20 lip 2016, 15:11
autor: radagast
Tak. Dobrze jest jeszcze wiedzieć, że to jest jedno z dwóch praw de Morgana dla rachunku zdań.