Relacje
Ola: Bardzo proszę o sprawdzenie zadania z relacji, kompletnie nie wiem co się tu dzieje ale żeby
coś się starać zrozumieć przykład musi być dobrze rozwiązany także bardzo proszę o pomoc
udowodnij równość:
Ro(SoT)=(RoS)oT
używając SoT <x,z> ∃y x Sy ∧ yTz
L=Ro(∃y x Sy ∧ yTz)=∃w x Rw
xRw x w(SoT)
xRw x (wSy ⋀yTz)
(xRw ⋀ wSy)⋀yTz=(RoS)oT