Ekuivalensi Logika
Ekuivalensi Logika
Ekuivalensi Logika
LOGIKA
Erlina Mariana Rosada Sari
PENGERTIAN EKUIVALENSI
PERNYATAAN MAJEMUK
Dua pernyataan majemuk dikatakan ekuivalen atau
setara dalam logika jika memiliki nilai kebenaran
yang sama. Jika pernyataan majemuk A dan B
ekuivalen, ditulis , maka nilai kebenaranAº B
pernyataan majemuk A dan B sama.
PERNYATAAN MAJEMUK
YANG EKUIVALEN
pÞ q
Bentuk Implikasi ekuivalen dengan bentuk:
Disjungsi :Ø pÚ q
Kontraposisi :Ø q Þ Ø p
Dapat kita tulis :
p Þ q º Ø pÚ q ºØ q Þ Ø p
TABEL KEBENARAN BENTUK
p Þ q º Ø pÚ q
TABEL KEBENARAN BENTUK
p Þ q ºØ q Þ Øp
PERNYATAAN MAJEMUK
YANG EKUIVALEN
Bentuk Biimplikasi
p Û q
ekuivalen dengan bentuk:
(p Þ q)Ù (q Þ p)
Ditulis:
p Û q º (p Þ q)Ù (q Þ p)
Atau
Ditulis:
p Û q º(Ø pÚ q)Ù(Ø qÚØ p
TABEL KEBENARAN BENTUK
p Û q º(p Þ q)Ù(q Þ p)
HUKUM-
HUKUM
EKUIVALENSI
LOGIS
BEBERAPA HUKUM EKUIVALENSI
LOGIKA
HUKUM
KOMUTATIF
HUKUM HUKUM
ASOSIATIF DISTRIBUTIF
BEBERAPA HUKUM EKUIVALENSI
LOGIKA
HUKUM
IKATAN
HUKUM HUKUM
IDENTITAS NEGASI
BEBERAPA HUKUM EKUIVALENSI
LOGIKA
HUKUM
IDEMPOTEN
HUKUM DE
HUKUM
MORGAN
NEGASI
GANDA
BEBERAPA HUKUM EKUIVALENSI
LOGIKA
HUKUM
NEGASI
TRUE DAN
FALSE
HUKUM
ABORBSI
HUKUM KOMUTATIF
Adapun hukum komutatif pada disjungsi dan
konjungsi :
pÚ q º qÚ p
pÙ q º qÙ p
TABEL KEBENARAN HUKUM
KOMUTATIF
HUKUM ASOSIATIF
Adapun hukum Asosiati pada disjungsi dan konjungsi :
pÚ F º p
pÙ T º p
TABEL KEBENARAN HUKUM IDENTITAS
pÚ F º p
pÙ T º p
p S B pÚ S pÙ B
B S B B B
S S B S S
HUKUM IKATAN
pÚ T º T
pÙ F º F
TABEL KEBENARAN HUKUM IDENTITAS
pÚT ºT
pÙ F º F
p S B pÙ S pÚ B
B S B B S
S S B B S
THANKS!