Anda di halaman 1dari 13

Universitas Singaperbangsa Karawang

https://unsika.ac.id
Informatika

Logika Matematika dan Digital

Ekuivalen Logis

3 Maret 2020 Budi Arif Dermawan


Outline

 Introduction
 Ekuivalen Logis
 Komutatif
 Asosiatif
 Hukum-hukum Logika
 Exercise
LOGIKA MATEMATIKA

Sharing Knowledge https://unsika.ac.id


Pendahuluan

 Bab ini akan membahas persamaan-persamaan antar dua buah ekspresi logika yang mungkin :
1. Ekuivalen (sama)
2. Berbeda

dimana kesamaan atau perbedaan akan dibuktikan dengan tabel kebenaran


LOGIKA MATEMATIKA

Sharing Knowledge https://unsika.ac.id


Ekuivalen Logis

 Pada tautologi dan kontradiksi, dapat dipastikan bahwa:


jika dua buah ekspresi logika adalah tautologi, maka kedua buah ekspresi logika tersebut ekuivalen
secara logis
 Pada contingent, jika urutan T dan F atau sebaliknya pada tabel kebenaran tetap pada urutan yang sama,
maka tetap disebut ekuivalen secara logis
LOGIKA MATEMATIKA

Contoh 1
1) Dewi sangat cantik dan peramah
2) Dewi peramah dan sangat cantik

Sharing Knowledge https://unsika.ac.id


Ekuivalen Logis

 Proposisi A dan B disebut ekuivalen secara logis jika A ↔ B adalah tautologi


 Notasi atau simbol A ≡ B menandakan bahwa A dan B adalah ekuivalen secara logis
 Tabel kebenaran merupakan alat untuk membuktikan kebenaran ekuivalen secara logis
 Kesimpulan diambil berdasarkan hasil dari tabel kebenaran
LOGIKA MATEMATIKA

Contoh 2 :
1. Badu tidak pandai, atau dia tidak jujur.
2. Adalah tidak benar jika Badu pandai dan jujur.

Sharing Knowledge https://unsika.ac.id


Komutatif

 Suatu argumen dapat dikatakan komutatif jika kedua variabel proposisional dapat berganti tempat
tanpa mengubah nilai kebenaran dari kedua ekspresi logika

 Berbeda halnya dengan perangkai implikasi, karena jika ditukar tempat tidak akan menghasilkan
nilai kebenaran yang sama
LOGIKA MATEMATIKA

Sharing Knowledge https://unsika.ac.id


Asosiatif

 Suatu argumen dapat dikatakan asosiatif jika penempatan tanda kurung biasa dipindahkan tidak
merubah nilai kebenarannya
 Sama halnya dengan komutatif, perangkai implikasi tidak akan menghasilkan nilai kebenaran
yang sama jika tanda kurung biasa bertukar tempat
LOGIKA MATEMATIKA

Contoh 3
((AB)C) dan (A(BC))

Sharing Knowledge https://unsika.ac.id


Hukum-hukum Logika [1]

 Hukum-hukum logika dapat dikembangkan dari ekuivalen logis


 Hukum-hukum logika diambil dari ekspresi-ekspresi logika berdasarkan pernyataan-pernyataan

Contoh 7
1) Jika anda tidak belajar, maka anda akan gagal
LOGIKA MATEMATIKA

2) Anda harus belajar, atau anda akan gagal

Sharing Knowledge https://unsika.ac.id


Hukum-hukum Logika [1]

 A1 A (Identity of )
 A0 A (Zero of )
 A1 1
 A0 0
 AA 1 (Tautology)
 AA 0 (Law of Contradiction)
 AA A (Idempotence Laws)
LOGIKA MATEMATIKA

 AA A
 A  A (Law of Double Negation)

Sharing Knowledge https://unsika.ac.id


Hukum-hukum Logika [2]

 (AB)C  A(BC) (Associativity)


 (AB)C  A(BC)
 A(BC)  (AB)(AC) (Distributivity)
 A(BC)  (AB)(AC)
 A(AB)  A (Absorption)
 A(AB)  A
 A(AB)  AB (Absorption)
LOGIKA MATEMATIKA

 A(AB)  AB
 (AB)   A   B (De Morgan’s Law)
 (AB)   A   B

Sharing Knowledge https://unsika.ac.id


Hukum-hukum Logika [3]

 A  B  AB
 A  B  (AB)
 A  B (AB)(AB)
 A  B (AB)(BA)
 (AB)(AB)  A
 (AB)(AB)  A
 (AB)(AB)  B
LOGIKA MATEMATIKA

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

Sharing Knowledge https://unsika.ac.id


Latihan Soal

 Buktikan bahwa ekspresi-ekspresi logika berikut ini ekuivalen dengan menggunakan tabel
kebenaran:
1. A → (¬A → B) ≡ 1
2. A → (B → C) ≡ (A → B) → C
LOGIKA MATEMATIKA

 Buktikan hukum-hukum logika yakni:


1.Silogisme Hipotesis
adalah ekuivalen dengan 1 atau tautologi.

Sharing Knowledge https://unsika.ac.id


Referensi

Introduction to Logika Matematika & Digital Systems, Gaurav Bhatnagar, Shikha Mehta,
Sugata Mitra Academic Press, 2002.

Sistem Logika Matematika & Digital dan Aplikasinya, Tri Daryanto, Penerbit Graha Ilmu,
2005.
LOGIKA MATEMATIKA

Sharing Knowledge https://unsika.ac.id