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> – Aturan Semantik Untuk<br />
Kuantifier<br />
22. B : IF (FOR ALL x) (FOR SOME y) p(x, p(x y) THEN p(a, p(a f(a))<br />
Misal I adalah interpretasi untuk B yang meliputi domain bilangan real<br />
positif dimana:<br />
a = 1<br />
f : fungsi “akar dari” yaitu f1(d) = √d<br />
p : relasi l i “tid “tidak k sama dengan”, d ” yaitu it p1(d 1, d d2) ) = d 1 ≠ d d2 Misal diasumsikan bahwa B bernilai FALSE<br />
Maka harus diperhatikan bahwa :<br />
Antisenden : (FOR ALL x) (FOR SOME y) p(x, y) bernilai TRUE<br />
Konsekuen : p(a, f(a)) bernilai FALSE<br />
40