Genel bakış
Açık önerme, doğruluk değeri içerdiği serbest değişkenlerin değerlerine bağlı olan matematiksel ifadedir. Örneğin x > 0 ifadesinde x belirtilmedikçe tek bir doğruluk değeri belirlenemez. Değişkene belirli bir değer atandığında ifade doğru veya yanlış olan bir önermeye dönüşür. Bu tür ifadeler yüklem olarak da adlandırılır.[1]
DEĞİŞKENLERİN BAĞLANMASI
Açık önermeyi kapalı bir önermeye dönüştürmenin başka yolu niceleyici kullanmaktır. Gerçek sayılar üzerinde bazı x değerleri için x > 0 olması doğruyken bütün x değerleri için aynı iddia yanlıştır. Bu nedenle değişkenin hangi kümeden seçildiği ve kullanılan niceleyici, ifadenin anlamını ve doğruluk değerlendirmesini birlikte belirler.[1]