Bir açık önermenin doğruluk değerinin kesin olarak bilinebilmesi için aşağıdakilerden hangisi gereklidir?
