Question

Zachodzą relacje {ab, ba, ac, aa, bb, cc}
Czy relacja jest przechodnia?
Występuje ab, ba, aa czy jeden "warunek" wystarczy?
Bo np. dla ba, ac, nie występuje bc ...

Proszę, proszę, pomóż ktoś :P

Answer 1

Relacja NIE jeste przechodnia,

w definicji przechodniości relacji mamy duży kwantyfikator "Dla każdego"

Cztli, jeżeli ba i ac należy do relacji to bc musi należeć do tejże relacji, tutaj nie należy, więc nie jest przechodnia.