1. anlamı (eş anlamlısı): İçerisinde değişken bulunan ve bu değişkenin alacağı değerle doğruluğu veya yanlışlığı kesinleşen önerme
İçerisinde değişken bulunan ve bu değişkenin alacağı değerle doğruluğu veya yanlışlığı kesinleşen önerme