Mantık Bağlaçları ve Niceleyiciler

Önerme Nedir?

Mantık biliminin temel taşı önermedir. Önerme, kesinlikle doğru veya kesinlikle yanlış olan, net bir hüküm (yargı) bildiren ifadelere denir. Bir ifadenin önerme olabilmesi için doğruluğunun veya yanlışlığının kişiden kişiye değişmemesi, objektif bir gerçekliğe veya matematiksel bir kurala dayanması gerekir. - Soru cümleleri, emir kipleri, istek ve ünlem ifadeleri önerme değildir. - "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme) - "2 + 2 = 5" (Yanlış bir önerme, ama bir önermedir çünkü hüküm bildirir.) - "En güzel renk mavidir." (Önerme değildir, özneldir.)

Önermeler genellikle $p, q, r, s$ gibi küçük harflerle isimlendirilir. Bir önermenin doğru olması durumuna 1 (veya D), yanlış olması durumuna ise 0 (veya Y) denir. Buna önermenin doğruluk değeri denir. Örneğin $p$: "Bir gün 24 saattir." önermesi için doğruluk değeri $p \equiv 1$ olarak gösterilir. ($\equiv$ denktir sembolüdür.)

Bir Önermenin Değili (Olumsuzu)

Bir önermenin hükmünün değiştirilmesiyle elde edilen yeni önermeye o önermenin değili (olumsuzu) denir. $p$ önermesinin değili $p'$ veya $\sim p$ ile gösterilir. - $p$: "Kar beyazdır." ($p \equiv 1$) - $p'$: "Kar beyaz değildir." ($p' \equiv 0$) Bir önermenin değilinin değili, önermenin kendisine denktir: $(p')' \equiv p$.

Bileşik Önermeler ve Mantık Bağlaçları

İki veya daha fazla önermenin mantık bağlaçları ("ve", "veya", "ya da", "ise", "ancak ve ancak") kullanılarak birbirine bağlanmasıyla elde edilen yeni önermelere bileşik önerme denir.

1. "Ve" Bağlacı ($\land$ - Conjunction)

İki önermenin "ve" bağlacı ile birleştirilmesiyle oluşur. Sadece her iki önerme de doğruyken sonuç doğru (1), diğer tüm durumlarda sonuç yanlıştır (0). Çarpma işlemine benzetilebilir. - $1 \land 1 \equiv 1$ - $1 \land 0 \equiv 0$ - $0 \land 1 \equiv 0$ - $0 \land 0 \equiv 0$

2. "Veya" Bağlacı ($\lor$ - Disjunction)

"Veya" bağlacında, önermelerden en az biri doğru ise sonuç doğru (1), sadece her ikisi de yanlışken sonuç yanlıştır (0). Toplama işlemine benzetilebilir (Ancak $1+1=1$ olarak düşünülmelidir). - $1 \lor 1 \equiv 1$ - $1 \lor 0 \equiv 1$ - $0 \lor 1 \equiv 1$ - $0 \lor 0 \equiv 0$

3. "Ya da" Bağlacı ($eebar$ - Exclusive OR)

"Ya da" bağlacında, önermelerin doğruluk değerleri farklıysa sonuç doğru (1), aynıysa sonuç yanlıştır (0). - $1 eebar 1 \equiv 0$ - $1 eebar 0 \equiv 1$ - $0 eebar 1 \equiv 1$ - $0 eebar 0 \equiv 0$ Not: "Veya" ile "Ya da" günlük dilde sıkça karıştırılır. "Çay veya kahve içerim" diyen biri her ikisini de içebilir ($\lor$). Ancak "Sinemaya ya da tiyatroya gideceğim" diyen biri sadece birini seçecektir ($eebar$).

4. "İse" Bağlacı ($\Rightarrow$ - Koşullu Önerme)

