Hukum-Hukum Logika

HUKUM-HUKUM LOGIKA

1.      Hukum Identitas

-  P V F ↔ P

-  P Ʌ T ↔ P

2.      Hukum Null / Dominasi

-   P Ʌ F → T

-   P V T → T

3.      Hukum Negasi

-  P V ¬P → T

-  P Ʌ ¬P → F

4.      Hukum Idempoten

-  P V P → P

-  P Ʌ P → P

5.      Hukum Involusi (Negasi Ganda)

¬ (¬P) = P

6.      Hukum Penyerapan (Adsorpsi)

-  P V (P Ʌ Q) → P

-  P Ʌ (P V Q) → P

7.      Hukum Komutatif

-  P V Q → Q V P

-  P Ʌ Q → Q Ʌ P

8.      Hukum Asosiatif

-  P V (Q V R) → (P V Q) V R

-  P Ʌ (Q Ʌ R) → (P Ʌ Q) Ʌ R

9.      Hukum Distributif

-  P V (Q Ʌ R) = (P V Q) Ʌ (P V R)

-  P Ʌ (Q V R) = (P Ʌ Q) V (P Ʌ R)

10.  Hukum de Morgan

-  ¬ (P Ʌ Q) → ¬P V ¬Q

-  ¬ (P V Q) → ¬P Ʌ ¬Q