Bir önermenin doğruluk değerinin bilinmesi için deney ve gözleme başvurulması gerekiyorsa, bu tür önermelere ne ad verilir?