Membongkar Simbol $a|b$ dan Logika Implikasi

Garis Lurus Bukan Garis Miring!

Coba jujur, pas lihat simbol $a|b$ di soal, apakah kamu langsung ngebayangin "$a$ dibagi $b$" atau $\frac{a}{b}$?

Tenang aja, miskonsepsi ini umum banget kejadian! Padahal, garis lurus ($|$) dan garis miring ($/$) itu dua hal yang benar-benar berbeda di matematika.

Garis miring ($/$) melambangkan operasi pembagian. Kalau kamu nulis $1/3$, kamu lagi ngelakuin operasi hitung yang hasilnya adalah sebuah angka (pecahan atau desimal $0,33...$).

Tapi, garis lurus ($|$) melambangkan relasi keterbagian. Simbol $a|b$ dibaca "$a$ membagi habis $b$". Ini bukan sebuah hitungan, melainkan sebuah kalimat pertanyaan atau pernyataan yang jawabannya cuma dua: Benar atau Salah.

Nah, sekarang coba mainkan slider di atas buat lihat sendiri bedanya saat permen bisa dibagi rata dan saat ada sisa. Kalau permennya sisa, berarti pernyataannya bohong (Salah)!

Dari pernyataan di bawah ini, manakah yang bernilai BENAR?

  • A. 5|2
  • B. 3|10
  • C. 4|12
  • D. 6|16

Jawaban: C. 4|12

4|12 dibaca '4 membagi habis 12'. Karena 12 permen bisa dibagi rata ke 4 orang tanpa sisa (masing-masing dapat 3), maka pernyataan ini BENAR. Opsi lain akan menghasilkan sisa permen.

Simbol a|b berarti a membagi habis b (b adalah kelipatan dari a), yang bernilai Benar jika tidak ada sisa pembagian.

Kapan Sebuah 'Janji' Dianggap Bohong?

Di soal, kamu diminta mencari kapan pernyataan "Jika $a|b$ maka $a|(b+3)$" bernilai salah.

Kalimat yang pakai format "Jika ... maka ..." ini disebut pernyataan kondisional. Kamu bisa bayangin kalimat ini kayak sebuah janji bersyarat.

Biar gampang, bayangkan ibumu berjanji:

"Jika kamu nyapu lantai (Syarat), maka ibu kasih permen (Janji)."

Kapan ibumu bisa dibilang berbohong (pernyataannya bernilai Salah)?

Kembali ke matematika! Pernyataan "Jika $a|b$ maka $a|(b+3)$" hanya akan bernilai SALAH jika dan hanya jika:

  1. Syaratnya BENAR: $a$ memang membagi habis $b$

  2. TETAPI Kesimpulannya SALAH: $a$ ternyata tidak membagi habis $b+3$.

Ada janji: 'Jika hari hujan, maka saya bawa payung'. Tentukan apakah klaim kebenaran dari situasi berikut bernilai Benar atau Salah!

  • Hari tidak hujan, saya tidak bawa payung (Pernyataan Benar) — Benar
  • Hari hujan, saya tidak bawa payung (Pernyataan Benar) — Salah
  • Hari hujan, saya bawa payung (Pernyataan Benar) — Benar

Janji berbunyi 'Jika hujan, maka saya bawa payung'. Janji ini HANYA bohong (salah) kalau hari benar-benar Hujan (Syarat True), tapi saya TIDAK bawa payung (Janji False). Kalau tidak hujan, apa pun yang terjadi janjinya tidak dilanggar.

Pernyataan 'Jika P maka Q' hanya bernilai salah ketika P Benar (Syarat terpenuhi) namun Q Salah (Janji dilanggar).

Misi Detektif: Mencari Pematah Aturan

Sekarang kita tahu dua senjata utama kita:

  1. $a|b$ nanya apakah $b$ bisa dibagi habis sama $a$.

  2. Pernyataan soal cuma bakal salah kalau Syarat awal Berhasil, tapi Kesimpulannya Gagal.

Tugas kita sekarang jadi mirip detektif. Kita harus menginterogasi tiap opsi jawaban sebagai "tersangka" untuk mencari mana yang syaratnya terpenuhi, tapi janjinya dilanggar.

Mari kita interogasi Opsi A ($a=1$, $b=3$):

Sekarang kita interogasi pelakunya, yaitu Opsi E ($a=2$, $b=4$):

Coba kamu masukkan nilai dari Opsi D ($a=3, b=15$) ke dalam mesin detektif di atas. Apa hasilnya?

Berdasarkan simulasi Opsi D ($a=3, b=15$), apa status pernyataan tersebut?

  • A. Syaratnya Salah, jadi kita tidak peduli janjinya. Pernyataan bernilai Benar.
  • B. Syaratnya Benar, dan janjinya juga ditepati (Benar). Pernyataan bernilai Benar.
  • C. Syaratnya Benar, tapi janjinya gagal (Salah). Pernyataan bernilai Salah.

Jawaban: B. Syaratnya Benar, dan janjinya juga ditepati (Benar). Pernyataan bernilai Benar.

Langkah 1: Cek 3|15 (15 permen dibagi 3 orang = habis/BENAR). Langkah 2: Cek 3|(15+3) alias 3|18 (18 permen dibagi 3 orang = habis/BENAR). Karena Syarat Benar dan Janji Benar, maka pernyataan secara utuh bernilai BENAR. Bukan pembohong!

Opsi D memiliki syarat awal yang Benar (3 membagi habis 15) dan kesimpulan yang juga Benar (3 membagi habis 18), sehingga pernyataan utuhnya bernilai Benar.