Search form

Belatung yang ramah

Ini adalah soal logika matematika, mengenai pengenalan simbol notasi logika matematika dan nilai kebenaran. Silahkan coba mengerjakannya.

Dalam sebuah hutan tinggallah beberapa binatang, yaitu seekor singa, seekor badak, seekor kerbau, seekor kuda, seekor jerapah, tiga ekor kelinci, dan seekor belatung (larva lalat). Belatung adalah hewan yang sangat ramah.

Pagi ini belatung bangun, menggosok giginya dengan riang sambil bersiul-siul, dan segera berangkat. Ia bertemu dengan singa, kemudian menyapa, “Selamat pagi Pak Singa.” Tetapi singa memandangnya dengan tatapan jijik dan tidak senang, kemudian menghindar jauh-jauh. Belatung terkejut sejenak, tetapi tetap melanjutkan perjalanannya. Ia bertemu dengan jerapah, dan menyapanya. Tetapi jerapah bereaksi sama seperti singa. Demikian juga dengan kuda, kerbau, dan badak, yaitu hewan yang ia temui dan ia sapa sepanjang perjalanannya. Belatung merasa sedih karena di hutan tersebut ia tidak menemukan binatang yang menyukainya.

Jika B adalah himpunan binatang yang ada di hutan tersebut, kemudian terdapat kalimat-kalimat terbuka berikut:

  • s (x) = “x disapa oleh belatung.”
  • m (x) = “x menghindari belatung.”
  • n (x) = “x senang disapa belatung.”
  • r (x) = “x ramah.”
  • b (x, y) = “Banyaknya x dalam hutan tersebut adalah y.”

Sekarang, tuliskanlah kalimat-kalimat berikut dalam notasi logika, kemudian tentukan benar salahnya.

  1. Belatung tidak ramah.
  2. Singa tidak menghindari belatung.
  3. Jerapah disapa belatung tetapi jerapah menghindarinya.
  4. Semua binatang di hutan itu senang disapa oleh belatung.
  5. Kalau belatung ramah, maka semua binatang di hutan akan senang disapa olehnya.
  6. Semua binatang hutan disapa oleh belatung, tetapi tidak semua senang.

Nah, di bawah ini terdapat kalimat-kalimat dalam bentuk simbolik. Silahkan kamu terjemahkan menjadi kalimat dalam bahasa Indonesia, kemudian tentukan benar salahnya.

  1. m(singa)

  2. b(kelinci, 3) ∧ b(belatung, 3)

  3. xB: s(x)

  4. r(belatung) → ∃ xB: s(x)

  5. xB: [x ≠ kelinci → b(x, 1)]

Sekarang, tentukan himpunan penyelesaian dari kalimat-kalimat terbuka berikut.

  1. xB

  2. xB ∧ m(x)

  3. xB ∨ s(x)

Sekarang jawablah pertanyaan-pertanyaan berikut ini.

  1. Buatlah tabel kebenaran dari pernyataan "Belatung senang bangun pagi dan menyapa teman-temannya, tetapi jika ia sedang malas ia tidak senang bangun pagi."
  2. Apakah pernyataan Jika belatung senang maka ia akan bersiul memiliki arti yang sama dengan Jika belatung tidak bersiul berarti ia tidak senang?

  3. Tuliskan pernyataan lain yang sama artinya dengan Tidak semua belatung menjijikkan.

Beri tanggapan