doğruluğu ya da yanlışlığı, içerdiği terimlerin tanımlarından hareketle ve yalnızca mantıksal yasalar aracılığı ile kanıtlanan, yalnızca mantıksal nedenlerle zorunlu olarak doğru olan ve öznede örtük olarak içerilen anlamları ortaya çıkarmaya yarayan; yüklemi yeni bir bilgi vermeyen, yüklemde düşünülen, anlatılmak istenilen, söylenen şeyin öznesinde zaten varolduğu, öznesinin tanımından çıktığı zorunlu olarak doğru ya da zorunlu olarak yanlış olan; dünyayı betimleme tarzından dolayı değil de içerdiği sözcüklerin anlamlarından dolayı doğru olan önerme türü.