Tabel Kebenaran

[Tautology, Absurdity,Formula
Campur]

Logika Informatika

Nila Feby Puspitasari

Fakultas Ilmu Komputer 1

 Definisi Tabel Kebenaran

• Tabel kebenaran (truth table) adalah salah satu

perangkat yang dapat digunakan untuk
menentukan nilai kebenaran proposisi majemuk
(Formula Proposisi).
• Jumlah baris tabel kebenaran tergantung dari
banyaknya proposisi tunggal (atom) yang
terdapat pada proposisi majemuk (Formula
Proposisi)
• Jika terdapat n proposisi tunggal pada proposisi
majemuk, maka jumlah baris tabel kebenaran
adalah 2n .

Fakultas Ilmu Komputer 2

Contoh- Tabel Kebenaran (Original)

Fakultas Ilmu Komputer 3

 Bagaimana Membangun Tabel Kebenaran

Satu tabel kebenaran dapat ditentukan dengan

mengambil setiap kombinasi yang mungkin daripada
nilai kebenaran daripada semua variabel yang terlibat
dan kemudian mengevaluasi efek daripada setiap
operator Sebagai contoh :

p q p ((p)  q)
((p)  q)
T T F T
T F F F
F T T T
F F T T

Fakultas Ilmu Komputer 4

 Contoh Evaluasi Tabel Kebenaran

Untuk bentuk yang lebih komplek adalah :

((p  q)  ((p)  (q)))
Urutan evaluasinya menjadi :
(  (p  q)  (( p)  ( q)))
3 1 2 1 4 2 1 3 2 1

F T T T T F T F F T
T T F F T F T T T F
T F F T T T F T F T
T F F F T T F T T F

Fakultas Ilmu Komputer 5

• Untuk formula dengan 3 variabel maka akan didapat
2^3 = 8 baris untuk 4 variabel didapat 2^4 = 16 baris.
Sebagai contoh : ((p  q)  ((p)  (r)))
( (p  q)  (( p)  ( r)))
3 1 2 1 4 2 1 3 2 1

F T T T T F T F F T
F T T T F F T T T F
T T F F F F T F F T
T T F F T F T T T F
T F F T T T F T F T
T F F T T T F T T F
T F F F T T F T F T
T F F F T T F T T F

Fakultas Ilmu Komputer 6

• ((p  q)  ((p)  (r)))
 (p  q)  ((p)  (r)))
3 1 2 1 4 2 1 3 2 1
F T T T T F T F F T
F T T T F F T T T F
T T F F F F T F F T
T T F F T F T T T F
T F F T T T F T F T
T F F T T T F T T F
T F F F T T F T F T
T F F F T T F T T F

Fakultas Ilmu Komputer 7

 Tabel Kebenaran Identik

Simbol =T berarti bahwa pada tabel kebenaran, dua formula

mempu
nyai nilai kebenaran yang sama (identik).

Contoh :
1) (pq) =T (p)(q) ; buatlah TK nya.
2) (pq) =T (p)(q) ; buatlah TK nya.
3) pq =T p  q ; buatlah TK nya.
4) pq =T (p  q)  (p  q) ; buatlah TK nya
5) p  (p  q) =T pq ; buatlah TK nya

Fakultas Ilmu Komputer 8

 Tautologi

• Sebarang formula yang selalu bernilai kebenaran T, tak

tergantung pada nilai kebenaran daripada variabel-
variabel proposisinya, disebut tautologi, dan dikatakan
sebagai tautologis atau valid.
• Suatu tautologi adalah suatu formula proposisional
yang mengambil nilai T untuk setiap interpretasi yang
mungkin. Semua entri dalam kolom pada tabel
kebenaran yang merupakan kolom nilai formula
tersebut bernilai kebenaran T.

Fakultas Ilmu Komputer 9

 Contoh Tautologi

Contoh : p  p adalah Tautologi

Jika p = T, maka p  p = T
Jika p = F, maka p  p = T

Untuk menyatakan bahwa suatu formula adalah suatu

tautologi/valid maka dituliskan dengan menggunakan
metasimbol ╞ , maka contoh diatas menjadi :
╞ (p  p)

Fakultas Ilmu Komputer 10

 Tabel Kebenaran Tautologi

Tabel dari kebenaran p  p adalah :

p p p  p
T F T
F T T

Fakultas Ilmu Komputer 11

Hubungan Simbol Identik dengan Tautologi

Perhatikan hubungan antara metasimbol = T dng ╞ yang dapat

dilihat pada contoh dibawah ini :
Menggunakan ╞ menggunakan =T

╞p  (p) p =T (p)
╞ (p  q)  (q  p) pq =T q  p
╞ (p  q)  (p)(q) (p  q) =T (p)  (q)
╞ ((p  q))  ((p)  (q)) ((p q)) =T (( p)  (q))

Baris pertama kiri dibaca : p  (p) adl suatu tautologi, kanan :

Formula p mempunyai tabel kebenaran sm-dng formula (p)

Fakultas Ilmu Komputer 12

 Absurditi/Kontradiksi

Contoh : (p  p) dan (p  p) adalah

absurditi/kontradiksi
Jika p = T, maka (p  p) = F
Jika p = F, maka (p  p) = F

Perhatikan bahwa suatu formula proposisional P yg adalah suatu

absurditi, maka formula P adalah suatu Tautologi, begitu pula
sebaliknya. Jika sebarang formula P adalah suatu absurditi, maka
ditulis :

╞ P

Fakultas Ilmu Komputer 13

 Tabel Kebenaran Absurditi

Tabel dari kebenaran  (p  p) adalah :

Fakultas Ilmu Komputer 14

 Formula Campur

Sebarang formula yang, tergantung pada nilai kebenaran

dp variabel-variabelnya, dapat bernilai baik nilai T
maupun nilai F dise but suatu formula campur, atau ada
yang menyebut contingent.
((p)  q) p q p ((p)  q)

T T F T
T F F F
F T T T
F F T T

Fakultas Ilmu Komputer 15

 Contoh Tautologi, Absurditi, Formula campur

Tentukan yang mana yang tautologi, absurditi atau

formula campur :
a) p  (q  p)
b) p  (p  (q  p)
c) p  (p  (q  p))

Fakultas Ilmu Komputer 16

 Tabel Kebenaran
[Tautologi, Absurditi, Formula Campur]

p  ( q  p) p  ( p  (q   p
1 4 2 1 3 1 1 5 2 1 4 1 3 2 1
T T F T T T T F F T F T F F T
T T T F T T T F F T F F F F T
F F F T T F F F T F T T T T F
F T T F F F F F T F T F F T F

 p  ( p  (q   p
2 1 5 2 1 4 1 3 2 1
F T T F T F T F F T
F T T F T F F T F T
T F T T F T T T T F
T F T T F T F T T F

Fakultas Ilmu Komputer 17