Ve, Veya, Her, Bazı: 9. Sınıf Matematik Mantığı

Matematik, kesin bir dildir — ve her dilin bağlaçları vardır. “Ve”, “veya”, “değil”, “ise” gibi küçük kelimeler ile “her”, “bazı” gibi niceleyiciler, bir matematiksel ifadenin anlamını ve doğruluğunu tamamen belirler.

Önerme Nedir?

Önerme, doğru ya da yanlış olduğu kesin olarak söylenebilen ifadedir. “$5$ asaldır” bir önermedir (doğru). “Bu soru zor” önerme değildir (kişiye göre değişir).

Mantık Bağlaçları

• Değil ($\neg$): önermenin tersi. “$5$ asaldır”ın değili “$5$ asal değildir”.
• Ve ($\wedge$): her ikisi de doğruysa doğru.
• Veya ($\vee$): en az biri doğruysa doğru.
• İse ($\Rightarrow$): koşul (hipotez) doğruyken sonuç (hüküm) yanlışsa, ifade yanlıştır; diğer durumlarda doğru.

Niceleyiciler

• “Her” (evrensel, $\forall$): istisnasız hepsi için. Bunu çürütmek için tek bir karşı örnek yeter.
• “Bazı” (varlıksal, $\exists$): en az bir tane için. Bunu doğrulamak için tek bir örnek yeter.

Karavan notu: Olumsuzlamada niceleyiciler yer değiştirir. “Her öğrenci geldi”nin değili “Her öğrenci gelmedi” değildir; doğrusu “Bazı öğrenciler gelmedi”dir. Bu ince ayrım, yeni sistemin en sevdiği sorulardandır.

Örnek

Soru: “Her çift sayı 4’e bölünür” önermesi doğru mudur?

Çözüm: Tek bir karşı örnek yeter: $6$ çift sayıdır ama $4$’e bölünmez. Demek ki önerme yanlıştır. “Her” iddiasını çürütmek için bir istisna bulmak yeterlidir.

Neden Önemli?

Mantık, hem algoritmaların hem de matematiksel ispatların iskeletidir. Bir iddiayı doğru kurmak, doğru olumsuzlamak ve karşı örnekle çürütmek — bunlar açık uçlu yazılıda gerekçeni sağlam kurmanın anahtarıdır.