Kuantor Pernyataan dan Hukum Logika Matematika

Kuantor pernyataan

Pernyataan berkuantor adalah bentuk pernyataan di mana di dalamnya terdapat konsep kuantitas. Ada dua jenis kuantor yaitu kuanor universal dan kuantor eksistensial.

Kuantor universal digunakan dalam pernyataan yang menggunakan konsep setiap atau semua.

KuKuantor eksistensial digunakan dalam pernyataan yang mengandung konsep ada, sebagian, beberapa, atau terdapat.

Ingkaran dari pernyataan berkuantor

Pernyataan berkuantor juga memiliki negasi atau ingkaran. Negasi dari kuantor universal adalah kuantor eksistensial begitu jugas sebaliknya. Seperti pada contoh di bawah ini:

Hukum Logika Matematika

1. Hukum komutatif
   • p ∧ q ≡ q ∧ p
   • p ∨ q ≡ q ∨ p
2. Hukum asosiatif
   • (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
   • (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
3. Hukum distributif
   • p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
   • p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
4. Hukum identitas
   • p ∧ B ≡ p
   • p ∨ S ≡ p
5. Hukum ikatan
   • p ∧ S ≡ S
   • p ∨ B ≡ B
6. Hukum negasi
   • p ∧ ~p ≡ S
   • p ∨ ~p ≡ B
7. Hukum negasi ganda
   • ~(~p) ≡ p
8. Hukum idempotent
   • p ∧ p ≡ p
   • p ∨ p ≡ p
9. Hukum De Morgan
   • ~(p ∧ q) ≡ ~p ∨ ~q
   • ~(p ∨ q) ≡ ~p ∧ ~q
10. Hukum penyerapan
    • p ∧ (p ∨ q) ≡ p
    • p ∨ (p ∧ q) ≡ p
11. Negasi B dan S
• ~B ≡ S
• ~S ≡ B