Doğruluğu veya yanlışlığı, önermenin kendisinin çözümlenmesiyle belirlenebilecek olan önermedir. Karşıtı sentetik önermedir: Doğruluğunun belirlenebilmesi için kendi dışındaki olgulara gereklilik duyan önerme.