Logika Informatika Bab III


BAB III
TABEL KEBENARAN




  1. 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.

  1. 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
perangkai
simbol
dan
˄
atau
˅
Bukan
¬
jika...maka...
Jika dan hanya jika


  1. Konjungsi
Konjungsi adalah kata lain dari perangkai “dan” dengan tabel kebenaran sebagai berikut:
A
B
A˄B
F
F
F
F
T
F
T
F
F
T
T
T


  1. Disjungsi
Disjungsi adalah kata lain dari perangkai “atau” dengan tabel kebenaran sebagai berikut:
A
B
A˅B
F
F
F
F
T
T
T
F
T
T
T
T


  1. Negasi
negasi adalah kata lain dari perangkai “bukan” dengan tabel kebenaran sebagai berikut:
A
¬A
¬¬A
F
T
F
T
F
T




  1. Implikasi
Implikasi menggantikan perangkai jika...maka...
A
B
AB
F
F
T
F
T
T
T
F
F
T
T
T


  1. Ekuivalensi
Ekuivalensi dengan simbol menggantikan perangkai “jika dan hanya jika” dengan tabel kebenaran sebagai berikut:


A
B
AB
F
F
T
F
T
F
T
F
F
T
T
T


Komentar

Postingan populer dari blog ini

Face Detection menggunakan Haar Cascades