SOAL
1. Representasikan fakta berikut menggunakan logika predikat dan logika proposisi !
- Karjo adalah seorang laki-laki
- Karjo adalah orang jawa
- Karjo lahir tahun 1840
- Setiap laki-laki pasti akan mati
- Semua orang jawa mati pada saat krakatau meletus tahun 1883
- Setiap orang pasti mati setelah hidup lebih dari 150 tahun
- Sekarang tahun 2010
- Mati berarti tidak hidup
- Jika seseorang mati maka beberapa waktu kemudian dia pasti dinyatakan telah mati
2. Buktikan bahwa Karjo masih hidup atau mati saat ini !
JAWABAN :
1.) Merepresentasikan pengetahuan / fakta dengan menggunakan logika proposisi dan predikat
a. Karjo adalah seorang laki-laki
Jawab : laki-laki ( Karjo)
b. Karjo adalah orang jawa
Jawab : orang jawa ( Karjo)
c. Karjo lahir tahun 1840
Jawab : lahir ( Karjo, tahun 1840)
d. Setiap laki-laki pasti akan mati
Jawab : "x : laki-laki (x) –> mati (x)
e. Semua orang jawa mati pada saat Krakatau meletus tahun 1883
Jawab : "x: orang jawa(x) L meletus (Krakatau, tahun 1883) –> mati (x)
f. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
Jawab : "x: orang (x) L hidup ( >y) –> mati (x)
g. Sekarang tahun 2010
Jawab : tahun (2010, sekarang)
h. Mati berarti tidak hidup
Jawab : Ø hidup (x) –> mati (x)
i. Jika seseorang mati maka beberapa waktu kemudian dia pasti dinyatakan telah mati
Jawab : "x: orang(x) L waktu (y) –> mati(x)
2.) Membuktikan bahwa Karjo telah mati
- Karjo lahir tahun 1840
- Sekarang tahun 2010
- Setiap orang pasti mati setelah hidup lebih dari 150 tahun
Kesimpulan : Karjo telah mati pada tahun 2010 karena telah hidup lebih dari 150 tahun
Jawab : "x: tahun (y,x) L hidup (>z) –> mati(x)
- Karjo orang jawa
- Karjo lahir tahun 1840
- Setiap orang jawa mati pada saat Krakatau meletus tahun 1883
Kesimpulan : Karjo yang orang jawa pasti mati pada saat Krakatau meletus tahun 1883
Jawab : "x: orang jawa(x) L meletus (y,z) –> mati(x)
0 komentar: (+add yours?)
Posting Komentar