download

Materi Pendukung T0264P03_3
PEMBUKTIAN DENGAN
METODA RESOLUSI
Pernyataan-pernyataan :
1.
2.
3.
4.
Selly suka semua jenis makanan
Karedok adalah makanan
Pecel adalah makanan
Segala sesuatu yang dimakan oleh
manusia dan manusia tidak mati
karenanya, dinammakan makanan
5. Chandra adalah seorang laki-laki
6. Chandra makan sate dan dia masih hidup
7. Viola makan apa saja yang dimakan oleh
Chandra
Dalam Predicate Logic
1.
2.
3.
4.
x: makanan(x)  suka(Selly)
makanan(karedok)
makanan(pecel
x:y: manusia(y)  makan(y,x)  mati(y) 
makanan(x)
5. Laki_2(Chandra)
6. Makan(Chandra,sate)  hidup(Chandra)
dipecah menjadi : a. makan(Chandra,sate)
b. hidup(Chandra)
7. x : makan(Chandra,x)  makan(Viola,x)
Penyataan-pernyataan dalam KLAUSA :
1.
2.
3.
4.
5.
6.
7.
8.
9.
makanan(x1) v Selly(Ita,x1)
Makanan(karedok)
Makanan(pecel)
manusia(x2) v makan(x2,y1) v mati(x2) v
makanan(x2)
Laki_2(Chandra)
a. maka(Chandra,jeruk)
b. hidup(Chandra)
maka(Chandra,x3) v maka(Viola,x3)
laki_2(x4) v manusia(x4)
a. hidup(x5) v mati(x4)
b. mati(x5) v hidup(x5)
suka(Selly,sate)
1
sate/x1
makanan(sate)
4
sate/y1
6a
manusia(x2) v makan(x2,sate) v mati(x2)
Chandra/x2
manusia(Chandra) v mati(Chandra)
8
Chandra/x4
laki_2(Chandra) v mati(Chandra)
5
9a
Mati(Chandra)
Chandra/x45
hidup(Chandra)
6b
null