Materi Kuliah – [2]:

Fundamen Matematika

Tim Pengampu Matakuliah:

Aridhanyati Arifin
Lizda Iswari
Sheila Nurul Huda
Taufiq Hidayat
 Ekuivalensi
 Hukum-hukum Dasar Ekuivalensi
 Pembuktian E
kuivalensi dengan Kesamaan Formula
 Pembuktian E
kuivalensi dengan Tautologi Biimplikasi

2
 Perhatikan 2 contoh pernyataan proposisi
berikut:
◦ P = Badu anak yang pandai dan rajin menabung.
◦ Q = Badu anak yang rajin menabung dan pandai.

 Tentukan formula dan tabel kebenaran dari

kedua pernyataan di atas?

 Perhatikan urutan nilai pada tabel

kebenarannya!
◦ Apakah hasil observasi Anda?

3
 Ekuivalen secara logis
◦ Simbol: 
◦ Dua buah pernyataan A dan B dikatakan ekuivalen jika
dan hanya jika A  B adalah tautologi.

 Pembuktian ekuivalensi:
◦ Tabel Kebenaran
◦ Hukum Ekuivalensi

4
 Tentukan apakah pasangan formula berikut
adalah ekuivalens atau tidak dengan Tabel
Kebenaran:

◦ A  B dan (A  B)

◦ A  (B  C) dan (A  B)  C

5
 Merupakan hukum-hukum dasar yang sudah
diketahui kevalidannya dan dapat digunakan
untuk membuktikan ekuivalensi secara logis dua
buah formula.

6
 Dobel Negasi  De Morgan
 Identitas  Komutatif
 Tautologi dan  Asosiatif

Kontradiksi  Ekuivalensi Implikasi

 Idempoten  Ekuivalensi Biimplikasi
 Distributif  Kontraposisi
 Absorpsi  Eksportasi

7
 Hukum Identitas  Hukum Idempotensi
◦ A1A (Identity of ) ◦ AAA
◦ A0A (Zero of ) ◦ AAA

◦ A11 (Identity of )  Hukum Dobel Negasi

◦ A00 (Zero of ) ◦ A  A

 Hukum Tautologi dan Kontradiksi

◦ A  A  1 (Tautology)
◦ A  A  0 (Law of Contradiction)

8
 Hukum Distributif
◦ A  (B  C)  (A  B)  (A  C)
◦ A  (B  C)  (A  C)  (A  C)

 Hukum De Morgan
◦ (AB)  A  B
◦ (AB)  A  B

 Hukum Absorption
◦ A  (A  B)  A
◦ A  (A  B)  A

◦ A  (A  B)  A  B
◦ A  (A  B)  A  B

9
 Berlaku untuk dua buah variabel proporsisional
yang dapat saling berganti tempat tanpa
mengubah nilai kebenarannya.

 Operator logika yang dapat digunakan: , , 

 Contoh:
◦ (A  B)  (B  A)
◦ (A  B)  (B  A)
◦ (A  B)  (B  A)

10
 Berlaku untuk penggunaan operator yang sama
pada suatu ekspresi logika.
◦ Pemindahan tanda kurung tidak mengubah nilai
kebenarannya.
◦ Contoh: ((A  B)  C)  (A  (B  C))

 Perhatikan efisiensi penggunaan tanda kurung!

◦ Contoh: (A  B)  (A  C) dapat diringkas menjadi
(A  B)  A  C

11
 Hukum Komutatif
◦ ABBA
◦ ABBA
◦ ABBA

 Hukum Asosiatif
◦ (A  B)  C  A  (B  C)
◦ (A  B)  C  A  (B  C)
◦ (A  B)  C  A  (B  C)

12
 Ekuivalensi Implikasi
◦ (A  B)  (A  B)

 Ekuivalensi Biimplikasi
◦ (A  B)  (A  B)  (B  A)

 Kontraposisi
◦ (A  B)  (B  A)

 Eksportasi
◦ (A  B)  C  A  (B  C)

13
 Terdapat dua teknik utama untuk membuktikan
ekuivalensi dari 2 buah formula:

◦ Kesamaan Formula

◦ Tautologi Biimplikasi

14
 Pembuktian ekuivalensi antara 2 formula 
mengubah salah satu atau kedua formula
menjadi formula lain yang ekuivalens.

 Pengubahan formula bisa dilakukan terhadap sisi

kiri dan kanan secara bergantian dan diubah ke
dalam bentuk yang paling sederhana.

 Pengubahan formula didasarkan atas hukum-

hukum dasar ekuivalensi yang sudah diketahui.
15
 Contoh: Buktikan kesamaan formula berikut
adalah ekuivalens dengan hukum-hukum dasar
ekuivalensi:
◦ (p  q)  (q  q  p)
◦ (p  (q  r))  ((p  q)  (p  r))
◦ (p  (q  r))  ((p  q)  r)

16
 Dua buah formula, misal F dan G, dinyatakan
ekuivalens jika dan hanya jika F  G adalah
tautologi.

Dengan kata lain: F  G  T.

17
 Contoh: buktikan formula berikut ekuivalens
secara logis dengan teknik Tautologi Biimplikasi:

◦ (p  q)  (q  p)
◦ (q  r)  (q  r)

18
 Setelah materi ini, Mahasiswa diharapkan dapat:

◦ Membuktikan ekuivalensi logis dari dua formula logika

menggunakan kesamaan antar formula dengan benar.

◦ Membuktikan ekuivalensi logis dari dua formula logika

menggunakan tautologi biimplikasi dengan benar.

19