Logika Informatika Bab III
BAB III
TABEL KEBENARAN
- Pendahuluan
Logika hanya
berhubungan dengan bentuk-bentuk logis dari argumen-argumen, serta
penarikan kesmpulan tentang validitas dari argumen tersebut. Logika
tidak mempermasalahkan arti sebenarnya dari pernyataan tersebut,
ataupun isi dari pernyataan.
Contoh 3-1.
Manusia mempunyai 2
mata
Badu seorang manusia
Maka Badu mempunyai
2 mata
Contoh 3-2.
Binatang mempunyai 2
mata
Manusia mempunyai 2
mata
Maka binatang sama
dengan manusia.
Sesekali perlu
diingat bahwa logika tidak mempermasalahkan arti atau isi suatu
pernyataan, tetapi hanya bentuk logika dari pernyataan itu. Logika
hanya menekankan bahwa premis-premis yang benar harus menghasilkan
kesimpulan yang benar (valid). Lagi pula, premis-premis yang benar
tidak mungkin menghasilkan kesimpulan yang salah, atau premis-premis
yang salah menghasilkan kesimpulan yang benar.
- Tabel Kebenaran
Tabel kebenaran
adalah suatu tabel yang menunjukan secara sistematis satu demi satu
nilai-nilai kebenaran sebagai hasil kombinasi dari
proposisi-proposisi yang sederhana. Penekanan logika pada penarikan
kesimpulan tentang validitas suatu argumen untuk mendapatkan
kebenaran yang bersifat abstrak, yang dibangun dengan memakai
kaidah-kaidah dasar logika tentang kebenaran dan ketidakbenaran yang
menggunakan perangkai logika.
Perangkai-perangkai
logika yang digunakan adalah
- perangkaisimboldan˄atau˅Bukan¬jika...maka...Jika dan hanya jika⟺
- Konjungsi
Konjungsi adalah
kata lain dari perangkai “dan” dengan tabel kebenaran sebagai
berikut:
- ABA˄BFFFFTFTFFTTT
- Disjungsi
Disjungsi adalah
kata lain dari perangkai “atau” dengan tabel kebenaran sebagai
berikut:
- ABA˅BFFFFTTTFTTTT
- Negasi
negasi adalah kata
lain dari perangkai “bukan” dengan tabel kebenaran sebagai
berikut:
- A¬A¬¬AFTFTFT
- Implikasi
Implikasi
menggantikan perangkai jika...maka...
- ABABFFTFTTTFFTTT
- Ekuivalensi
Ekuivalensi dengan
simbol ⟺
menggantikan perangkai “jika dan hanya jika” dengan tabel
kebenaran sebagai berikut:
- ABA⟺BFFTFTFTFFTTT
Komentar
Posting Komentar