BAB 6 EKUIVALENSI LOGIS 1. Pendahuluan 2

BAB 6
EKUIVALENSI LOGIS
1. Pendahuluan
Bab ini akan membahas persamaan-persamaan antara dua buah ekspresi logika yang
mungkin ekuivalen (sama), mungkin berbeda, yang kesamaan atau perbedaan tadi akan
dibuktikan dengan tabel kebenaran.
2. Ekuivalensi logis
Proposisi A dan B disebut ekuivalen secara logis jika A↔B adalah tautologi. Notasi A≡B
menandakan bahwa A dan B adalah ekuivalen secara logis. Proposisi dapat digantikan
dengan ekspresi logika berupa proposisi majemuk.
Pada tautologi dan juga kontradiksi, dapat dipastikan bahwa dua buah ekspresi logika
tersebut ekuivalen secara logis, demikian juga jika keduanya kontradiksi. Tetapi pada
contingent disebut ekuivalen jika urutan T dan F pada tabel kebenaran harus tetap pada
urutan yang sama atau jika kedua proposisi tersebut mempunyai tabel kebenaran yang
identik.
Contoh:
1) Dewi sangat cantik dan peramah
2) Dewi peramah dan sangat cantik
Kedua pernyataan di atas tanpa dipikir panjang akan dikatakan ekuivalen atau sama saja.
Dalam bentuk ekspresi logika:
A = Dewi sangat cantik
B = Dewi peramah
Maka ekpresi logika tersebut adalah:
1) A ˄ B
2) B ˄ A
Jika dikatakan kedua buah ekspresi logika tersebut ekuivalen secara logis maka:
A˄B≡B˄A
Bukti dengan menggunakan tabel kebenaran:
LOGIKA INFORMAATIKA
BY: SRI ESTI
A
B
A˄B
B˄A
A˄B↔B˄A
T
T
T
T
T
T
F
F
F
T
F
T
F
F
T
F
F
F
F
T
3. Komutatif
Pada contoh di atas, telah dibuktikan bahwa A ∧ B ≡ B ∧ A . Pada perangkai ∧, kedua
proposisional dapat berpindah tempat tanpa mengubah nilai kebenaran dari kedua
ekspresi logika. Hal itu disebut komutatif.
Jadi: (A ∧ B) ≡ (B ∧ A)
Demikian juga dengan perangkai ˅, maka: (A ˅ B) ≡ (B ˅ A)
Demikian juga dengan perangkai ↔, maka: (A ↔ B) ≡ (B ↔ A)
Sifat komutatif dari ketiga perangkai di atas dapat dibuktikan dengan tabel kebenaran.
Perangkai → (implikasi) tidak memiliki sifat komutatif karena memiliki tabel kebenaran
yang berbeda. Lihat tabel kebenaran berikut:
A
B
A→B
A→B
T
T
T
T
T
F
F
T
F
T
T
F
F
F
T
T
Jadi terbukti bahwa kedua ekspresi logika A→B dengan B→A keduanya tidak ekuivalen.
Latihan soal:
Buktikan bahwa:
1. (A ˅ B) ≡ (B ˅ A)
2. (A ↔ B) ≡ (B ↔ A)
LOGIKA INFORMAATIKA
BY: SRI ESTI
4. Asosiatif
Penempatan tanda kurung biasa pada suatu ekspresi logika memegang peranan penting.
Jika diterapkan pada dua buah ekspresi logika, penempatan tanda kurung biasa dapat
diubah tanpa mengubah nilai kebenaran pada tabel kebenaran, maka disebut asosiatif.
Contoh:
((A ˄ B) ˄ C) dan (A ˄ (B ˄ C))
Maka tabel kebenarannya adalah:
A
B
C
A˄B
(A ˄ B) ˄ C
B˄C
A ˄ (B ˄ C)
T
T
T
T
T
T
T
T
T
F
T
F
F
F
T
F
T
F
F
F
F
T
F
F
F
F
F
F
F
T
T
F
F
T
F
F
T
F
F
F
F
F
F
F
T
F
F
F
F
F
F
F
F
F
F
F
Jadi dapat dibuktikan bahwa ((A ˄ B) ˄ C) ≡ (A ˄ (B ˄ C))
Latihan soal:
Buktikan bahwa ((A ˅ B) ˅ C) ≡ (A ˅ (B ˅ C))
5. Hukum logika
Hukum-hukum logika digunakan untuk membuktikan berbagai keperluan, termasuk
validitas sebuah argument. Hukum-hukum logika juga diambilkan dari ekspresi-ekspresi
logika berdasarkan pernyataan-pernyataan sehingga tetap dapat dibuktikan kebenarannya
melalui pernyataan tersebut.
Contoh:
1) Jika Anda tidak belajar, maka Anda akan gagal.
2) Anda harus belajar, atau Anda akan gagal.
LOGIKA INFORMAATIKA
BY: SRI ESTI
Jika ingin membuat ekspresi logika, maka variabel proposisional harus diganti dulu
seperti berikut:
A = Anda belajar
B = Anda gagal
Maka ekspresi logika akan menjadi:
1) A → B
2) ¬A ˅ B
Dan sekarang dibuktikan bahwa A → B ≡ ¬A ˅ B dengan menggunakan tabel kebenaran:
A
B
A→B
¬A
¬A ˅ B
T
T
T
F
T
T
F
F
F
F
F
T
T
T
T
F
F
T
T
T
Ternyata A → B ≡ ¬A ˅ B karena memiliki nilai kebenaran yang sama di tabel
kebenaran. Pada tabel kebenaran dapat dibuktikan bahwa perangkai → dapat diganti
dengan perangkai ¬ dan ˅.
Beberapa hukum ekuivalensi logika disajikan dalam daftar dibawah ini:
1. Hukum Komutatif
A˄B≡B˅A
A˅B≡B˅A
2. Hukum Asosiatif
(A ˄ B) ˄ C ≡ A ˄ (B ˄ C)
(A ˅ B) ˅ C ≡ A ˅ (B ˅ C)
3.Hukum Distributif
A˄ (B˅C) ≡ (A˄B) ˅ (A˄C)
A˅ (B˄C) ≡ (A˅B) ˄ (A˅C)
4. Hukum Identitas
A˄T≡A
A˅F≡A
5. Hukum Ikatan
A˅T≡T
A˄F≡F
6. HukumNegasi
A ˅ ¬A ≡ T
A ˄ ¬A ≡ F
7. Hukum Negasi ganda
¬(¬A) ≡ A
8. Hukum Idempoten
A˄A≡A
A˅A≡A
9. Hukum De Morgan
¬(A ˄ B) ≡ ¬A ˅ ¬B
¬(A ˅ B) ≡ ¬A ˄ ¬B
10. Hukum Absorbsi
A ˅ (A ˄ B) ≡ A
A ˄ (A ˅ B) ≡ A
¬T ≡ F
¬F ≡ T
11. Negasi T dan F
LOGIKA INFORMAATIKA
BY: SRI ESTI
Latihan soal:
Buktikan ekuivalensi kedua pernyataan berikut:
1) Jika Badu tidak sekolah, maka Badu tidak akan pandai.
2) Jika Badu pandai, maka Badu pasti sekolah.
Latihan soal:
Buktikan bahwa ekspresi-ekspresi logika berikut ini ekuivalen dengan menggunakan tabel
kebenaran:
1. ¬A ↔ B ≡ (¬A ˅ B) ˄ (¬B ˅A)
2. A → (¬A → B) ≡ T
3. (A ˅ ¬B) → C ≡¬A ˄ B) ˅ C
4. A → (B → C) ≡ (A → B) ˅ C
5. A → B ≡ ¬(A ˄ ¬B)
LOGIKA INFORMAATIKA
BY: SRI ESTI