HUKUM – HUKUM LOGIKA PROPOSIONAL

HUKUM – HUKUM LOGIKA

Berikut ini akan diberikan tabel yang berisi hukum-hukum logika yang penting dan banyak digunakan untuk melakukan operasi logika dan semua hukum-hukum tersebut dapat dibuktikan dengan tabel kebenaran :

Daftar Ekuivalen Logis

(Plus Hukum-hukum Logika Proposisional)

No	Ekuivalen Logis	Nama
1	A ^ 1 ≡ A A v 0 ≡ A	Identity of  ^ (Identity Laws) Zero of v (Identity Laws)
2	A v 1 ≡ 1 A ^ 0 ≡ 0	Identity of v (Dominition Laws) Zero of ^ (Dominition Laws)
3	A v ¬A ≡ 1 A ^ ¬A ≡ 0	Tautology (Excluded Middle Law) Law of Contradiction
4	A v A ≡ A A ^ A ≡ A	Idempotence Laws Idempotence Laws
5	¬ ¬ A ≡ A	Law of Double Negation
6	A ^ B ≡ B ^ A A v B ≡ B v A	Komutatif Komutatif
7	(A ^ B) ^ C ≡ A ^ (B ^ C) (A v B) v C ≡ A v (B v C)	Assosiatif Assosiatif
8	A ^ (B v C) ≡ (A ^ B) v (A ^ C) A v (B ^ C) ≡ (A v B) ^ (A v C)	Distributif Distributif
9	A ^ (A v B) ≡ A A v (A ^ B) ≡ A	Absorpsi Absorpsi
10	A ^ (¬A v B) ≡ A ^ B A v (¬A ^ B) ≡ A v B	Absorpsi Absorpsi
11	¬ (A ^ B) ≡ ¬A v ¬B ¬ (A v B) ≡ ¬A ^ ¬B	De Morgan’s Law De Morgan’s Law
12	(A ^ B) v (A ^ ¬B) ≡ A
13	A → B ≡ ¬A v B A → B ≡ ¬(A ^ ¬B)
14	A ↔ B ≡ (A ^ B) v (¬A ^ ¬B) A ↔ B ≡ (A → B) ^ (B → A)
15	(A ^ B) v (A ^ ¬B) ≡ A (A v B) ^ (A v ¬B) ≡ A
16	(A ^ B) v (¬A ^ B) ≡ B (A v B) ^ (¬A v B) ≡ B

TUGAS !

Buatlah Tabel Kebenaran untuk membuktikan ekspresi logika diatas adalah Ekuevalen Logis.
Minimal 10 contoh. dan dikumpulkan paling lambat Jum'at,  24 Oktober 2014.  
Melalui e-mail : solihati69@yahoo.com.

Selamat mengerjakan.