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
Tuliskan definisi unik kiri dan unik kanan dalam bentuk kontraposisinya. Apakah kontraposisi membuatnya menjadi lebih mudah dimengerti?
Jelaskan juga untuk kedua sifat lainnya.
Berikutnya: Latihan