04 Kalkulus Predikat - Andrian Rakhmatsyah
04 Kalkulus Predikat - Andrian Rakhmatsyah
04 Kalkulus Predikat - Andrian Rakhmatsyah
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Kalkulus</strong> <strong>Predikat</strong> – Arti Kalimat<br />
Misalkan ada kalimat tertutup p :<br />
A : IF (FOR ALL x) (FOR SOME y) p(x, y) THEN p(a, f(a))<br />
Interpretasi untuk kalimat A harus<br />
Mendefinisikan Domain<br />
Memberikan nilai untuk simbol bebas dalam hal ini :<br />
Konstanta a, Simbol fungsi f, Simbol p<br />
Contoh :<br />
1. Diberikan interpretasi I dengan Domain D adalah himpunan bilangan integer<br />
positif, dimana :<br />
a = 0<br />
p = relasi l i “l “lebih bih besar” b ” yaitu it : p(d1, (d1 d2) = (d1 > d2)<br />
f = fungsi suksesor yaitu f(d) = d + 1<br />
berdasarkan interpretasi I, kalimat tersebut dapat diartikan sebagai :<br />
IF F untuk u tu setiap set ap integer tege x Ada da integer tege y sedemikian sede a sehingga se gga x > y THEN 0 > 0<br />
+ 1<br />
32
Change language