Soal :
1. Representasikan pengetahuan/ fakta berikut menggunakan logika proporsi dan predikat :
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
2. Buktikan bahwa karjo sudah mati / masih hidup saat ini. Gunakan penalaran backward!!
JAWABAN :
1.) Merepresentasikan pengetahuan / fakta dengan menggunakan logika proposisi dan predikat
1. Karjo adalah seorang laki-laki
Jawab : laki-laki ( Karjo)
2. Karjo adalah orang jawa
Jawab : orang jawa ( Karjo)
3. Karjo lahir tahun 1840
Jawab : lahir ( Karjo, tahun 1840)
4. Setiap laki-laki pasti akan mati
Jawab : "x : laki-laki (x) ® mati (x)
5. Semua orang jawa mati pada saat Krakatau meletus tahun 1883
Jawab : "x: orang jawa(x) L meletus (Krakatau, tahun 1883) ® mati (x)
6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
Jawab : "x: orang (x) L hidup ( >y) ® mati (x)
7. Sekarang tahun 2010
Jawab : tahun (2010, sekarang)
8. Mati berarti tidak hidup
Jawab : Ø hidup (x) ® mati (x)
9. 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:
Posting Komentar