Açık Önermeler ve Doğruluk Kümeleri
Açık önermeler, içinde değişken bulunan ve bu değişkenin değerine bağlı olarak doğru veya yanlış olabilen ifadelerdir. P(x), q(a), k(x,y) şeklinde gösterilirler. Denklemler ve eşitsizlikler de birer açık önermedir.
Bir açık önermenin doğru olmasını sağlayan tüm değerlerin kümesine doğruluk kümesi denir. Örneğin, P(x): "x bir tamsayı ve x² ≤ 10" önermesi düşünelim. x=-1 veya x=3 değerleri için önerme doğru, x=5 için yanlıştır. Doğruluk kümesi ise {-3, -2, -1, 0, 1, 2, 3} olacaktır.
Açık önermeleri değerlendirirken, eğer bir a değeri P(x) açık önermesini doğru yapıyorsa P(a)=1, yanlış yapıyorsa P(a)=0 şeklinde gösterilir. İki değişkenli P(x,y) şeklindeki açık önermelerde ise bu değişkenlerin her ikisinin de belirli koşulları sağlaması gerekir.
İpucu: Açık önermelerin doğruluk kümelerini bulurken önce değişkenin hangi kümenin elemanı olduğuna (doğal sayı, tamsayı, reel sayı vb.) dikkat et, sonra verilen koşulu sağlayan değerleri belirle.