Önermeler ve Doğruluk Değerleri
Önermeler, doğru ya da yanlış olduğu kesin olan hüküm bildiren ifadelerdir. Bir ifadenin önerme olabilmesi için doğru veya yanlış bir değer alması gerekir. Önermeleri genellikle p, q, r gibi harflerle gösteririz.
Önermelerin doğruluk değerlerini belirtmek için doğru önermeler "1" veya "D", yanlış önermeler ise "0" veya "Y" ile gösterilir. İfadenin doğru ya da yanlış olması önerme olmasını engellemez, önemli olan kesin bir hüküm bildirmesidir.
n tane önermenin birbirine göre 2^n farklı doğruluk durumu vardır. Örneğin, 5 farklı önerme için 2^5 = 32 farklı doğruluk durumu olabilir.
Not: "Bugün hava çok sıcak" gibi kişiden kişiye değişebilen ifadeler, kesin bir doğruluk değeri olmadığı için önerme sayılmaz!
Doğruluk değerleri aynı olan önermelere denk önermeler denir. p ve q önermeleri denk ise p = q şeklinde gösterilir. Denk değillerse p ≠ q şeklinde gösterilir. Örneğin, "7 asal bir sayıdır" ve "Su sıvı bir maddedir" önermeleri ikisi de doğru olduğu için denktir.