Matematik ve mantıkta önerme, doğru ya da yanlış olarak kesin bir şekilde belirlenebilen ifadelere denir. Bir önermenin doğru veya yanlış olması, onun doğruluk değerini belirler.
Bir önermenin doğruluk değeri, o önermenin doğru (1 veya D) ya da yanlış (0 veya Y) olarak belirlenmesidir. Mantıkta bu değerler genellikle 1 (doğru) ve 0 (yanlış) ile gösterilir.
Soru 1: Aşağıdaki ifadelerden hangisi bir önerme değildir?
a) Ankara Türkiye'nin başkentidir.
b) 2 + 3 = 5
c) Bu soru çok zor!
d) Dünya Güneş'in etrafında döner.
e) \( \sqrt{16} = 4 \)
Cevap: c) "Bu soru çok zor!" ifadesi öznel bir yargı içerdiği için önerme değildir. Önermelerin doğruluğu veya yanlışlığı kesin olarak belirlenebilmelidir.
Soru 2: \( p: \) "Asal sayılar 2'den büyüktür." önermesinin doğruluk değeri nedir?
a) 1 (Doğru)
b) 0 (Yanlış)
c) Tanımsız
d) Hem 1 hem 0
e) Önerme değildir
Cevap: b) 2 asal sayı olmasına rağmen 2'den büyük değildir. Bu nedenle önerme yanlıştır ve doğruluk değeri 0'dır.