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> – Arti Kalimat<br />
Arti kalimat ditentukan oleh interpretasi yang diberikan. diberikan<br />
Tetapi karena dalam kalkulus predikat mengandung<br />
pengertian objek, maka interpretasi dalam kalimat<br />
predikat harus juga mendefinisikan suatu domain yaitu<br />
himpunan objek yang memberi arti pada term.<br />
Suatu interpretasi harus memberi nilai pada setiap<br />
simbol bebas pada kalimat tersebut.<br />
31