Önermeler, doğru ya da yanlış kesin hüküm bildiren ifadelerdir. Kesin olan cümleler yanlış veya doğru da olsa önermedir; yani cümlenin yanlış veya doğru olduğunun bilinmesi gerekmez, doğrulanabilir olduğunun bilinmesi yeterlidir. p, q, r, s, t gibi harfler ile gösterilirler. Doğru olan önermeler 1 veya D, yanlış olanlar ise 0 veya Y ile gösterilirler. p ve q önermeleri denk ise p ≡ q, denk değiller ise p ≠ q şeklinde gösterilir. Doğruluk değeri kendisinin tam tersi olan önermeler kendisinin değilidir. p önermesinin doğruluk değeri eğer 1 ise onun değili p' şeklinde gösterilir ve doğruluk değeri 0'dır.
