📊 Tabel Kebenaran
Bagaimana cara menentukan apakah suatu pernyataan benar atau salah ketika digabungkan dengan pernyataan lain?
Tabel Kebenaran (truth table) adalah alat yang membantu kita memahami hubungan logis antara nilai kebenaran dari beberapa proposisi.
Dengan tabel ini, kita bisa melihat bagaimana nilai kebenaran suatu proposisi majemuk ditentukan berdasarkan proposisi-proposisi penyusunnya.
🔎 Contoh Tabel Kebenaran
Berikut adalah contoh tabel kebenaran untuk tiga operasi logika dasar:
| P | Q | P ∧ Q | P ∨ Q | ¬P |
|---|---|---|---|---|
| T | T | T | T | F |
| T | F | F | T | F |
| F | T | F | T | T |
| F | F | F | F | T |
🧠 Penjelasan Setiap Kolom
-
Konjungsi (P ∧ Q):
- Hasil bernilai True jika kedua proposisi bernilai True.
- Jika salah satu atau kedua proposisi salah, maka hasilnya False.
-
Disjungsi (P ∨ Q):
- Hasil bernilai True jika salah satu atau keduanya bernilai True.
- Hanya False jika kedua proposisi salah.
-
Negasi (¬P):
- Ini adalah kebalikan dari nilai kebenaran proposisi P.
- Jika P bernilai True, maka ¬P bernilai False, dan sebaliknya.
📘 Manfaat Tabel Kebenaran
Dengan menggunakan tabel kebenaran, kita bisa lebih mudah untuk:
- Menganalisis dan menyimpulkan nilai kebenaran dari proposisi majemuk.
- Memahami bagaimana operasi logika seperti konjungsi, disjungsi, dan negasi bekerja.
- Membuktikan kesetaraan antar proposisi dalam bentuk logika formal.