๐ Daftar Isi
Ekuivalen
Dua proposisi majemuk disebut Ekuivalen (secara logika) jika keduanya mempunyai nilai kebenaran yang identik.
Jika p dan q adalah proposisi majemuk yang ekuivalen, maka dituliskan ๐ โบ ๐ atau ๐ โก ๐. Jika ๐ โก ๐, maka ๐ โก ๐.
Tabel kebenaran dapat digunakan untuk menyelidiki apakah dua kalimat ekuivalen.
Contoh 1
Tentukan apakah ~(p โง q) dengan ~p โง ~q ekuivalen!
Penyelesaian
p | q | p โง q | ~(p โง q) | ~p | ~q | ~p โง ~q |
T | T | T | F | F | F | F |
T | F | F | T | F | T | F |
F | T | F | T | T | F | F |
F | F | F | T | T | T | T |
Nilai kebenaran ~ ๐ โง ๐ dan โผ๐ โง โผ๐ tidak selalu sama. Maka ~๐ โง ๐ tidak ekuivalen dengan โผ ๐ โงโผ q
Contoh 2
Tentukan apakah ๐ โ ๐ dengan โผ ๐ โจ ๐ ekuivalen.
Penyelesaian
p | q | p โ q | ~p | ~p โจ q |
T | T | T | F | T |
T | F | F | F | F |
F | T | T | T | T |
F | F | T | T | T |
Karena untuk tiap-tiap baris, nilai kebenaran ๐ โ ๐ dan โผ ๐ โจ ๐ sama, maka disimpulkan bahwa ๐ โ ๐ โก โผ ๐ โจ ๐.
Hukum Ekuivalensi Logika
Hukum Identitas
๐ โง ๐ โก ๐ ( Identitas dari โง adalah T)
๐ โจ ๐น โก ๐ ( Identitas dari โจ adalah F)
Hukum Idempoten
๐ โจ ๐ โก ๐
๐ โง ๐ โก ๐
Hukum Komutatif
๐ โง ๐ โก ๐ โง ๐
๐ โจ ๐ โก ๐ โจ ๐
Hukum Asosiatif
(๐ โง ๐) โง ๐ โก ๐ โง (๐ โง ๐)
(๐ โจ ๐) โจ ๐ โก ๐ โจ (๐ โจ ๐)
Negasi T dan F
โผ ๐ โก ๐น
โผ ๐น โก ๐น
Hukum Negasi Ganda
โผ (โผ ๐) โก ๐
Hukum Ikatan/Dominasi
๐ โจ ๐ โก ๐ (Dominasi dari โจ )
๐ โง ๐น โก ๐น (Dominasi dari โง)
Hukum De Morgan
โผ (๐ โง ๐) โก โผ ๐ โจโผ ๐
โผ (๐ โจ ๐) โกโผ ๐ โงโผ ๐
Hukum Distributif
๐ โง (๐ โจ ๐) โก (๐ โง ๐) โจ (๐ โง ๐)
๐ โจ (๐ โง ๐) โก (๐ โจ ๐) โง (๐ โจ ๐)
Hukum Absorbsi
๐ โจ ๐ โง ๐ โก ๐
๐ โง ๐ โจ ๐ โก ๐
Hukum Negasi
๐ โจโผ ๐ โก ๐
๐ โงโผ ๐ โก ๐น
Hukum Ekuivalensi Logika yang Melibatkan Implikasi
๐ โ ๐ โก โผ ๐ โจ ๐
๐ โ ๐ โก โผ ๐ โ โผp
๐ โจ ๐ โกโผ ๐ โ ๐
๐ โง ๐ โกโผ(๐ โโผ ๐)
โผ (๐ โ ๐) โก ๐ โงโผ ๐
(๐ โ ๐) โง (๐ โ ๐) โก ๐ โ (๐ โง ๐)
(๐ โ ๐) โง (๐ โ ๐) โก (๐ โจ ๐) โ ๐
(๐ โ ๐) โจ (๐ โ ๐) โก ๐ โ (๐ โจ ๐)
(๐ โ ๐) โจ (๐ โ ๐) โก (๐ โง ๐) โ ๐
Hukum Ekuivalensi yang Melibatkan Biimplikasi
๐ โ ๐ โก (๐ โ ๐) โง (๐ โ ๐)
๐ โ ๐ โก โผ ๐ โ โผ ๐
๐ โ ๐ โก (๐ โง ๐) โจ (โผ ๐ โงโผ ๐)
โผ (๐ โ ๐) โก ๐ โ โผ๐
Pembuktian Ekuivalensi dengan Menyederhanakan Proposisi
Hukum-hukum tersebut digunakan untuk menyederhanakan proposisi-proposisi yang kompleks dan untuk membuktikan ekuivalensi.
Dalam membuktikan ekuivalensi ๐ โบ ๐, ada 3 macam cara yang bisa dilakukan:
- ๐ diturunkan terus menerus dengan menggunakan hukumhukum yang ada, sehingga akhirnya didapat ๐.
- ๐ diturunkan terus menerus dengan menggunakan hukumhukum yang ada, sehingga akhirnya didapat ๐.
- ๐ dan ๐ masing-masing diturunkan secara terpisah sehingga
akhirnya didapat ๐.
Biasanya bentuk yang lebih kompleks yang diturunkan ke bentuk yang lebih sederhana.
Contoh 1
Sederhanakan bentuk ~ (~๐ โง ๐) โง (๐ โจ ๐)
Penyelesaian
~ (~๐ โง ๐) โง (๐ โจ ๐) โก (~(~๐) โจ ~๐) โง (๐ โจ ๐)
โก (๐ โจ ~๐) โง (๐ โจ ๐)
โก ๐ โจ (~๐ โง ๐)
โก ๐ โจ ๐น
โก ๐
Contoh 2
Tunjukkan bahwa ๐ โจโผ (๐ โจ ๐) dan ๐ โจโผ ๐ keduanya ekuivalen secara logika.
Penyelesaian
๐ โจโผ (๐ โจ ๐) โบ ๐ โจ (~๐ โงโผ ๐)
โบ (๐ โจ ~๐) โง (๐ โจโผ ๐)
โบ ๐ โง (๐ โจโผ ๐)
โบ (๐ โจโผ ๐)
Contoh 3
Tunjukkan bahwaโผ (๐ โจ (~๐ โง ๐))dan ~๐ โงโผ ๐ keduanya ekuivalen secara logika.
Penyelesaian
โผ(๐ โจ (~๐ โง ๐)) โกโผ ๐ โงโผ (~๐ โง ๐)
โกโผ ๐ โง (๐ โจ ~๐)
โก (โผ ๐ โง ๐) โจ (โผ ๐ โง ~๐)
โก ๐น โจ (โผ ๐ โง ~๐)
โก (โผ ๐ โง ~๐) โจ ๐น
โก (โผ ๐ โง ~๐)
Contoh 4
Tunjukkan bahwa (๐ โง ๐) โ (๐ โจ ๐) adalah tautologi.
Penyelesaian
(๐ โง ๐) โ (๐ โจ ๐) โกโผ (๐ โง ๐) โจ (๐ โจ ๐)
โก (โผ ๐ โจโผ ๐) โจ (๐ โจ ๐)
โก (โผ ๐ โจ ๐) โจ (โผ ๐ โจ ๐)
โก ๐ โจ ๐
โก ๐
Contoh 5
Tunjukkan bahwa (๐ โ ๐) โ (โผ ๐ โโผ ๐) adalah tautologi.
Penyelesaian
(๐ โ ๐) โ (โผ ๐ โโผ ๐)
โก ((๐ โ ๐) โ (โผ ๐ โโผ ๐)) โง ((โผ ๐ โโผ ๐) โ (๐ โ ๐))
โก ((โผ ๐ โจ ๐) โ (๐ โจโผ ๐)) โง ((๐ โจโผ ๐) โ (โผ ๐ โจ ๐))
โก (โผ (โผ ๐ โจ ๐) โจ (๐ โจโผ ๐)) โง (โผ (๐ โจโผ ๐) โจ (โผ ๐ โจ ๐) )
โก ((๐ โงโผ ๐) โจ (๐ โจโผ ๐)) โง ((โผ ๐ โง ๐) โจ (โผ ๐ โจ ๐))
โก ((๐ โงโผ ๐) โจ (๐ โจโผ ๐)) โง ((๐ โงโผ ๐) โจ (๐ โจโผ ๐))
โก ((๐ โงโผ ๐) โจ (๐ โจโผ ๐))
โก (โผ (โผ ๐ โจ ๐) โจ (๐ โจโผ ๐))
โก (โผ (โผ ๐ โจ ๐) โจ (โผ ๐ โจ ๐))
โกโผ ๐ โจ ๐
โก ๐
Konvers, Invers, dan Kontraposisi
Misal diketahui implikasi (๐ โ ๐)
Konversnya adalah (๐ โ ๐)
Inversnya adalah (~๐ โ ~๐)
Kontraposisinya adalah (~๐ โ ~๐)
Suatu implikasi selalu ekuivalen dengan kontraposisinya. Artinya, pada tabel kebenaran, nilai kebenaran ๐ โ ๐ selalu sama dengan nilai kebenaran ~๐ โ ~๐. Akan tetapi tidak demikian dengan invers dan konvers.
Contoh 1
Jika A merupakan suatu bujursangkar, maka A merupakan suatu 4 persegi panjang.
Konvers: Jika A merupakan 4 persegi panjang, maka A merupakan suatu bujursangkar.
Invers: Jika A bukan bujursangkar, maka A bukan 4 persegi panjang.
Kontraposisi: Jika A bukan 4 persegi panjang, maka A bukan bujursangkar.
Contoh 2
Jika n adalah bilangan prima > 2, maka n adalah bilangan ganjil.
Konvers: Jika n adalah bilangan ganjil, maka n adalah bilangan prima > 2.
Invers: Jika n bukan bilangan prima > 2, maka n bukan bilangan ganjil.
Kontraposisi: Jika n bukan bilangan ganjil, maka n bukan bilangan prima > 2
Materi Lengkap
Silakan baca juga beberapa artikel menarik kami tentang Matematika Diskrit – Logika, daftar lengkapnya adalah sebagai berikut.