Cara Membuat Tabel Kebenaran

dalam Logika Matematika

Cara membuat tabel kebenaran perlu diketahui untuk melihat nilai
kebenaran pada suatu premis ataupun pernyataan. Nilai kebenaran
dari sebuah pernyataan adalah klasifikasi apakah pernyataan
tersebut benar atau salah, yang kemudian dinotasikan sebagai B
atau S.
Fungsi lain dari membuat tabel kebenaran juga untuk
memberitahukan argumen yang valid dan tidak valid. Bagi yang
ingin mengetahui cara membuat tabel kebenaran, ikuti langkah-
langkahnya di bawah ini.
Cara Membuat Tabel Kebenaran
1. Isilah kolom pertama dengan huruf B sebanyak 2^n-1 (dibaca dua
pangkat n minus 1), mulai dari baris pertama berurut ke bawah.
Kemudian, diikuti dengan huruf S sebanyak 2^n-1 berturut-turut
pula ke bawah.
2. Isilah kolom kedua mulai dari baris pertama dengan huruf B
sebanyak 2^n-2 berturut-turut, diikuti dengan huruf S sebanyak
2^n-1 pula. Untuk baris setelahnya yang masih kosong diisi dengan
pola huruf B dan S yang telah ada sebelumnya, sampai semua baris
terisi.
3. Isilah kolom ketiga mulai baris pertama dengan huruf B sebanyak
2^n-3, dilanjutkan dengan huruf S sebanyak 2^n-3 pula. Demikian
seterusnya untuk baris-baris setelahnya, diisi sama dengan pola B
dan S yang telah ada sebelumnya.
Langkah di atas terus dilakukan sampai semua kolom pernyataan
tunggal terisi. Setelah itu, lakukan pengisian kolom-kolom
pernyataan majemuk.

Pernyataan majemuk tersebut dibagi menjadi empat, yakni

konjungsi, disjungsi, implikasi, dan biimplikasi.
Konjungsi (∧)
Konjungsi adalah pernyataan majemuk yang menggunakan kata
hubung "dan”. Bentuk notasinya adalah “p ∧ q” yang dibaca “p dan
q”. Berikut bentuk tabel nilai kebenaran konjungsi:

erbesar

Keterangan:
p = pernyataan 1
q = pernyataan 2
p ^ q = p dan q
B = benar
S = salah
Disjungsi (∨)
Disjungsi adalah pernyataan majemuk yang menggunakan kata
hubung “atau”. Bentuk notasinya adalah “p ∨ q” yang kemudian
dibaca “p atau q”. Berikut bentuk tabel nilai kebenaran disjungsi.

Keterangan:
p = pernyataan 1
q = pernyataan 2
p ∨ q = p atau q
B = benar
S = salah
Implikasi (⇒)
Implikasi adalah pernyataan majemuk yang menggunakan kata
hubung “jika… maka…”. Sehingga, bentuk notasinya adalah “p ⇒ q”
yang kemudian dibaca “Jika p, maka q”. Ada pun bentuk tabel nilai
kebenaran dari implikasi, yakni sebagai berikut.

Keterangan:
p = pernyataan 1
q = pernyataan 2
p ⇒ q = jika p, maka q
B = benar
S = salah
Biimplikasi (⇔)
Biimplikasi adalah pernyataan majemuk yang menggunakan kata
hubung “… jika dan hanya jika …”. Sehingga, bentuk notasinya
adalah “p ⇔ q” yang kemudian dibaca “p jika dan hanya jika q”. Ada
pun bentuk tabel nilai kebenaran dari biimplikasi, yaitu sebagai
berikut.

Keterangan:
p = pernyataan 1
q = pernyataan 2
p ⇔ q = p jika dan hanya jika q
B = benar
S = salah
 Contoh 1 – Melengkapi Tabel Kebenaran untuk 2 Proposisi Tunggal

Buatlah tabel kebenaran dari ekspresi logika: p → q ↔ p ∧ ~q

Pertama, pisahkan satu persatu proposisi majemuk berdasarkan operator

logika. Hasil untuk contoh soal di atas adalah sebagai berikut.

 p→q
 p ∧ ~q
 p → q ↔ p ∧ ~q

