Logika Pertidaksamaan: Dari Kata ke Simbol

Logika Arah Garis Bilangan

Pada bilangan negatif, angka yang terlihat secara absolut lebih besar justru bernilai lebih kecil karena posisinya di garis bilangan.

Sistem bilangan bulat diatur secara ketat berdasarkan posisinya pada garis horizontal: semakin ke kanan, nilainya semakin besar. Sebaliknya, semakin ke kiri sebuah titik berada, nilainya semakin kecil. Pada area positif, nilai membesar menjauhi nol ($1, 2, 3, \dots$). Namun, untuk bilangan bulat negatif, nilai justru membesar saat mendekati nol. Artinya, titik $-1$ berada lebih ke kanan daripada $-4$, sehingga secara formal berlaku $-1 > -4$.

Mekanisme ini merupakan langkah awal dalam Kompilator Kode Logika pikiran kita: menetapkan orientasi nilai sebelum operator pertidaksamaan diterapkan. Memahami bahwa $-4$ berada lebih ke kiri daripada $-1$ menjaga kita dari ilusi angka tanpa tanda.

Kompilator Logika Verbal ke Simbol

Frasa 'tidak kurang dari' adalah negasi logika dari 'kurang dari' ($<$), sehingga hasil terjemahan pastinya adalah 'lebih dari atau sama dengan' ($\ge$).

Dalam logika matematika, relasi antara dua bilangan riil $x$ dan $y$ tunduk pada Hukum Trikotomi. Hukum ini menyatakan bahwa di antara dua bilangan, hanya ada tiga kemungkinan mutually exclusive yang bisa terjadi:

1. $x < y$ (kurang dari)

2. $x = y$ (sama dengan)

3. $x > y$ (lebih dari)

Saat kalimat soal memberikan instruksi verbal "tidak kurang dari", sistem Kompilator Kode Logika kita melakukan operasi negasi: mencoret kemungkinan $x < y$. Sisa kemungkinan yang masih valid adalah $x = y$ atau $x > y$. Ketika kedua kondisi yang tersisa ini disatukan, terbentuklah operator pertidaksamaan tunggal: $\ge$ ($x \ge y$).

Konsekuensi langsung dari operator $\ge$ adalah nilai batasnya ikut dihitung. Pada syarat "tidak kurang dari $-4$", bentuk simbol resminya adalah $x \ge -4$. Karena ada komponen sama dengan ($=$), maka bilangan $-4$ itu sendiri sah menjadi anggota himpunan. Siswa yang menerjemahkan frasa tersebut secara keliru menjadi strictly lebih besar ($x > -4$) akan membuang angka $-4$, menyisakan hanya $-3, -2, -1$ (berjumlah $3$ bilangan), yang menjadi penyebab terjebaknya siswa pada Opsi C.

Mengeksekusi Syarat Gabungan

Mendaftar anggota himpunan secara ekstensif menjauhkan kita dari jebakan perhitungan selisih kasar saat dihadapkan pada batas-batas diskret.

Setelah Kompilator Kode Logika menerjemahkan syarat pertama menjadi $x \ge -4$, proses analisis tidak boleh berhenti di sana. Kita wajib membaca seluruh kondisi yang diminta soal secara lengkap. Pada soal ini, terdapat syarat pembatas kedua: bilangan yang dicari harus berupa bilangan bulat negatif, yang artinya $x < 0$ (atau secara diskret batas atasnya adalah $x \le -1$).

Kita mencari irisan (intersection) dari kedua rentang tersebut:

1. Syarat 1: $x \ge -4$

2. Syarat 2: $x < 0$

Irisan kedua syarat ini menghasilkan interval tertutup $[-4, -1]$. Daripada menebak selisih angka secara abstrak, kita daftar anggotanya satu per satu dari nilai terkecil ke terbesar:

$$\{-4, -3, -2, -1\}$$

Menghitung langsung anggota himpunan penyelesaian tersebut menghasilkan tepat $4$ bilangan, yang membuktikan kebenaran Opsi D.

Mari kita tinjau penyebab opsi lainnya keliru:

• Opsi A ($1$ bilangan) salah karena hanya mencatat satu bilangan (seperti hanya $-1$) dan mengabaikan nilai negatif lainnya yang $\ge -4$.

• Opsi B ($2$ bilangan) salah karena hanya mengambil bilangan di antara batas secara ketat tanpa memasukkan batas luar (misalnya hanya $\{-3, -2\}$).

• Opsi C ($3$ bilangan) salah karena menganggap $-4$ tidak termasuk.

• Opsi E ($\infty$) salah karena mengabaikan syarat "negatif", sehingga berasumsi bilangan bulat meluas tanpa batas ke arah positif ($0, 1, 2, \dots, \infty$).