Revisi per 27 Desember 2021 04.15 sunting Dearly1997 (bicara \| kontrib) 53 suntingan Tidak ada ringkasan suntingan Tag: VisualEditor Tugas pengguna baru ← Revisi sebelumnya		Revisi per 16 Mei 2022 22.09 sunting balikkan Laidek233 (bicara \| kontrib) 42 suntingan k →Relasi dan fungsi proposisi Tag: Dikembalikan VisualEditor Tugas pengguna baru Tugas pengguna baru: referensi Revisi selanjutnya →
Baris 8: == Relasi dan fungsi proposisi == Sebuah relasi dapat dikaitkan dengan sebuah [[fungsi proposisi]] atau [[kalimat terbuka]] yang himpunan penyelesaiannya tidak lain adalah relasi tersebut. Sebagai contoh, pandang himpunan ''B'' = { ''apel, jeruk, mangga, pisang'' } dengan himpunan ''W'' = { ''hijau, kuning, orange''}. Suatu relasi ''R'' dari ''A'' ke ''B'' didefinisikan sebagai ''R'' = {(''apel, hijau''), (''jeruk, orange''), (''mangga, hijau''), (''pisang, kuning'')}. Terdapat fungsi proposisi ''w''(''x, y'') = "''x'' berwarna ''y''", yang himpunan penyelesaiannya adalah {(''apel, hijau''), (''jeruk, orange''), (''mangga, hijau''), (''pisang, kuning'')}, yang tidak lain adalah relasi ''R''. Baris 72: * Simetrik, dan * Transitif Relasi ekuivalen memiliki hubungan erat dengan [[partisi]], yang merupakan alasan mengapa partisi dari sebuah himpunan disebut kelas kesetaraan atau kelas kesetaraan. === Orde parsial ===

Relasi biner: Perbedaan antara revisi