TAUTOLOGI, KONTRADIKSI,

KONTINGENSI
Proposisi majemuk disebut tautologi jika ia BENAR
untuk semua kasus tanpa memandang nilai-nilai
kebenaran yang menggantikan variable-variable dalam
formula pernyataan tersebut.

Pernyataan atau kalimat deklaratif yang bernilai benar (true)

saja atau salah (false) saja, tetapi tidak keduanya.

TAUTOLOGI
Sebuah Tautologi yang memuat pernyataan Implikasi disebut
Implikasi Logis.
p  ~(p  q) adalah sebuah tautologi

p q pq ~(p  q) p  ~(p  q)

T T T F T
T F F T T
F T F T T
F F F T T
KONTRADIKSI
Kontradiksi adalah proporsi majemuk yang selalu bernilai
SALAH untuk semua kemungkinan kombinasi nilai
kebenaran dari proporsi-proporsi nilai pembentuknya.
Contoh Kontradiksi menggunakan Tabel kebenaran :

p ʌ (~p ʌ q)

p q ~p (~p ʌ q) P ʌ (~p ʌ q)
B B S S S
B S S S S
S B B B S
S S B S S
KONTINGENSI
Kontingensi adalah suatu ekspresi logika yang
mempunyai nilai benar dan salah di dalam tabel
kebenarannya, tanpa memperdulikan nilai kebenaran dari
proposisi-proposisi yang berada di dalamnya.
Selain pengertian di atas kontingensi juga merupakan :

 Proposisi majemuk yang bukan tautologi juga bukan

kontradiksi. Contoh: p→(pɅq) dan (pɅq)→r masing-masing
bukan tautologi dan kontradiksi.
 Merupakan bentuk campuran dari nilai benar (B) dan nilai
salah (S)
Contoh pada tabel kebenaran :

(PVQ)→R
Untuk membuktikan apakah suatu pernyataan Tautologi,
Kontradiksi atau Kontigensi, maka ada dua cara yang
digunakan.
1. Menggunakan tabel kebenaran.
2. Melakukan penjabaran atau penurunan dengan menerapkan
sebagian dari hukum-hukum Ekuivalensi Logika.
SUBSTITUSI
PENGGANTIAN
 CONTOH SUBSTITUSI
Suatu formula A disebut suatu contoh substitusi dari suatu
formula B, jika A dapat di hasilkan dari B dengan mensubstitusi
formula – formula dari sebagian variabel B.

B : (p → (q v p)) Substitusi p dalam B menghasilkan

p:x↔y A : (x ↔ y) → (q v ( x ↔ y))

Jadi A adalah suatu contoh substitusi dari B

CONTOH SUBSTITUSI . . . B : (p → (q v p))
p:x↔y

Sedangkan ( x ↔ y ) → ( q v p )
BUKAN suatu contoh substitusi dari B. karena tidak semua p
disubstitusikan.
CONTOH LAIN DARI SUBSTITUSI
Berikut adalah contoh substitusi dari p → ~q
1. (r ˄ ~ s) → ~ (j v m)
p q

2. (r ˄ ~ s) → ~ p
p q

3. q → ~ (p ˄ ~p)
p q
LATIHAN SUBSTITUSI
Diketahui pernyataan sebagai berikut :
x : ((p v ~q) → r)
y : (~ (s ↔ t))
Substitusikan pernyataan dibawah ini !
1. (p → x ) v ~x
2. (y v x) ↔ ~(x ˄ p)
3. (p ˄ y) → (x v (y ˄ ~x))
EKUIVALENSI
PERNYATAAN MAJEMUK EQUIVALEN
Dua pernyataan majemuk dikatakan ekuivalen jika untuk semua
kemungkinan nilai kebenaran komponen-komponen pernyataan
majemuk itu mempunyai nilai kebenaran yang sama .
Ekuivalen ditulis dengan tanda " ≡ “ atau “  “
 CONTOH Di Baca :

• ~~p≡p •~~p ekuivalen dengan p

• pvp≡p •pvp ekuivaken dengan p
• (p ˄ ~p) v q ≡ q • (p ˄ ~p) ekuivaken dengan q
• p v ~p ≡ q v ~q • p v ~p ekuivaken dengan q v ~q
• p → q ≡ ~p v q • p→q ekuivaken dengan ~p v q
CONTOH … => 1. TABEL KEBENARAN
Buktikan bahwa (p → q) ≡ (~p v q)
1 2
p q p → q ~p ~p v q
B B B S B
1. Tabel kebenaran (p → q)
2. Tabel kebenaran (~p v q) B S S S S
S B B B B
S S B B B
CONTOH …. => 1. TABEL KEBENARAN
2. HUKUM-HUKUM EKUIVALENSI LOGIKA
Disebut juga hukum-hukum aljabar proposisi.
1. Hukum identitas: 2. Hukum
 p F p null/dominasi/pembatalan:
 p T  p  p F F

 p T  T

3. Hukum komplemen/negasi: 4. Hukum idempoten:

 p  ~p  T  p p  p
 p  ~p  F  p p  p

5. Hukum involusi (negasi 6. Hukum penyerapan

ganda): (absorpsi):
 ~(~p)  p  p  (p  q)  p

 p  (p  q)  p
