En az bir doğruluk değerlemesinde doğru, en az bir doğruluk değerlemesinde yanlış değerini alan önermeye denir.

Tüm doğruluk değerlemelerinde doğru olan önermedir.

Tüm doğruluk değerlemelerinde yanlış olan önermeye denir.

Başka bir önermeden türetilmemiş olan önermelere denir.

En az bir başka önermeden elde edilmiş önermelere denir.