📚 Tümel Evvetleme Nedir?
Tümel evvetleme, mantıkta bir önermenin öznesini oluşturan bütün elemanlar için geçerli olduğunu ifade eden bir yargıdır. Yani, bir şeyin tamamının belirli bir özelliğe sahip olduğunu belirtir.
- 🍎 Tümel: "Bütün", "hepsi", "her" gibiNiceleyiciler içerir.
- 🍏 Evvetleme: Olumlu bir yargıyı ifade eder. Bir şeyin varlığını veya bir özelliğe sahip olduğunu onaylar.
🧠 Tümel Evvetleme Örnekleri
* Bütün insanlar ölümlüdür.
* Her kedi miyavlar.
* Bütün gezegenler Güneş'in etrafında döner.
🤔 Tümel Evvetlemenin Yapısı
Tümel evvetleme önermeleri genellikle şu şekilde ifade edilir:
"Bütün A'lar B'dir."
Burada:
* A: Özneyi temsil eder (örneğin, insanlar, kediler, gezegenler).
* B: Yüklemi temsil eder (örneğin, ölümlü olmak, miyavlamak, Güneş'in etrafında dönmek).
✅ Tümel Evvetlemenin Özellikleri
*
Doğruluk Değeri: Bir tümel evvetleme önermesinin doğru olması için, özne sınıfına ait bütün elemanların yüklemde belirtilen özelliğe sahip olması gerekir. Eğer özne sınıfında yüklemde belirtilen özelliğe sahip olmayan tek bir eleman bile varsa, önerme yanlıştır.
*
Yanlışlanabilirlik: Tümel evvetleme önermeleri, tek bir karşı örnekle yanlışlanabilir. Örneğin, "Bütün kuğular beyazdır" önermesi, siyah bir kuğu bulunduğunda yanlışlanır.
✍️ Sembolik Gösterim
Tümel evvetleme, sembolik mantıkta şu şekilde gösterilir:
$\forall x (Ax \rightarrow Bx)$
Burada:
* $\forall$: "Her" anlamına gelen tümel niceleyici.
* $x$: Değişken.
* $Ax$: x'in A sınıfına ait olduğunu gösteren önerme.
* $Bx$: x'in B özelliğine sahip olduğunu gösteren önerme.
* $\rightarrow$: "İse" anlamına gelen koşul eki.
Bu ifade, "Her x için, eğer x A sınıfına aitse, x B özelliğine sahiptir" şeklinde okunur.
⚠️ Dikkat Edilmesi Gerekenler
* Tümel evvetleme önermeleri, genellemeler içerir. Bu nedenle, her zaman doğru olmayabilirler.
* Önermenin doğruluğunu değerlendirirken, özne sınıfına ait bütün elemanları göz önünde bulundurmak gerekir.
🎯 Özet
Tümel evvetleme, bir şeyin tamamı için geçerli olan olumlu bir yargıdır. Mantıkta önemli bir kavramdır ve günlük hayatta sıkça karşılaştığımız genellemelerin temelini oluşturur.
