ÖRNEK :
Sayma sayıları kümesi, N+ = {1,2,3, ...} dir. n bir sayma sayısı olmak üzere, P(n): 2n < 2n + 10 açık önermesinin doruluk kümesini bulunuz.
ÇÖZÜM :
n = 1 için P(1) : 21 < 2 . 1 + 10 (doğru)
n = 2 için P(2) : 22 < 2 . 2 + 10 (doğru)
n = 3 için P(3) : 23 < 2 . 3 + 10 (doğru)
n = 4 için P(4) : 24 < 2 . 4 + 10 (doğru)
n = 5 için P(5) : 25 < 2 . 5 + 10 (yanlış)
n = 6 için P(6) : 26 < 2 . 6 + 10 (yanlış)
Görüldüğü gibi; P(1), P(2), P(3), P(4) önermeleri doğrudur. Buna göre, doğruluk kümesi D = {1,2,3,4}’tür.