Matematikte önermeler genellikle p, q, r, s gibi küçük harflerle gösterilir. Örnek 1 için Tıklayınız. Bir önermenin doğru ya da yanlış olmasına, o önermenin doğruluk değeri denir.