Kalkulus proposisional

Kalkulus proposisional adalah sistem formal untuk menyatakan rumus proposisi dan membuktikannya dengan cara menggabungkan rumus atomik dan operator logika.