Tugas PKB-1

Represantasikan pengetahuan dari pernyataan-pernyataan berikut menggunakan logika proposisi & predikat:

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

Logika Predikat dan Logika Proposisi :
1. Laki-Laki(Karjo)
2. OrangJawa(Karjo)
3. lahir (Karjo, 1840)
4. ∀x : laki-laki (x) –> mati (x)
5. ∀x : meletus(krakatau,thn 1840)→ mati(orabg jawa,x)
6. ∀x : lb (thn 2010-tahun 1840) -> mati(x)
7. sekarang = 2010
8. mati → ¬hidup
9. Ǝ x : mati(x) → Ǝ y : kemudian (waktu(y)) → dinyatakan (mati(x))

Pada operasi logika ini, ambil sedikitnya 2 argumen untuk dioperasikan.
Ambil 2 argumen, yaitu nomor 1 dan 4:
- laki-laki(Karjo)
- laki-laki(x) → pasti mati(x)

---------------------------------------------------------------------
:. pasti mati(x)
- Dimana x adalah karjo
Ambil 2 argumen yaitu :
- jawa(Karjo)
- [jawa(x) → mati(x, 1883)]

----------------------------------------------------------------------
:. mati(x, 1883)]
- Dimana x adalah karjo dan argument-argumen lainnya.
Dari beberapa operasi yang dilakukan, Kesimpulannya adalah:
Karjo sudah mati

Nama : Nicodemus Indra
NPM : 50406521
Kelas : 4ia04