🎓 Niceleme mantığı (Kuantörler mantığı) Test 1 - Ders Notu
Bu ders notu, Niceleme Mantığı (Kuantörler Mantığı) Test 1'de karşılaşacağınız Evrensel ve Varoluşsal Kuantörler, açık önermeler, nicelemeli önermelerin değili gibi temel konuları sade ve anlaşılır bir dille özetlemektedir.
📌 Kuantörler Nedir?
Matematiksel mantıkta, bir önermenin belirli bir değişken için ne kadar geçerli olduğunu ifade etmek için kullanılan sembollere kuantör denir. İki temel kuantör vardır:
- Evrensel Kuantör ($\forall$): "Her", "bütün", "tüm", "herhangi bir" gibi anlamlara gelir. Bir özelliğin, belirli bir kümenin tüm elemanları için geçerli olduğunu ifade eder. Örneğin, "Tüm insanlar ölümlüdür."
- Varoluşsal Kuantör ($\exists$): "Bazı", "en az bir", "vardır ki" gibi anlamlara gelir. Bir özelliğin, belirli bir kümenin en az bir elemanı için geçerli olduğunu ifade eder. Örneğin, "Bazı kuşlar uçar."
💡 İpucu: $\forall$ sembolü "A" harfinin (All - Hepsi) ters çevrilmiş hali gibi, $\exists$ ise "E" harfinin (Exists - Var) ters çevrilmiş hali gibi düşünülebilir.
📌 Açık Önermeler ve Evren
Kuantörleri kullanmadan önce, üzerinde çalıştığımız önermelerin ne anlama geldiğini ve hangi küme üzerinde düşündüğümüzü bilmeliyiz.
- Açık Önerme (Yüklem): İçinde en az bir değişken bulunan ve bu değişkenlere değer verildiğinde doğru ya da yanlış olabilen ifadelere denir. Genellikle $P(x)$, $Q(x,y)$ gibi gösterilir.
- Evren (Tanım Kümesi): Kuantörlerin ve açık önermelerdeki değişkenlerin alabileceği değerlerin tümünü içeren kümedir. Bir nicelemeli önermenin doğruluk değeri, evrene göre değişebilir.
📝 Örnek: "$P(x)$: $x$ bir asal sayıdır." ifadesi bir açık önermedir. Eğer evrenimiz doğal sayılar kümesi ise $x=2$ için $P(2)$ doğru, $x=4$ için $P(4)$ yanlıştır.
📌 Nicelemeli Önermelerin Oluşturulması
Açık önermeleri kuantörlerle birleştirerek, doğruluk değeri kesin olan nicelemeli önermeler elde ederiz.
- Evrensel Niceleme: "Her $x$ için $P(x)$ doğrudur." şeklinde ifade edilir ve $\forall x, P(x)$ şeklinde yazılır. Bu önermenin doğru olması için evrendeki *tüm* $x$ değerleri için $P(x)$ doğru olmalıdır.
- Varoluşsal Niceleme: "En az bir $x$ vardır ki $P(x)$ doğrudur." şeklinde ifade edilir ve $\exists x, P(x)$ şeklinde yazılır. Bu önermenin doğru olması için evrendeki *en az bir* $x$ değeri için $P(x)$ doğru olması yeterlidir.
⚠️ Dikkat: "Tüm insanlar nefes alır." ifadesi $\forall x, N(x)$ (burada $N(x)$: $x$ nefes alır) şeklinde nicelemeli bir önermedir. "Bazı çiçekler kokar." ifadesi ise $\exists x, K(x)$ (burada $K(x)$: $x$ kokar) şeklinde bir önermedir.
📌 Nicelemeli Önermelerin Değili
Bir nicelemeli önermenin değilini almak, mantıksal olarak çok önemlidir. Kuantörler ve değilleme sembolü ($\neg$) arasında özel bir ilişki vardır.
- Evrensel Kuantörün Değili: $\neg (\forall x, P(x))$ ifadesi, "Her $x$ için $P(x)$ doğru değildir" anlamına gelir. Bu, "En az bir $x$ vardır ki $P(x)$ doğru değildir" ile denktir. Yani, $\neg (\forall x, P(x)) \equiv \exists x, \neg P(x)$.
- Varoluşsal Kuantörün Değili: $\neg (\exists x, P(x))$ ifadesi, "En az bir $x$ yoktur ki $P(x)$ doğru olsun" anlamına gelir. Bu, "Her $x$ için $P(x)$ doğru değildir" ile denktir. Yani, $\neg (\exists x, P(x)) \equiv \forall x, \neg P(x)$.
💡 İpucu: Değilleme sembolü kuantörün içine girerken, kuantörün kendisi de değişir: $\forall \leftrightarrow \exists$ ve $\exists \leftrightarrow \forall$.
📝 Örnek: "Tüm kediler mırlar." ($\forall x, M(x)$) önermesinin değili "En az bir kedi mırlamaz." ($\exists x, \neg M(x)$) olur.
📌 Nicelemeli Önermelerin Doğruluk Değeri
Bir nicelemeli önermenin doğru mu yanlış mı olduğunu belirlemek için evreni ve açık önermenin tanımını dikkatlice incelemeliyiz.
- $\forall x, P(x)$ önermesinin doğru olması için, evrendeki *her* elemanın $P(x)$ özelliğini sağlaması gerekir. Tek bir eleman bile bu özelliği sağlamazsa, önerme yanlıştır.
- $\exists x, P(x)$ önermesinin doğru olması için, evrendeki *en az bir* elemanın $P(x)$ özelliğini sağlaması yeterlidir. Hiçbir eleman bu özelliği sağlamazsa, önerme yanlıştır.
⚠️ Dikkat: Evrenin (tanım kümesinin) ne olduğu, nicelemeli bir önermenin doğruluk değerini doğrudan etkiler. Örneğin, evren doğal sayılar ise $\exists x, x^2 = 9$ doğrudur ($x=3$ için). Ama evren çift sayılar ise bu önerme yanlıştır.