7. Hukum komutatif: 8. Hukum asosiatif:
 p q  q p  p  (q  r)  (p  q)  r
 p q  q p  p  (q  r)  (p  q)  r

9. Hukum distributif: 10. Hukum De Morgan:

 p  (q  r)  (p  q)  (p  r)  ~(p  q)  ~p  ~q

 p  (q  r)  (p  q)  (p  r)  ~(p  q)  ~p  ~q

11. Hukum Penyederhanaan

- p  (~p  q)  p  q
- p  (~p  q)  p  q
12. Rumus Ekuivalensi Tambahan

Implikasi p → q ≡ ~p  q
Negasi Implikasi ~ (p → q) ≡ p  ~q
Kontraposisi p → q ≡ ~q → ~p
p → (q → r) ≡ (p  q) → r
Negasi Biimplikasi ~(p ↔ q) ≡ p ↔ ~q
Biimplikasi p ↔ q ≡ (p → q)  (q → p)
p ↔ q ≡ (p  q)  (~p  ~q)
CARA PEMBUKTIAN EKUIVALENSI
Untuk membuktikan ekuivalesi P ⇔ Q, terdapat 3 macam cara yang bisa
dilakukan dalam hukum ekuivalensi :

1. P diturunkan terus menerus (dengan menggunakan hukum-hukum yang

ada ) sehingga akhirnya didapatkan Q.

2. Q diturunkan terus menerus (dengan menggunakan hukum-hukum yang

ada ) sehingga akhirnya didapatkan P.

3. P dan Q masing-masing diturunkan secara terpisah (dengan

menggunakan hukum-hukum yang ada) sehingga sama-sama
mendapatkan r.
CARA PEMBUKTIAN EKUIVALENSI

Sebagai aturan dasar, biasanya bentuk yang lebih kompleks

diturunkan kebentuk yang lebih sederhna. Jadi, bila P lebih kompleks
dari Q, maka aturan (1) yang dilakukan. Sebaliknya, jika Q lebih
kompleks dari P, maka aturan (2) yang digunakan. Aturan (3)
digunakan jika baik P maupun Q sama-sama cukup kompleks.
 CARA PEMBUKTIAN EKUIVALENSI
Contoh Buktikan Bahwa :
~(p ˅ ~q) ˅ (~p ˄ ~q) ⇔ ~p

Jawab :
~(p ˅ ~q) ˅ (~p ˄ ~q)
⇔ (~p ˄ ~ (~q)) ˅ (~p ˄ ~q)
⇔ (~p ˄ q) ˅ (~p ˄ ~q)
⇔ ~p ˄ (q ˅ ~q)
⇔ ~p ˄ T
⇔ ~p
Rumus :
(hukum de morgan) ~(p ˄ q) ≡ ~p v ~q
(hukum negasi ganda) ~(~p) ≡ p
(hukum distributive) p ˄ (q v r) ≡ (p ˄ q) v (p ˄ r)
(hukum negasi) p v ~p ≡ T
(hukum identitas) p˄T≡p

Terbukti bahwa ~ (p ˅ ~q) ˅ (~p ˄ ~q) ⇔ ~p

CONTOH 2
TUNJUKKAN BAHWA P  ~(P  Q) DAN P  ~Q KEDUANYA EKUIVALEN
SECARA LOGIKA.

PENYELESAIAN : CARA 1
P  ~(P  Q )
 P  (~P  ~Q) (HUKUM DE MOGRAN)
 (P  ~P)  (P  ~Q) (HUKUM DISTRIBUTIF)
 T  (P  ~Q) (HUKUM KOMPLEMEN / NEGASI)
 P  ~Q (HUKUM IDENTITAS)
CONTOH 2
TUNJUKKAN BAHWA P  ~(P  Q) DAN P  ~Q KEDUANYA
EKUIVALEN SECARA LOGIKA.

PENYELESAIAN : CARA 2
P  ~(P  Q )
 P  (~P  ~Q) (HUKUM DE MOGRAN)
 P  ~Q (HUKUM PENYEDERHANAAN)
CONTOH 3
BUKTIKAN HUKUM PENYERAPAN: P  (P  Q)  P
PENYELESAIAN:

P  (P  Q)
 (P  F)  (P  Q) (HUKUM IDENTITAS)
 P  (F  Q) (HUKUM DISTRIBUTIF)
 PF (HUKUM NULL)
 P (HUKUM IDENTITAS)
SOAL LATIHAN 1
Diberikan pernyataan “tidak benar bahwa dia belajar
ALGORITMA tetapi tidak belajar matematika”.

a. Nyatakan pernyataan di atas dalam notasi simbolik

(ekspresi logika)

b. Berikan pernyataan yang ekivalen secara logika dengan

pernyataan tsb
Jawaban :
misalkan
p : dia belajar algoritma
q : dia belajar matematika

maka,
(a) ~ (p  ~ q)
(b) ~ (p  ~ q)  ~ p  q (hukum de morgan)

dengan kata lain: “dia tidak belajar algoritma atau belajar

matematika”
SOAL LATIHAN 2
Tunjukkan bahwa penyataan berikut ini benar :

1. ~(p  ~q)  (~p  ~q) ≡ ~p

2. p → (q → r) ≡ p → (~q  r) ≡ (p  q) → r
SELESAI ….