Önerme ve Doğruluk Değerleri
Önermeler, doğru ya da yanlış olabilen kesin yargı bildiren ifadelerdir. Soru, ünlem ve emir cümleleri önerme değildir. Önermeler genellikle p, q, r, s gibi harflerle gösterilir.
Bir önerme doğruysa değeri 1, yanlışsa değeri 0'dır. İki önerme için toplam 4 olası durum vardır. Genel olarak n sayıda önerme için 2ⁿ adet doğruluk değeri tablosu oluşturulabilir.
Doğruluk değerleri aynı olan iki önermeye denk önerme denir (p ≡ q). Bir önermenin değili, o önermenin tersini ifade eder. Örneğin, p doğruysa (1), değili yanlıştır (0). Bir önermenin değilinin değili kendisidir: (p)′' = p.
Dikkat! Eşitsizliklerin değilleri çok önemlidir: = işaretinin değili ≠, > işaretinin değili ≤, < işaretinin değili ≥ şeklindedir. "Armut meyvedir" önermesinin değili "Armut meyve değildir" olur.