04.05.2013 Views

04 Kalkulus Predikat - Andrian Rakhmatsyah

04 Kalkulus Predikat - Andrian Rakhmatsyah

04 Kalkulus Predikat - Andrian Rakhmatsyah

SHOW MORE
SHOW LESS

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> - Representasi Kalimat<br />

Fr From m th the text t t above, b we can conclude l d :<br />

All Missiles are weapons<br />

∀y [IF Missiles(y) THEN Weapon(y)]<br />

Enemy y of America counts as “Hostile”<br />

∀x [IF Enemy(x, America) THEN Hostile(x)]<br />

25

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

Saved successfully!

Ooh no, something went wrong!