Propositional Logic
• Propositional logic merupakan salah satu bentuk (bahasa) representasi logika yang paling tua danpaling sederhana.
• Dengan cara ini beberapa fakta dapat digambarkan dan dimanipulasi dengan menggunakan aturan-
aturan aljabar Boolean.
• Propositional logic membentuk statement sederhana atau statement yang kompleks dengan
menggunakan propositional connec-tive, dimana mekanisme ini menentukan kebenaran dari
sebuah statement kompleks dari nilai kebenaran yang direpresentasikan oleh statement lain
yang lebih sederhana.
Operator Penghubung
| English Name | Connective Name | Symbol |
| Conjunction | AND | ∧ |
| Disjunction | OR | ∨ |
| Negation | ∼ | ∼ |
| Material Implication | If-Then | → |
| Material equivalence | Equals | ↔ |
Tabel Kebenaran
| p | q | ∼ p | p ∧ q | p ∨ q | p → q | p ↔ q |
| T | T | F | T | T | T | T |
| T | F | F | F | T | F | F |
| F | T | T | F | T | T | F |
| F | F | T | F | F | T | T |