04 Kalkulus Predikat - Andrian Rakhmatsyah
04 Kalkulus Predikat - Andrian Rakhmatsyah
04 Kalkulus Predikat - Andrian Rakhmatsyah
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Kalkulus</strong> <strong>Predikat</strong> – Aturan Semantik<br />
Misal sa A ada adalah a suatu ekspresi e sp es dan da I adalah ada a interpretasi te p etas untuk u tu A yang ya g meliputi e put<br />
domain tak kosong D. Maka nilai dibawah I ditentukan berdasarkan<br />
aturan semantik sebagai berikut :<br />
a. Nilai suatu konstanta a adalah elemen domain D<br />
b. Nilai l variabel b lx adalah d l helemen l ddomain<br />
D<br />
c. Nilai aplikasi f1(t1, t2, …, tn) adalah elemen domain D dimana f1(t1, t2, …,<br />
tn) f adalah fungsi yang diberikan kepada f dan t1, t2, …, tn adalah nilai<br />
term berdasarkan interpretasi I<br />
d. Nilai Term kondisional if A then s else t adalah nilai term s jika A bernilai<br />
e.<br />
TRUE dan sama dengan nilai term t jika A bernilai FALSE<br />
Nilai proposisi p p p p1(t1, ( t2, …, tn) ) adalah nilai kebenaran TRUE atau<br />
FALSE dimana p adalah relasi yang diberikan oleh interpretasi I dan nilai<br />
dari t1, t2, …, tn berdasarkan I.<br />
f. Aturan untuk penghubung logik (not, or, dsb) sama dengan aturan pada<br />
kalkulus proposisi<br />
35