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>-Definisi Kalimat<br />
Contoh :<br />
1. if (for all x) p(a, b, x) then g (y) else f(a, y) adalah term,<br />
karena<br />
a dan b adalah simbol konstanta,<br />
x dan y adalah simbol variabel,<br />
f dan g adalah simbol fungsi fungsi, dan<br />
Semua konstanta, variabel dan fungsi adalah term.<br />
p adalah simbol predikat.<br />
(f (for all ll x) ) p(a, ( b, b x) ) adalah d l h kalimat, k li g (y) ( ) dan d f(a, f( y) ) adalah d l h term,<br />
maka kondisional if (for all x) p(a, b, x) then g (y) else f(a, y) adalah<br />
term<br />
12