Mantıkta, bir önermenin doğruluk değerinin (doğru veya yanlış) bilinmesi gerektiği ilkesi aşağıdakilerden hangisidir?