Önerme, doğru veya yanlış değerinden sadece birini alabilen, ancak aynı anda iki değeri birden alamayan ifadedir. Doğruluk tablosu, önermelerin doğruluk değerlerinin gösterildiği tablodur. Örnek bir doğruluk tablosu: p ve q önermelerinin doğruluk tablosu. p: "Asal olan her sayı tek sayıdır.". q: "Bugün sinemaya gidelim mi?". r: "Adana, Akdeniz Bölgesi'ne ait bir ilimizdir.". s: "Sevgi, başarılı bir öğrenci değildir.". Doğruluk tablosunun bazı özellikleri: Her önermenin iki farklı doğruluk değeri olduğundan, üç önerme için 2^3 = 8 farklı doğruluk durumu vardır. Bir önermenin değilinin değili, önermenin kendisine denktir. İki önerme, doğruluk değerleri aynı ise denk önermeler olarak adlandırılır.