logika szymek: Mam takie zadanie z logiki : W zbiorze wielomianów R(x) określono relację s: W(x)sG(x) wtw.gdy ⋁(kwantyfikator mały) i a należy do R W(x) − G(x)=a Trzeba wykazać, że jest to relacja równoważności oraz policzyć jej klasy abstrakcji. Proszę o pomoc bo kompletnie nie wiem jak mam się za to zabrać.

PW: W s G ⇔ ∨_a∊R⋀_x∊R(W(x) − G(x) = a − tak miało być? Krótko mówiąc − wielomiany spełniają relację s, gdy różnią się o stałą?

szymek: tak dokładnie

PW: No to wykazanie, że jest to relacja równoważności, jest banalne.

szymek: a mógłbyś mnie chociaż naprowadzić

szymek: a co z klasami abstrakcji