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:

• ${\displaystyle \lnot }$ (negasi)
• ${\displaystyle \land }$ (konjungsi)
• ${\displaystyle \lor }$ (disjungsi)
• ${\displaystyle \rightarrow }$ (implikasi)
• ${\displaystyle \leftrightarrow }$ (ekuivalensi)

Bentuk-bentuk argumen
Nama	Sequent
Modus Ponens	${\displaystyle ((p\to q)\land p)\vdash q}$
Modus Tollens	${\displaystyle ((p\to q)\land \neg q)\vdash \neg p}$
Silogisme Hipotesis	${\displaystyle ((p\to q)\land (q\to r))\vdash (p\to r)}$
Silogisme Disjungtif	${\displaystyle ((p\lor q)\land \neg p)\vdash q}$
Dilema Konstruktif	${\displaystyle ((p\to q)\land (r\to s)\land (p\lor r))\vdash (q\lor s)}$
Dilema Destruktif	${\displaystyle ((p\to q)\land (r\to s)\land (\neg q\lor \neg s))\vdash (\neg p\lor \neg r)}$
Dilema Bidireksi	${\displaystyle ((p\to q)\land (r\to s)\land (p\lor \neg s))\vdash (q\lor \neg r)}$
Simplifikasi	${\displaystyle (p\land q)\vdash p}$
Konjungsi	${\displaystyle p,q\vdash (p\land q)}$
Penambahan	${\displaystyle p\vdash (p\lor q)}$
Komposisi	${\displaystyle ((p\to q)\land (p\to r))\vdash (p\to (q\land r))}$
Teorema De Morgan	${\displaystyle \neg (p\land q)\vdash (\neg p\lor \neg q)}$
Komutasi	${\displaystyle (p\lor q)\vdash (q\lor p)}$
Asosiasi	${\displaystyle (p\lor (q\lor r))\vdash ((p\lor q)\lor r)}$
Distribusi	${\displaystyle (p\land (q\lor r))\vdash ((p\land q)\lor (p\land r))}$
Dobel Negasi	${\displaystyle p\vdash \neg \neg p}$
Transposisi	${\displaystyle (p\to q)\vdash (\neg q\to \neg p)}$
Implikasi	${\displaystyle (p\to q)\vdash (\neg p\lor q)}$
Ekuivalensi	${\displaystyle (p\leftrightarrow q)\vdash ((p\to q)\land (q\to p))}$
Tautologi	${\displaystyle p\vdash (p\lor p)}$
Tertium non datur	${\displaystyle \vdash (p\lor \neg p)}$
Non-Kontradiksi	${\displaystyle \vdash \neg (p\land \neg p)}$