04 Kalkulus Predikat - Andrian Rakhmatsyah
04 Kalkulus Predikat - Andrian Rakhmatsyah
04 Kalkulus Predikat - Andrian Rakhmatsyah
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>Kalkulus</strong> <strong>Predikat</strong> – Interpretasi yang<br />
diperluas<br />
Misal I adalah suatu interpretasi p yyang gmencakup pdomain D maka untuk sembarang g<br />
variabel x dan elemen d pada domain D, interpretasi yang diperluas<br />
< x d > o I<br />
adalah interpretasi yang mencakup domain D dimana :<br />
Vribl Variabel x dibrik diberikan nilai ilielemen l pd pada ddomain i D<br />
1. Setiap variabel y (selain x) diberi nilai sama dengan elemen domain y 1 yaitu nilai<br />
berdasar interpretasi D. Jika y tidak memiliki nilai berdasar I maka y juga tidak<br />
memiliki nilai berdasar < x d > o I<br />
2. Setiap konstanta a, simbol fungsi f, dan simbol predikat p diberi nilai sesuai<br />
dengan nilai aslinya yaitu a I, f I, p I<br />
Sifat interpretasi yang diperluas<br />
Jika I adalah interpretasi untuk kalimat berbentuk<br />
(FOR ALL x) A dan (FOR SOME x) A,<br />
maka < x d > o I adalah interpretasi yang berlaku untuk A juga<br />
36