relacje równoważności
: 18 mar 2013, 02:42
X=N+ \(k \rho m \Leftrightarrow (k |m \vee m|k)\)
Proszę o sprawdzenie czy to jest dobrze
Relacja zwrotna :
\(k\rho k \Leftrightarrow (k|k \vee k|k)\)
relacja jest zwrotna
Relacja symetryczna:
\(k\rho m \Rightarrow \rho k (k|m \vee m|k) \Rightarrow (m|k \vee k|m)\)
Relacja jest symetryczna
Relacja przechodnia
\((k\rho m \wedge m\rho z) \Rightarrow (k\rho z )
(k|m \vee m|k) \wedge (m|z \vee z|m) \Rightarrow (k|z \vee z|k)\)
Relacja nie jest przechodnia
Nie jestem pewien co to tej relacji przechodniej. Proszę o pomoc.
I wyznaczenie dowolnej klasy abstrakcji
Proszę o sprawdzenie czy to jest dobrze
Relacja zwrotna :
\(k\rho k \Leftrightarrow (k|k \vee k|k)\)
relacja jest zwrotna
Relacja symetryczna:
\(k\rho m \Rightarrow \rho k (k|m \vee m|k) \Rightarrow (m|k \vee k|m)\)
Relacja jest symetryczna
Relacja przechodnia
\((k\rho m \wedge m\rho z) \Rightarrow (k\rho z )
(k|m \vee m|k) \wedge (m|z \vee z|m) \Rightarrow (k|z \vee z|k)\)
Relacja nie jest przechodnia
Nie jestem pewien co to tej relacji przechodniej. Proszę o pomoc.
I wyznaczenie dowolnej klasy abstrakcji