 |
| Propositional Logic dan Predicate Calculus |
SUBSTANSI :
- Propositional Logic
- Predicate Calculus
- Quantifier
- Model-Model Inferensi
- Automated Reasoning
ISTILAH - ISTILAH KHUSUS YANG DIGUNAKAN:
- Aksioma : Aksioma adalah proposisi yang diasumsikan benar, aksioma tidak memerlukan pembuktian kebenaran lagi. Contoh : Untuk semua bilangan real x dan y, berlaku x + y = y + x (hukum komutatif penjumlahan).
- Proses Inferensi : adalah suatu proses yang digunakan dalam sistem pakar untuk menghasilkan suatu informasi baru yang diperoleh dari informasi yang telah diketahui sebelumnya. Dalam sistem pakar, proses inferensi dilakukan dalam suatu modul yang disebut Inference Engine.
- Propositional Connective (Penghubung Pernyataan) : adalah kata penghubung yang digunakan untuk mengkombinasikan dua atau lebih proposisi yang diperlukan. Contoh Notasi atau Simbol Propositional Connective adalah sebagai berikut :
| English Name | Connective Name | Symbol |
| Conjunction | AND | É… |
| Disjunction | OR | V |
| Negation | NOT | ~ |
| Material Implication | If-Then | → |
| Material Equivalence | Equals | ↔ |
Penjelasan lebih jauh, lebih matang dan lebih lengkap, silakan simak baik-baik materi presentasi dan modul di bawah ini;
MODUL UTAMA: