Teoria mnogości, zadanie nr 2695
ostatnie wiadomości | regulamin | latex
| Autor | Zadanie / RozwiÄ…zanie |
m555 postów: 1 |  2014-10-15 20:35:08Algorytm Venna pozwala na analizowanie par formuł $\phi(A,B,C) $zbudowanych przy pomocy symboli $(,), \cup, \cap, \setminus$ i zmiennych $A,B,C$. Przykładowo,$ \phi(A,B,C)=B \setminus A$ może zostać porównane z $\psi(A,B,C) =\left( \left( B \setminus A\right) \cup \left( A \cap C\right) \right) $przez zakreślenie odpowiednich obszarów. Wykaż poprawność algorytmu Venna tzn. wykaż, że równość między zbiorami zdefiniowanymi przez $\phi$ i $\psi$ ma miejsce wtedy i tylko wtedy, gdy zostają zakreślone dokładnie te same obszary. |
| strony: 1 | |
Prawo do pisania przysługuje tylko zalogowanym użytkownikom. Zaloguj się lub zarejestruj