1. George /is cooking / dinner / tonight
subject / verb phrase / complement / modifier of time
2. Henry and Marcia / have visited / the president
Subject / verb phrase / complement
3. We / eat / lunch / in this restaurant / today
subject / verb / complement / modifier of place/ modifier of time
4. Pat / should have bought / gasoline / yesterday
subject / verb phrase / complement / modifier of time
5. Trees / grow
subject / verb
6. It / was raining / at 7 o'clock this morning
subjec / verb phrase / modifier of time
7. She / opened / her book
subject / verb / complement
8. Harry / is washing / dishes / right now
subject / verb phrase / complement / modifier of time
9. She / opened / her book
subject / verb / complement
10. Paul, Willliam and Marry / were watching / television / a few minutes ago
subject / verb phrase / complement / modifier of time
A. Representasikan pengetahuan atau fakta berikut menggunakan logika preposisi dan predikat preposisi ¬ Hidup (Karjo, sekarang)
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) → pasti mati (x)
5. Semua orang Jawa mati pada saat Krakatau meletus tahun 1883
Jawab : ∀x : Orang Jawa(x) ∧ Meletus (Krakatau, 1883) → mati (x, 1883)]
6. Setiap orang pasti mati setelah hidup lebih dari 150 tahun
Jawab : ∀x : Orang(x) ∧ Hidup (y)→ mati(x)
7. Sekarang tahun 2010
Jawab : Sekarang = 2010
8. Mati berarti tidak hidup
Jawab : ¬ Hidup(x)→ mati(x)
9. Jika seseorang mati maka beberapa waktu kemudian ia pasti dinyatakan telah mati
Jawab : ∀x : Orang(x) ^ mati(y)→ mati(x)
B. Penalaran Backward (membuktikan apakah Karjo masih hidup atau sudah mati)
↑ (8, substitusi)
Mati (Karjo, sekarang)
↑ (9, substitusi)
Mati (Karjo, thn1) ∧ lebih dari (sekarang, thn1)
↑ (5, substitusi)
Jawa (Karjo) ∧ lebih dari (sekarang, 1883)
↑ (2)
Lebih dari (sekarang, 1883)
↑ (7, substitusi)
Lebih dari (2010, 1883)
↑ (menghitung lebih dari)
Nil
Dengan adanya nilai Nil berarti pembuktian telah sukses dilakukan dengan penalaran Backward
Kesimpulan : Karjo sudah mati saat ini
Langganan:
Postingan (Atom)
