Kontrprzykład dla 219:

A={1,2,3} R = { <1,1>,<2,2>,<3,3>,<1,2>,<2,1> } S = { <1,1>,<2,2>,<3,3>,<2,3>,<3,2> } SR = { <1,1>,<2,2>,<3,3>,<1,2>,<2,1>,<2,3>,<3,2>,<1,3> } W złożeniu jest para <1,3>, a nie ma <3,1> więc nie jest symetryczna.

 
logika_dla_informatykow/skrypt/219.txt · ostatnio zmienione: 2009/11/23 22:27 przez dryzga
 
Wszystkie treści w tym wiki, którym nie przyporządkowano licencji, podlegają licencji:MIT License
Recent changes RSS feed