Gamal Abdur Rashid I 50406305 I 4IA04
A. Refresentasikan Pengetahuan dari pernyataan – pernyataan berikut menggunakan logika preposisi 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
B. Buktikan bahwa Karjo masih hidup atau mati saat ini !
Jawab :
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: Lb(thn 2010-1840)→mati(x)
7.sekarang ≡ 2010
8.mati→ ¬hidup
9.∀x : ∀tahun1 : ∀tahun2 : mati(x, tahun1) ∧ lebihdari(tahun2 – tahun1) → mati(x, tahun2)
B.
Pada operasi logika ini, ambil sedikitnya 2 argumen untuk dioperasikan.
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.
Kesimpulan: Karjo sudah mati
A. Refresentasikan Pengetahuan dari pernyataan – pernyataan berikut menggunakan logika preposisi 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
B. Buktikan bahwa Karjo masih hidup atau mati saat ini !
Jawab :
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: Lb(thn 2010-1840)→mati(x)
7.sekarang ≡ 2010
8.mati→ ¬hidup
9.∀x : ∀tahun1 : ∀tahun2 : mati(x, tahun1) ∧ lebihdari(tahun2 – tahun1) → mati(x, tahun2)
B.
Pada operasi logika ini, ambil sedikitnya 2 argumen untuk dioperasikan.
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.
Kesimpulan: Karjo sudah mati
