Contoh Soal PKB

A. Representasikan fakta berikut menggunakan logika predikat dan logika proposisi !

1. Karjo adalah seorang laki-laki
2. Karjo adalah orang jawa
3. Karjo lahir tahun 1840
4. Setiap laki-laki pasti akan mati
5. Semua orang jawa mati pada saat krakatau meletus tahun 1883
6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
7. Sekarang tahun 2010
8. Mati berarti tidak hidup
9. Jika seseorang mati maka beberapa waktu kemudian dia pasti dinyatakan telah mati

B. Buktikan bahwa Karjo masih hidup atau mati saat ini !

dan jawabannya adalah……..:

A.

1. laki-laki(Karjo)
2. jawa(Karjo)
3. lahir(Karjo,1840)
4. ∀x : laki-laki(x) → pastimati(x)
5. meletus(Krakatau, 1883) ∧ ∀x : [jawa(x) → mati(x, 1883)]
dapat dipecah menjadi 2 :
5.a. meletus(Krakatau, 1883)
5.b. ∀x : [jawa(x) → mati(x, 1883)]
6. ∀x : ∀tahun1 : ∀tahun2 : pastimati(x) ∧ lahir(x, tahun1) ∧ lahir(x, tahun2) ∧ lebihdari(tahun2 – tahun1, 150) → mati(x, tahun2)
7. sekarang ≡ 2010
8. ∀x : ∀y : [mati(x,y) → ¬hidup(x,y) ] ∧ [¬hidup(x,y) → mati(x,y)]
9. ∀x : ∀tahun1 : ∀tahun2 : mati(x, tahun1) ∧ lebihdari(tahun2 – tahun1) → mati(x, tahun2)

B.

Pada soal nomor B, kita bisa menggunakan sedikit logika berfikir dan operasi logika sederhana (karena persoalan ini termasuk persoalan sederhana). Pada operasi logika ini, ambil sedikitnya 2 argumen untuk dioperasikan.

Untuk mudahnya, akan saya langsung jabarkan salah satu cara sederhana dengan menggunakan operasi logika:

  • Ambil 2 argumen, yaitu nomor 1 dan 4:

– laki-laki(Karjo)

– laki-laki(x) → pastimati(x)

__________________________

:.      pastimati(x)

-Dimana x disitu adalah si karjo-

  • Ambil 2 argumen yaitu :

– jawa(Karjo)

– [jawa(x) → mati(x, 1883)]

__________________________

:.     mati(x, 1883)]

-Dimana x disitu adalah si karjo-

Dan argument-argumen lainnya.

Dari beberapa operasi yang dilakukan, hasilnya akan menjurus pada satu kesimpulan yaitu si Karjo mati.

Untuk lebih jelas, meyakinkan, dan cara yang lebih terstruktur, kita dapat menggunakan method backward sebagai operasi secara keseluruhan, yaitu sebagai berikut:

¬hidup (Karjo, sekarang)
↑ (8, subtitusi)
mati(Karjo, sekarang)
↑ (9, subtitusi)
mati(Karjo, tahun1) ∧ lebihdari(sekarang, tahun1)
↑ (5b, subtitusi)
jawa(Karjo) ∧ lebihdari(sekarang, 1883)
↑ (2)
lebihdari(sekarang, 1883)
↑ (7, subtitusi)
lebihdari(2010, 1883)
↑ (menghitung lebihdari)
Nil

kesimpulan : Karjo sudah mati.

Terima kasih.

  1. wah thx bnget ni,,di ksih pencerahan tuk jwbn PKB ya

      • ariangelo
      • March 18th, 2010

      oke.. oke.. namanya juga kita sharing ilmu…
      semoga bermanfaat buat semua..

    • bubur
    • March 18th, 2010

    numpang nyampah y

      • ariangelo
      • March 18th, 2010

      oke oke…
      slow, master jaringan…

  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: