Buka menu utama

Perubahan

Relasi biner

1 bita ditambahkan, 4 tahun yang lalu
Relasi Simetrik
Dalam kebanyakan literatur biasanya ditulis sebagai kontraposisinya seperti di bawah ini. Keuntungan bentuk ini adalah tidak mengandung negasi, dan hanya mengandung satu implikasi.
:<math>\forall_{a, b \in A}\quad (a,b) \in R \wedge (b,a) \in R \rightarrow a=b</math>
atau.
:<math>\forall_{a, b \in A}\quad a R b \wedge b R a \rightarrow a=b</math>
Relasi <math>\leq</math> bersifat anti-simetrik, karena <math>5 \leq 6</math> mengakibatkan <math>\lnot (6 \leq 5)</math>. Demikian juga jika ada ''p'' dan ''q'' yang terhadap mereka berlaku <math>p \leq q</math> dan <math>q \leq p</math> berarti <math>p = q</math>.
Pengguna anonim