Teoria mnogości, zadanie nr 2695

Autor	Zadanie / Rozwiązanie
m555 postów: 1	2014-10-15 20:35:08 Algorytm 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