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.
K<strong>Kalkulus</strong> lk l P<strong>Predikat</strong>-Definisi dik t D fi i i Term T<br />
Term adalah sebuah ekspresi yang menyatakan objek.<br />
Term dibangun berdasarkan aturan-aturan sebagai berikut.<br />
Semua konstanta adalah term<br />
Semua variabel adalah term<br />
Jika t 1, t 2, …, t n adalah term (n ≥ 1) dan f adalah fungsi dengan arity = n,<br />
maka fungsi f(t 1,t 2, …, t n) adalah term<br />
Jika A adalah kalimat, sedang s dan t adalah term, maka kondisional if A<br />
then s else t adalah term<br />
8