TAUTOLOGI, KONTRADIKSI & CONTINGENT

TAUTOLOGI

Adalah suatu ekspresi logika yang selalu bernilai benar di dalam tabel kebenarannya, tanpa
memperdulikan nilai kebenaran dari proposisi-proposisi yang berada didalamnya.

Example :

1. Lihat ekspresi logika dari suatu pernyataan berikut :

(A ^ B)→(C v (¬B→¬C))

Buatlah Tabel Kebenarannya

C v (¬B→¬C)

(A ^ B) → (C v (¬B → ¬C))

A B C ¬B ¬C A^B ¬B→¬C
F F F T T F T T T
F F T T F F F T T
F T F F T F T T T
F T T F F F T T T
T F F T T F T T T
T F T T F F F T T
T T F F T T T T T
T T T F F T T T T

Jadi ekspresi logika diatas adalah tautology karena pada table kebenarannya semua pasangannya
menghasilkan nilai T.

2. Buktikan : ¬(A ^ B ) v B adalah tautologi ?

Bukti : Buat Tabel Kebenarannya seperti berikut :

A B A^B ¬(A ^ B) ¬(A ^ B) v B

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

Jadi, ekspresi diatas juga Tautologi

Agustin, M. Kom
 3. Jika Tono pergi kuliah, maka Tini juga pergi kuliah. Jika siska tidur, maka Tini pergi
kuliah. Dengan demikian, jika Tono pergi kuliah atau Siska tidur, maka Tini pergi kuliah.

Jawab :

Diubah ke variabel proposisional :

A = Tono pergi kuliah
B = Tini pergi kuliah
C = Siska tidur

Diubah menjadi ekspresi logika yang terdiri dari premis-premis dan kesimpulan. Ekspresi
logika 1 dan 2 adalah premis-premis, sedangkan logika 3 adalah kesimpulan.
1. A → B (premis)
2. C → B (premis)
3. (A v C)→B (kesimpulan)

Selanjutnya, dapat ditulis berikut :

((A → B) ^ (C → B)) → ((A v C) → B)

Setelah itu, buatlah tabel kebenarannya dari ekspresi logika tersebut :

((A → B) ^ (C → B)) → ((A v C) → B)

A B C A→B C→B (A→B)^(C→B) AvC (AvC)→B

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

Jadi, jika table kebenaran menunjukkan hasil tautology, maka argument tersebut valid.

KONTRADIKSI

Agustin, M. Kom
 Adalah Suatu ekspresi logika yang selalu bernilai salah di dalam tabel kebenarannya,
tanpa memperdulikan nilai kebenarannya dari proposisi-proposisi yang berada di
dalamnya.

Example :

Lihat ekspresi logika dari suatu pernyataan berikut :

((A v B) ^ ¬A) ^ ¬B

Buatlah Tabel Kebenarannya :

((A v B) ^ ¬A) ^ ¬B

A B ¬A ¬B (A v B) ((A v B) ^ ¬A)
F F T T F F
F T T F T T
T F F T T F
T T F F T F

Jadi, ekspresi logika di atas terjadi kontradiksi.

CONTINGENT

Adalah Suatu ekspresi logika yang mempunyai nilai benar dan salah di dalam tabel
kebenarannya, tanpa mempedulikan nilai kebenaran dari proposisi-proposisi yang berada
di dalamnya.

Example :
Agustin, M. Kom
 Lihat ekspresi logika dari suatu pernyataan berikut :

((A ^ B) → C) → A

Buatlah tabel kebenarannya :

A B
F F
F F
F T
F T
T F
T F
T T
T T
C A^B (A ^ B) → C
F F T F
T F T F
F F T F
T F T F
F F T T
T F T T
F T F T
T T T T

2. ((A → B) ^ (¬B → C)) → (¬C → A)

Tabel Kebenarannya ;

((A → B) ^ (¬B → C))

((A → B) ^ (¬B →C)) → (¬C → A)

A B C ¬B ¬C A→B ¬B→C ¬C→A

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

Nilai-nilai kebenaran pada nilai kebenaran sebagai hasil akhir di tabel kebenaran tidak
harus selalu berurutan antara F dan T, yang penting ada T dan ada F.

