Mantıkta, bir önermenin doğruluk değerinin (doğru veya yanlış) araştırılması aşağıdaki kavramlardan hangisinin alanına girer?
