Pemeriksaan B.27. Latihan 11: pencacahan bilangan bulat.

Tentukan apakah rumus yang diberikan mendefinisikan injeksi dan surjeksi \(\N\to\Z\text{,}\) lalu beri prapeta eksplisit untuk setiap bilangan bulat.
Petunjuk.Jawaban.Solusi.
in-context