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>-Representasi Kalimat<br />
Sem Semuaa Ap Apel l bberwarna r r mmerah r h tterasa r mmanis i<br />
(FOR ALL x) (IF apel(x) AND merah(x) THEN manis(x))<br />
(FOR ALL x) ) (IF apel(x) l( ) THEN (IF merah(x) h( ) THEN manis(x))) i ( )))<br />
Tidak semua apel berwarna merah terasa manis<br />
NOT [(FOR ALL x) (IF apel(x) AND merah(x) THEN manis(x)) ]<br />
[NOT (FOR ALL x)] [NOT (IF apel(x) AND merah(x) THEN manis(x))]<br />
(FOR SOME x) (apel(x) AND merah(x) AND NOT manis(x))<br />
18