Nothing Special   »   [go: up one dir, main page]

Ekuivalensi Logika

Unduh sebagai pptx, pdf, atau txt
Unduh sebagai pptx, pdf, atau txt
Anda di halaman 1dari 27

EKUVALENSI

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 :

(A Ù B)ÙC º A Ù(B ÙC)


(A Ú B)ÚC º A Ú(B ÚC)
TABEL KEBENARAN SIFAT ASOSIATIF
TABEL KEBENARAN SIFAT ASOSIATIF
TABEL KEBENARAN SIFAT ASOSIATIF
TABEL KEBENARAN SIFAT ASOSIATIF
HUKUM DISTRIBUTIF

Adapun hukum Distributif pada disjungsi dan


konjungsi :
p Ù (q Ú r) º ( p Ù q)Ú( p Ù r)
p Ú(q Ù r) º ( p Ú q)Ù( p Ú r)
( p Ú q)Ù r º ( p Ù r)Ú(q Ù r)
( p Ù q)Ú r º ( p Ú r)Ù(q Ú r)
TABEL KEBENARAN HUKUM DISTRIBUTIF
p Ú (q Ù r) º (p Ú q)Ù( p Úr)
p q r pvq pvr qvr p v (q Ù r) ( p Ú q)Ù ( p Ú r)
B B B B B B B B
B B S B B S B B
B S B B B S B B
B S S B B S B B
S B B B B B B B
S B S B S S S S
S S B S B S S S
S S S S S S S S
TABEL KEBENARAN HUKUM DISTRIBUTIF
p Ù (q Ú r) º (p Ù q)Ú(p Ùr)
p q r pÙ q pÙ r qÚr p Ù (q Ú r) ( p Ù q)Ú ( p Ù r)
B B B B B B B B
B B S B S B B B
B S B S B B B B
B S S S S S B B
S B B S S B B B
S B S S S B S S
S S B S S B S S
S S S S S S S S
HUKUM IDENTITAS

Adapun hukum Indentitas 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

Adapun hukum Ikatan pada disjungsi dan konjungsi :

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!

CREDITS: This presentation template was created by Slidesgo, including icons by


Flaticon, and infographics & images by Freepik

Anda mungkin juga menyukai