Kalkulus proposisional

Kalkulus proposisional adalah sistem formal untuk menyatakan rumus proposisi dan membuktikannya dengan cara menggabungkan rumus atomik dan operator logika. Beberapa contoh operator logika adalah: ¬ (negasi) ∧ (konjungsi) ∨ (disjungsi) → (implikasi) ↔ (ekuivalensi)