Contoh proposisi : "1 + 1 = 2", ini nilainya benar, penjumlahan 1 + 1 hasilnya adalah 2 "Hari ini adalah hari Rabu", akan bernilai benar apabila hari ini bertepatan dengan hari Rabu dan sebaliknya. Pernyataan "x > 0" bukan merupakan proposisi karena terdapat variabel x yang baru dapat dinyatakan nilai kebenarannya apabila sudah ada nilai yang diberikan untuk variabel x. "This sentence is false" juga bukan merupakan proposisi karena berisi self-reference yang memuat kontradiksi. Variabel proposisional dapat digunakan untuk sebuah proposisi, misalnya variabel P untuk mewakili proposisi “2 + 2 = 4”. Sebuah well-formed formula (WFF) dalam logika proposisional adalah formula yang benar secara sintaks yang dibuat berdasarka aturan sintaks dalam kalkulus poposisional. WFF terdiri dari variabel, konstanta, terms, dan penghubung logika misalnya konjungsi ( and ), disjungsi ( or ), implikasi ( if ... then ... ). ekuivalensi ( if and only if ), dan negas