22a06 6. ekuivalensi logis

P a g e | 20

EKUIVALEN LOGIS
Proposisi P dan Q disebut ekuivalen secara logis jika

adalah tautologi. Notasi

menandakan bahwa P dan Q adalah ekuivalen secara logis. Proposisi dapat digantikan dengan
ekspresi logika berupa proposisi majemuk.
Contoh:
Apakah ekspresi logika di bawah ini ekuivalen secara logis?

Bukti dengan menggunakan tabel kebenaran:
P
T
T
F
F

Q
T

F
T
F

T
F
F
F

T
F
F
F

T
T
T
T

Ekspresi logika di atas ekuivalen secara logis.

Pada contoh di atas, telah dibuktikan bahwa

. Pada perangkai , kedua

proposisional dapat berpindah tempat tanpa mengubah nilai kebenaran dari kedua ekspresi
logika. Hal itu disebut komutatif.
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:
Apakah ekspresi logika di bawah ini asosiatif?
dan
P
Q
R
T
T
T
T
T

T
T
T
F
T
F
F
T
F
T
F
F
F
T
F
F
F
F
F
F

T
T
F
T
F
F
T
F
F
F
F
F
F
T
F
F
F
F
F
F

F
F
F
Terbukti bahwa kedua ekspresi logika di atas asosiatif.

T
F
F
F
F
F
F
F

Liduina Asih Primandari, S.Si.,M.Si