Tugas Minggu Pertama Pengantar Kecerdasan Buatan

1. Pernyataan :
   
   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 seor ang mati

Jawab:

         1. Laki-laki(karjo)

         2. Jawa(Karjo)

         3. Lahir(Karjo, 1840)

         4. ∀x: laki – laki(x) →mati(x)

         5. ∀x: meletus(krakatau,thn 1840)→mati

         6. ∀x: Lb(thn 2010-1840)→mati(x)

         7. sekarang = 2010

        8. mati→ ¬hidup

        9. Ǝ x : mati ( x ) → Ǝ x : kemudian ( waktu ( y ) ) → di nyatakan (mati (x) )

Kesimpulan:

Karjo sudah mati