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.
Operator penghubung dasar
Tabel Kebenaran
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).
Predikat dan Argumen
• Argumen adalah individu atau objek yang membuat keterangan.
• Predikat adalah keterangan yang membuat argumen dan predikat.
• Dalam suatu kalimat, predikat bisa berupa kata kerja atau bagian kata kerja.
Tidak ada komentar:
Posting Komentar