Aristoteles’e göre haber kipi taşıyan yani hüküm veren, bir şeyin var olduğunu ya da var olmadığını bildiren yargılar veya önermeler bir doğruluk değerine sahiptir. Yargıların veya önermelerin var olmasıyla ortaya çıkan doğruluk, gerçekliğin bir fonksiyonudur ve gerçeklikle bir ya da ayrı olanı ifade etmek zorundadır. Örneğin “Bütün gezegenler yuvarlaktır.” önermesi gerçekten gezegen ve yuvarlak birbirinden ayrılmaz olduğu için doğru değeri taşımaktadır. Kısacası bir yargı ya da önerme ona karşılık gelen olay, olgu veya özelliğin fiilen var olması koşuluyla doğrudur.
Buna göre doğru bir önermede olması gereken özellik aşağıdakilerden hangisidir?