Propositional Logic dan Predicate Calculus


Propositional logic merupakan salah satu bentuk (bahasa) representasi logika yang paling tua dan paling sederhana.
Dengan cara ini beberapa fakta dapat digambarkan dan dimanipulasi dengan menggunakan aturan-aturan aljabar Boolean.

Predicate Calculus

Logika predikat memberi tambahan kemampuan untuk merepresentasikan pengetahuan dengan lebih cermat dan rinci.
Suatu proposisi atau premis dibagi menjadi dua bagian, yaitu ARGUMEN (atau objek) dan PREDIKAT (keterangan).

download disini Selengkapnya...