Önermeler ve Temel Kavramlar
Günlük hayatta sürekli doğru ya da yanlış ifadeler kullanırız. İşte önerme tam da budur - kesin olarak doğru ya da yanlış diyebileceğimiz ifadeler.
"Ankara Türkiye'nin başkentidir" gibi ifadeler önerme olurken, "Benim boyum kısadır" gibi belirsiz ifadeler önerme değildir. Doğruluk değeri sisteminde doğru önermeler 1, yanlış önermeler 0 ile gösterilir.
İki önermenin doğruluk değerleri aynıysa bunlara denk önermeler denir ve ≡ sembolüyla gösterilir. N tane önermenin 2^n farklı doğruluk durumu vardır - bu sayede doğruluk tabloları oluştururuz.
Not: Önermeler p, q, r, s harfleriyle gösterilir ve matematiksel kesinlik sağlar.
