Definisi formal

Definisi formal bagi totalitas dan keunikan dapat dituliskan dalam first order logic sebagai berikut.

Total kiri
Total kanan
Unik kanan
:
Unik kiri

Latihan

  1. Tuliskan definisi unik kiri dan unik kanan dalam bentuk kontraposisinya. Apakah kontraposisi membuatnya menjadi lebih mudah dimengerti?

  2. Jelaskan juga untuk kedua sifat lainnya.

Berikutnya: Latihan

Ditulis oleh
Ari Prasetyo
Ditulis pada
Terakhir diupdate
Dipublikasikan
Frase kunci
relasi biner relasi