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> - Kalimat Tertutup<br />
Sebuah kalimat dikatakan tertutup jika tidak mempunyai<br />
kemunculan bebas dari variabel-variabelnya<br />
Contoh :<br />
1. (FOR ALL x) (FOR SOME y) p(x, y)adalah kalimat tertutup<br />
2. (FOR ALL x) p(x, y) bukan merupakan kalimat tertutup<br />
28