Anda di halaman 1dari 2

1 ubahlah kalimat di bawah ini menjadi bentuk FOL

- Ani adalah cucu dari kakek Dian

- Paman dan bibi adalah saudara kandung ibu

- Tanaman padi itu terlihat hijau

2. representasikan permainan "Wumpus World" dengan menggunakan first order logic

3. Dika adalah adik bungsu dari Dede. Dede menikah dengan astuti,

dan dari pernikahan mereka lahir anak perempuan bernama Anin.

Anin hendak menikah dengan Dika. Buktikan bahwa pernikahan Anin dan Dika tidak sah,

dengan representasi first order logic!

jawab

1.

- Ani=cucu(Kakek,Dian)

- saudaraKandung(Paman,Ibu), saudaraKandung(Bibi,Ibu)

- hijau(padi)

2. FOL
3.

Anda mungkin juga menyukai