LATIHAN
Soal 1.
Agustin, M. Kom
 Tentukan apakah dari ekspresi-ekspresi logika berikut ini termasuk tautologi, kontradiksi
atau contingent

1. A → (B →A)

2. (¬A → ¬B) → (B → A)

3. (A ^ (A → B)) → B

4. ((A ↔ B) ↔ ((A ^ B) v (¬A ^ ¬B))

Soal 2.

Jika (A v ¬A) adalah tautology, buktikan bahwa ekspresi logika berikut adalah tautology

1. (A → B) v ¬(A → B)

2. ¬A v ¬¬A

Soal 3.

Perhatikan dengan seksama argument berikut :

Jika Badu senang, maka Siti senang, dan jika Badu sedih, maka Siti sedih. Siti tidak
senang atau Siti tidak sedih. Dengan demikian, Badu tidak senang atau Badu tidak sedih.

Buatlah ekspresi logikanya dan buktikan apakah termasuk tautology, kontradiksi atau
contingent dengan tabel kebenaran.

EKUIVALEN LOGIS

EKUIVALEN LOGIS ( ≡ )
Kapan dikatakan suatu ekspresi logika ekuivalen logis???

1. Jika kedua ekspresi logika adalah Tautologi ( T dan T pada Tabel Kebenaran ).
2. Jika kedua ekspresi logika adalah Kontradiksi ( F dan F pada Tabel Kebenaran ).
3. Pada Contingen, jika urutan T dan F atau sebaliknya pada Tabel Kebenaran tetap pada
urutan yang sama.

Example 1 :
Agustin, M. Kom
(1). Indah sangat cantik dan peramah.
(2). Indah peramah dan sangat cantik.

Kedua pernyataan diatas, tanpa pikir panjang, akan dikatakan ekuivalen atau sama saja. Dalam
bentuk ekspresi logika dapat ditampilkan berikut ini :

A = Indah sangat cantik

B = Indah peramah

Ekspresi logikanya adalah : (1). A ^ B

(2). B ^ A

Jika dikatakan kedua ekspresi logika tersebut ekuivalen secara logis, maka dapat ditulis :

(A^B)≡ (B^A)

Ekuivalen logis dari kedua ekspresi logika dapat dibuktikan dengan Tabel Kebenaran :

A B A^B B^A
F F F F
F T F F
T F F F
T T T T

Example 2 :

(1). Badu tidak pandai, atau dia tidak jujur.

(2). Adalah tidak benar jika Badu pandai dan jujur.

Secara intuitif dapat ditebak kalau kedua pernyataan diatas sebenarnya sama saja, tetapi
bagaimana jika dibuktikan dengan tabel kebenaran berdasarkan ekspresi logika.

A = Badu pandai
B = Badu jujur

Ekspresi logikanya adalah : (1). ¬ A v ¬ B (2). ¬( A ^ B )

Dengan tabel kebenaran dapat dibuktikan bahwa kedua ekspresi logika di atas ekuivalen.

A B A^B ¬A v ¬B ¬ (A ^ B)
F F F T T
F T F T T
Agustin, M. Kom
 T F F T T
T T T F F

Ekspresi logika diatas belum dikatakan ekuivalen logis meskipun nilainya di tabel kebenaran
sama.
Untuk menjadikannya ekuivalen logis maka digunakan perangkai ekuivalensi antara kedua
ekspresi logika tersebut, dan akhirnya menghasilkan tautology.

(¬ A v ¬ B) ↔ ¬( A ^ B )
T
T
T
T

KOMUTATIF DAN ASOSIATIF

Komutatif

Ciri-cirinya :

1. Variabel kedua proposisi dapat saling berganti tempat tanpa mengubah nilai kebenaran
dari kedua ekspresi.

Ex : ( A ^ B ) ≡ ( B ^ A)

(A↔B)≡(B↔A)

2. Perangkai Konjungsi ( ^ ), Disjungsi ( v) dan Ekuivalensi ( ↔ ) bersifat komutatif

3. Perangkai Implikasi ( → ) tidak bersifat komutatif dengan dibuktikan dari tabel

kebenaran
Agustin, M. Kom
 Ex : ( A → B ) dengan ( B → A ) tidaklah ekuivalen.

Asosiatif

Ciri – cirinya :

1. Mengacu pada pemindahan tanda kurung dan tidak mengubah nilai kebenarannya.

Ex : ( ( A ^ B ) ^ C ) ≡ ( A ^ ( B ^ C ) )  Buktikan dengan Tabel Kebenaran

2. Biasanya terjadi pada perangkai yang sama ( Disjungsi, Konjungsi dan Ekuivalensi )

Ex : ( ( A v B ) v C ) ≡ ( A v ( B v C ) )

3. Pengecualian pada Perangkai Implikasi ( → )

Ex : ( ( A → B ) → C ) tidak sama ( A → ( B → C ) )  Buktikan dengan Tabel

Kebenaran

4. Jika perangkainya berbeda pada satu ekspresi logika tidak bisa memindahkan tanda
kurung dengan sembarangan.

Ex : ( ( A ^ B ) v C ) dan ( A ^ ( B v C ) ) tidaklah sama.  Buktikan dengan Tabel

Kebenaran

HUKUM – HUKUM LOGIKA

Berikut ini akan diberikan tabel yang berisi hukum-hukum logika yang penting dan banyak
digunakan untuk melakukan operasi logika dan semua hukum-hukum tersebut dapat dibuktikan
dengan tabel kebenaran :

Daftar Ekuivalen Logis

(Plus Hukum-hukum Logika Proposisional)

No Ekuivalen Logis Nama

A^1 ≡A Identity of ^ (Identity Laws)
1 Av0≡A Zero of v (Identity Laws)
Av1≡1 Identity of v (Dominition Laws)
2
A^ 0≡0 Zero of ^ (Dominition Laws)
3 A v ¬A ≡ 1 Tautology (Excluded Middle Law)
Agustin, M. Kom
 A ^ ¬A ≡ 0 Law of Contradiction
AvA≡A Idempotence Laws
4
A^A≡A Idempotence Laws
5 ¬¬A≡A Law of Double Negation
A^ B≡B^A Komutatif
6
Av B ≡ B vA Komutatif
(A ^ B) ^ C ≡ A ^ (B ^ C) Assosiatif
7
(A v B) v C ≡ A v (B v C) Assosiatif
A ^ (B v C) ≡ (A ^ B) v (A ^ C) Distributif
8
A v (B ^ C) ≡ (A v B) ^ (A v C) Distributif
A ^ (A v B) ≡ A Absorpsi
9
A v (A ^ B) ≡ A Absorpsi
A ^ (¬A v B) ≡ A ^ B Absorpsi
10
A v (¬A ^ B) ≡ A v B Absorpsi
¬ (A ^ B) ≡ ¬A v ¬B De Morgan’s Law
11
¬ (A v B) ≡ ¬A ^ ¬B De Morgan’s Law
12 (A ^ B) v (A ^ ¬B) ≡ A
A → B ≡ ¬A v B
13
A → B ≡ ¬(A ^ ¬B)
A ↔ B ≡ (A ^ B) v (¬A ^ ¬B)
14
A ↔ B ≡ (A → B) ^ (B → A)
(A ^ B) v (A ^ ¬B) ≡ A
15
(A v B) ^ (A v ¬B) ≡ A
(A ^ B) v (¬A ^ B) ≡ B
16
(A v B) ^ (¬A v B) ≡ B

Latihan :

Buktikan bahwa ekspresi logika berikut ini ekuivalen dengan menggunakan tabel kebenaran :

1. ¬A ↔ B ≡ (¬A v B) ^ (¬B v A)

2. A → (¬A → B) ≡ 1

3. (A v ¬B) → C ≡ (¬A ^ B) v C

4. A → (B → C) ≡ (A→ B) → C

5. A → B ≡ ¬(A ^ ¬B)

6. ¬ (¬ (A ^ B) v B ) ≡ 0

7. (( A ^ (B → C)) ^ (A → (B → ¬C))) → A ≡ 1

Agustin, M. Kom
Agustin, M. Kom