You are on page 1of 1

(COM612305) KECERDASAN BUATAN

TUGAS-02
ALDO ADIGIA PRADIPTA | 1517051158
email : aldo.transylvania@gmail.com

PROGRAM STUDI S1 ILMU KOMPUTER


JURUSAN ILMU KOMPUTER

Universitas Lampung, Jln. Prof. Dr. Sumantri Brojonegoro No.1 35145, Indonesia

Question
Rubahlah Proposisi di bawah ini ke dalam bentuk “Predicate Calculus”.
1. Garfield adalah tokoh kartun.
2. Semua kucing adalah binatang.
3. Setiap orang menyukai seseorang.
4. Semua kucing menyukai atau membenci anjing.
5. Seseorang hanya mencoba melukai seseorang yang mereka tidak suka.
6. Garfield mencobai melukai anjing Rover.

Answer
Predicate Calculus
1. Tokoh kartun (Garfield)
2. X, [ Kucing (X) á Binatang (X) ]
3. (X),[ Orang (X) á Suka (X, Seseorang) ]
4. X, [ Kucing (X) á Menyukai (X, Anjing) ˅ Membenci (X, Anjing) ]
5. X, X, [ Seseorang (X) á Melukai (X, Y) ˄ ~Suka q (X,Y) ]
6. Melukai (Garfield, anjing Rover)

Aldo Adigia Pradipta, Ilmu Komputer, Universitas Lampung

You might also like