$p \Rightarrow q$ önermesi, "p ise q" şeklinde okunur. Bu koşullu önerme, sadece $p$ doğru, $q$ yanlışken sonuç yanlıştır (0). Diğer tüm durumlarda doğrudur (1). "Söz verip tutmama" durumu gibi düşünülebilir. Eğer söz verdiyseniz (p=1) ve sözünüzü tutmadıysanız (q=0), sonuç yalancılıktır (0). Ancak söz vermediyseniz (p=0), ne yaparsanız yapın yalancı olmazsınız (sonuç 1'dir). - $1 \Rightarrow 1 \equiv 1$ - $1 \Rightarrow 0 \equiv 0$ (Tek sıfır olan durum) - $0 \Rightarrow 1 \equiv 1$ - $0 \Rightarrow 0 \equiv 1$ Önemli Denkliği: $p \Rightarrow q \equiv p' \lor q$ şeklindedir.

5. "Ancak ve Ancak" Bağlacı ($\Leftrightarrow$ - İki Yönlü Koşullu Önerme)

$p \Leftrightarrow q$ önermesi, önermelerin doğruluk değerleri aynıysa doğru (1), farklıysa yanlış (0) sonucunu verir. "Ya da" bağlacının tam tersidir. - $1 \Leftrightarrow 1 \equiv 1$ - $1 \Leftrightarrow 0 \equiv 0$ - $0 \Leftrightarrow 1 \equiv 0$ - $0 \Leftrightarrow 0 \equiv 1$

De Morgan Kuralları

Mantık bağlaçlarında, parantez dışındaki değil alma işlemini içeri dağıtma kuralıdır. Kümelerdeki tümleme işlemine çok benzer. 1. $(p \land q)' \equiv p' \lor q'$ (Ve, veya'ya dönüşür.) 2. $(p \lor q)' \equiv p' \land q'$ (Veya, ve'ye dönüşür.)

Totoloji ve Çelişki

Bir bileşik önerme, kendisini oluşturan bileşenlerin tüm doğruluk değerleri için daima doğru (1) çıkıyorsa bu bileşik önermeye Totoloji, daima yanlış (0) çıkıyorsa buna Çelişki denir. - $p \lor p' \equiv 1$ (Daima doğrudur, dolayısıyla bir Totolojidir.) - $p \land p' \equiv 0$ (Daima yanlıştır, dolayısıyla bir Çelişkidir.)

Açık Önermeler ve Niceleyiciler

İçinde en az bir değişken (x, y gibi) barındıran ve değişkene verilen değerlere göre doğru ya da yanlış olan ifadelere açık önerme denir. Açık önermeyi doğru yapan değerlerin kümesine doğruluk kümesi adı verilir. Örnek: $P(x): "x^2 < 10, x$ bir doğal sayıdır." (Doğruluk kümesi: ${0, 1, 2, 3}$)

Niceleyiciler

Matematiksel ifadelerde nicelik belirten "her" ve "bazı (en az bir)" sözcüklerine niceleyici denir. 1. Evrensel Niceleyici ($orall$ - Her): Kendisinden sonra gelen elemanların tamamını kapsar. Bütün durumlar için geçerliliği ifade eder. 2. Varlıksal Niceleyici ($\exists$ - En az bir / Bazı): Söz konusu elemanlardan en az bir tanesinin sağlandığını ifade eder.

Niceleyicilerin Değili (Olumsuzu): - $(orall x, P(x))'$ önermesinin değili $\exists x, P'(x)$ şeklindedir. - $(\exists x, P(x))'$ önermesinin değili $orall x, P'(x)$ şeklindedir. Örneğin: "Her insanın iki gözü vardır." ($orall$) önermesinin değili, "Hiçbir insanın iki gözü yoktur." DEĞİLDİR! Doğru değili: "En az bir insanın iki gözü yoktur." ($\exists$) şeklinde olmalıdır.

Matematiksel mantık, hem felsefenin hem de modern matematiğin kalbidir. Aynı zamanda bilgisayar bilimlerinde mantıksal kapıların (logic gates) ve yazılımların temelini oluşturur.