PENGERTIAN DAN CONTOH TENTANG TAUTOLOGI, KONTRADIKSI DAN EKUIVALEN

TAUTOLOGI
Tautologi adalah pernyataan majemuk yang selalu benar untuk semua kemungkinan nilai kebenaran dari pernyataan-pernyataan komponennya. Sebuah Tautologi yang memuat pernyataan Implikasi disebut Implikasi Logis. Untuk membuktikan apakah suatu pernyataan Tautologi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai B (benar) maka disebut Tautologi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika.[1]

contoh pernyataan tautologi adalah:
(p ʌ q) => q
untuk membuktikan pernyataan diatas adalah tautologi, simak tabel kebenaran untuk tautologi
(p ʌ q) => q berikut;

contoh tabel kebenaran tautologi

contoh lain pernyataan tautologi adalah:

 q  (p v q)

penyelesaian:

q  (p v q)     ~q v (p v q)

                         ~q v (q v p)

                         T v p

                         T ............(Tautologi)

KONTRADIKSI

Kontradiksi adalah kebalikan dari tautologi yaitu suatu bentuk pernyataan yang hanya mempunyai contoh substansi yang salah, atau sebuah pernyataan majemuk yang salah dalam segala hal tanpa memandang nilai kebenaran dari komponen-komponennya. Untuk membuktikan apakah suatu pernyataan tersebut kontradiksi, maka ada dua cara yang digunakan. Cara pertama dengan menggunakan tabel kebenaran, yaitu jika semua pilihan bernilai F  atau salah maka disebut kontradiksi, dan cara kedua yaitu dengan melakukan penjabaran atau penurunan dengan menerapkan sebagian dari 12 hukum-hukum Ekuivalensi Logika.[4]

 p ʌ (~p ʌ q)
tabel kebenaran pernyataan kontradiksi  p ʌ (~p ʌ q):

Contoh tabel kebenaran kontradiksi

contoh lain pernyataan kontradiksi adalah:
1.      (A ʌ ~A)

Pembahasan:

A	~A	(A ʌ ~A)
B S	S B	S S

Dari tabel kebenaran diatas dapatlah disimpulkan bahwa pernyataan majemuk (A ʌ ~A) selalu salah.

2.      P ʌ (~p ʌ q)

Pembahasan:

p	q	~p	(~p ʌ q)	P ʌ (~p ʌ q)
B B S S	B S B S	S S B B	S S B S	S S S S

Ini adalah tabel kebenaran yang menunjukkan kontradiksi dengan alasan yaitu semua pernyataan bernilai salah (F).

EKUIVALEN 
Dua atau lebih pernyataan majemuk yang mempunyai nilai kebenaran sama disebut ekuivalensi logika dengan notasi “  dua buah pernyataan majemuk dikatakan ekuivalen, jika kedua pernyataan majemuk itu mempunyai nilai kebenaran yang sama untuk semua kemungkinan nilai kebenaran pernyataan-pernyataan komponen-komponennya.

Contoh ekuivalen:
~(p v q) ≡ ~p ʌ ~q
tabel kebenaran pernyataan ekuivalen ~(p v q) ≡ ~p ʌ ~q: 

Contoh tabel kebenaran ekuivalen

Hukum-hukum ekuivalen:
a. Hukum Komutatif
    p ʌ q ≡  q ʌ p
    p v q ≡ q v p

b. Hukum Distributif
    p ʌ (q v r) ≡ (p ʌ q) v (p ʌ r)
    p v (q ʌ r) ≡ (p v q) ʌ (p v r)

c. Hukum Asosiatif
    (p ʌ q) ʌ r ≡ p ʌ (q ʌ r)
    (p v q) v r ≡  p v (q v r)

d. Hukum Identitas
    p ʌ T ≡  p
    p v F ≡  p

e. Hukum Dominasi / Ikatan

    p v T ≡ T

    p v F ≡ F

f.  Hukum Negasi
    p v ~p ≡  T 
    p ʌ ~p ≡ F

g. Hukum Involusi / Negasi Ganda
    ~(~p) ≡  p

h. Hukum Idempoten
    p ʌ p ≡ p
    p v p ≡ p

i.  Hukum De Morgan
    ~( p ʌ q ) ≡  ~p v ~q
    ~( p v q ) ≡ ~p ʌ ~q

j.  Hukum Absorbsi / Penyerapan
    p v (p ʌ q) ≡  p
    p ʌ (p v q) ≡ p

k. Hukum True dan False
    ~T ≡  F
    ~F ≡ T

Dengan adanya hukum-hukum diatas, penyelesaian soal-soal baik yang bersifat tautologi, kontradiksi dan ekuivalensi logika tidak hanya menggunakan tabel kebenaran namun juga bisa dengan menggunakan jalan penurunan yaitu dengan memanfaatkan 12 (dua belas) hukum-hukum ekuivalensi logika tersebut.

Dengan menggunakan prinsip-prinsip di atas, maka kalimat-kalimat yang kompleks dapat disederhanakan, seperti contoh berikut:

1.      Buktikan ekuivalensi berikut: ~(p v ~q) v (~p ʌ ~q)  ~p

Jawab:

~(p v ~q) v (~p ʌ ~q)  (~p ʌ q) v (~p ʌ ~q)

                                     ~p ʌ (q v ~q)

                                     ~p ʌ T

                                     ~p ...........(terbukti)

2.      Tunjukkan bahwa:  ~(p v q)  (~p ʌ ~q)

Tabel kebenaran ~(p v q) dan (~p ʌ ~q) yaitu:

p	q	~p	~q	p v q	~(p v q)	(~p ʌ ~q)
B B S S	B S B S	S S B B	S B S B	B B B S	S S S B	S S S B

(           1)                    (2)           (3)           (4)             (5)                   (6)                        (7)  

Dari tabel diatas pada kolomk (6) dan (7), jelas bahwa ~(p v q)  (~p ʌ ~q).

Jadi, ~(p v q)  (~p ʌ ~q).