Kolom yang dibutuhkan untuk membuat tabel kebenaran pada ekspresi logika
di atas meliputi kolom p, q, ~q, p → q, p ∧ ~q, dan p → q ↔ p ∧ ~q (ada 6
kolom). Banyaknya proposi tunggal ada 2 sehingga banyaknya kombinasi nilai
kebenaran ada sebanyak 22 = 4. Jadi, banyak baris yang dibutuhkan adalah 4
baris + 1 kolom untuk ekspresi logika.

Bentuk kolom tersebut menjadi seperti yang terlihat di bawah.

Selanjutnya sobat idschool perlu melengkapi kolom tabel kebenaran satu

persatu. Mulai dari kolom paling kiri.

1. Negasi q atau ~q mempunyai nilai kebenaran yang berkebalikan dengan nilai

kebenaran q. Untuk melengkapi nilai kebenaran pada kolom ~q, sobat
idschool hanya perlu memperhatikan kolom q. Hasil nilai kebenaran untuk
mengisi kolom ~q berturut – turut adalah S, B, S, B.

2. Implikasi akan bernilai salah jika anteseden (p) bernilai benar dan konsekuen
(q) bernilai salah, selain itu nilaninya benar. Untuk melengkapi nilai kebenaran
pada kolom ini perlu memperhatikan dua kolom, p dan q. Nilai kebenaran
untuk mengisi kolom p → beruturut – turut adalah B, S, B, B

3. Berikutnya melengkapi nilai kebenaran pada kolom p ∧ ~q. Konjungsi hanya

akan bernilai benar jika kedua pernyataan bernilai benar. Untuk melengkapi
 kolom ini, perhatikan kolom p dan ~q. Hasil nilai kebenaran untuk kolom p ∧
~q berturut – turut adalah S, B, S, S.

4. Langkah terakhir adalah melengkapi kolom untuk ekspresi logika p → q ↔ p ∧

~q. Suatu biimplikasi (↔) hanya akan bernilai benar jika anteseden dan
konsekuen memiliki nilai kebenaran yang sama. Untuk melengkapi kolom p →
q ↔ p ∧ ~q perlu meperhatikan dua kolom yaitu p → q dan p ∧ ~q. Hasil nilai
kebenaran untuk biimplikasi p → q dan p ∧ ~q berturut – turut adalah S, S, S,
S.

Sampai di sini, sobat idschool sudah menyelesaikan cara melengkapi tabel

kebenaran dalam logika matematika. Hasil pada langkah – langkah di atas
dapat terlihat jelas seperti pada cara melengkapi tabel kebenaran berikut.

Contoh 2 – Melengkapi Tabel Kebenaran untuk 3 Proposisi Tunggal

Buatlah tabel kebenaran untuk ekspresi logika: [(p→q) ∧ (~q ∨ r)] → (p→r)

Banyaknya proposi tunggal ada 3 sehingga banyaknya kombinasi nilai

kebenaran ada sebanyak 23 = 8. Jadi, banyak baris yang dibutuhkan adalah 8
baris + 1 kolom untuk ekspresi logika.

Kolom yang dibutuhkan untuk membuat tabel kebenaran pada ekspresi logika
di atas meliputi kolom p, q, r, (p→q), (~q ∨ r), p→r, (p→q) ∧ (~q ∨ r), dan
[(p→q) ∧ (~q ∨ r)]→(p→r). Banyaknya kolom yang dibutuhkan adalah
sebanyak 8 kolom.

Bentuk tabel kebenaran yang dibutuhkan untuk ekspresi logika pada contoh
dapat terlihat seperti berikut.
Selanjutnya hanya perlu mengisi tabel kebenaran yang kosong tersebut
sesuai aturan pada operator logika matematika. Dengan mengikuti langkah
seperti cara melengkapi tabel kebenaran pada contoh sebelumnya akan
tersisi semua nilai kebenaran untuk tabel di atas.

Hasil dari cara melengkapi tabel kebenaran dalam logika matematika untuk
tabel kebenaran dengan ekspresi logika [(p→q) ∧ (~q ∨ r)]→(p→r) sesuai
dengan tabel di bawah.
Tugas 1.
Silahkan lengkapilah tabel kebenaran di bawah ini sesuai dengan pernyataan majemuk pada tabel.
Di kumpulkan paling lambat hari jum’at tanggal 22-09-2023.

p q r ~p p v r ~p v q pr (~p v r)  (~p v q) [(~p v r)  (~p v q)] v ~p q  ((~p v r)  (~p v q)) v ~p)

B B B
B B S
B S B
B S S
S B B
S B S
S S B
S S S