Logika Matematika
Apa sajakah
Hukum-hukum Dasar Logika
yang telah Anda pelajari di
pertemuan sebelumnya?
Hukum Identitas
A 1 A (Identity of )
A 0 A (Zero of )
A 1 1 (Identity of )
A 0 0 (Zero of )
Hukum Idempotensi
AAA
AAA
(Tautology)
(Law of Contradiction)
Hukum Komutatif
ABBA
ABBA
Hukum Asosiatif
(A B) C A (B C)
(A B) C A (B C)
Hukum Distributif
A (B C) (A B) (A C)
A (B C) (A B) (A C)
6
Hukum De Morgan
(A B) A B
(A B) A B
Hukum Implikasi
A B A B
A B (A B)
Hukum Biimplikasi
A B (A B) (A B)
A B (A B) (B A)
A (A B) A
(A 0) (A B)
A (0 B)
A 0
A
A (A B) A
(A 1) (A B)
A (1 B)
A 1
A
:
:
:
:
Identitas
Distributif
Zero
Zero
:
:
:
:
Identitas
Distributif
Identitas
Identitas
(A B) (A B C)
(A B) (A (B C))
A (B (B C))
A ((B B) (B C))
A (1 (B C))
A (B C)
:
:
:
:
:
Tambah kurung
Distributif
Distributif
Tautologi
Identitas
(A (B B))
((A B) A) 1
(A 1)
A 0
A
: Tautologi
: De Morgan
: Zero
(A B A)
: De Morgan
((A A) B)
: Komutatif
(1 B)
: Tautologi
0 B
: De Morgan
0
: Identitas
(hasilnya kontradiktif, tidak ekuivalen)
13