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 |