Önerme ve Doğruluk Değerleri
Matematikte önerme, doğru ya da yanlış olduğu kesin olan ifadelere denir. Her önermenin bir doğruluk değeri vardır - doğruysa 1, yanlışsa 0 ile gösterilir.
Birbirinden farklı n tane önermenin tam olarak 2^n tane doğruluk değeri vardır. Eğer iki önermenin doğruluk değerleri tamamen aynıysa, bunlara denk önermeler deriz.
Bir önermenin hükmünü değiştirdiğimizde ise o önermenin değili (olumsuzu) elde edilir. Bir önermeyi P ile gösterirsek, değili P' şeklinde gösterilir. Unutma, bir önermenin değilinin değili kendisine denktir!
⭐ Püf Nokta: Bağlaçları kullanarak önermeleri birleştirebiliriz. "Ve" bağlacı için her iki önermenin de doğru olması gerekir. "Veya" bağlacında ise en az birinin doğru olması yeterlidir. "Ya da" bağlacı, önermelerden sadece birinin doğru olması durumunda doğru sonuç verir.
