doğruluk değerleri olan önermelere ......... denir.