Professional Documents
Culture Documents
TUGAS-02
ALDO ADIGIA PRADIPTA | 1517051158
email : aldo.transylvania@gmail.com
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)