04.05.2013 Views

04 Kalkulus Predikat - Andrian Rakhmatsyah

04 Kalkulus Predikat - Andrian Rakhmatsyah

04 Kalkulus Predikat - Andrian Rakhmatsyah

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!