NAMA : OKA
KELAS : 4IA04
NPM : 50406846

JAWABAN SOAL Peng. Kecerdasan Buatan:

1.)

1. Laki-laki ( karjo )
2. Jawa ( karjo )
3. Lahir ( karjo, 1840 )
4. ᵾ x : laki-laki ( x ) → mati ( x)
5. ᵾ x : meletus ( krakatau, tahun 1883 ) → mati ( orang jawa, x )
6. ᵾ x : Lb ( tahun 2010 – 1840 ) → mati ( x )
7. sekarang = 2010
8. mati → ┐ hidup
9. Ǝ x : mati ( x ) → Ǝ x : kemudian ( waktu ( y ) ) → di nyatakan (mati (x) )

2.) kesimpulan : karjo sudah mati