kleveroAYT Mantık
Niceleme Mantığının Temel Kuralları
Klevi Felsefe ve Değerler Köşesi · Klevero ekibi · yapay zekâ destekli · Güncellendi:
Kazanımlar
52Niceleme mantığında temel kurallarını uygular.
Konu Özeti
Niceleme mantığı, önermelerde 'bütün', 'bazı' ve 'hiçbir' gibi niceleyicilerle bir sınıfın hangi bölümünün söz konusu olduğunu belirten kategorik önermeleri inceler. Her kategorik önermede bir özne (S) ve bir yüklem (P) bulunur. Bu önermeler A, E, I ve O olmak üzere dört türe ayrılır. Bu türler arasındaki karşıtlık, dönüşüm ve değilleme kuralları AYT mantık sorularının temelini oluşturur.
Temel Kavramlar
Kategorik önermelerde nicelik (tümel ya da tikel) ile nitelik (olumlu ya da olumsuz) birlikte belirlenir. Dört önerme türünü bu iki özellik üzerinden ayırt edebilirsin.
| Simge | Önerme | Örnek | Nitelik / Nicelik |
|---|---|---|---|
| A | Tümel olumlu: Bütün S P'dir | Bütün insanlar ölümlüdür | Olumlu / Tümel |
| E | Tümel olumsuz: Hiçbir S P değildir | Hiçbir kuş memeli değildir | Olumsuz / Tümel |
| I | Tikel olumlu: Bazı S P'dir | Bazı öğrenciler çalışkandır | Olumlu / Tikel |
| O | Tikel olumsuz: Bazı S P değildir | Bazı öğrenciler çalışkan değildir | Olumsuz / Tikel |
- Tümel önermede kapsam sınıfın tamamıdır; tikel önermede en az bir elemanıdır.
- Mantıkta 'bazı' ifadesi 'en az bir' anlamındadır; 'bazısı değil' anlamını içermez.
- Tümel önermeler tikel önermelerden daha güçlü bir iddia taşır.
Karşıtlık (Mantık Karesi) Kuralları
| İlişki | Önermeler | Kural |
|---|---|---|
| Çelişik | A – O ve E – I | Biri doğruysa öteki yanlış, biri yanlışsa öteki doğrudur. |
| Karşıt | A – E | İkisi birden doğru olamaz; ikisi birden yanlış olabilir. Biri doğruysa öteki yanlıştır; biri yanlışsa öteki belirsizdir. |
| Altkarşıt | I – O | İkisi birden yanlış olamaz; ikisi birden doğru olabilir. Biri yanlışsa öteki doğrudur; biri doğruysa öteki belirsizdir. |
| Altıran (içerme) | A → I ve E → O | Tümel doğruysa tikel doğrudur. Tikel yanlışsa tümel yanlıştır. Tikel doğruysa tümel belirsiz; tümel yanlışsa tikel belirsizdir. |
A ↔ ¬O ve E ↔ ¬I (çelişik çiftler)
Değilleme ve Dönüşüm Kuralları
Bir kategorik önermenin değili, onun çelişiğidir. Değilleme yapılırken hem nicelik hem nitelik değişir. Bu kural sayesinde bir önermenin yanlışlığından doğrusunu çıkarabilirsin.
- A'nın değili O: Bütün S P'dir → Bazı S P değildir
- E'nin değili I: Hiçbir S P değildir → Bazı S P'dir
- I'nın değili E: Bazı S P'dir → Hiçbir S P değildir
- O'nun değili A: Bazı S P değildir → Bütün S P'dir
Sık yapılan hata: 'Bütün S P'dir' önermesinin değilini 'Hiçbir S P değildir' sanmak. Doğrusu 'Bazı S P değildir'dir, çünkü A ile E karşıttır, çelişik değildir.
Dönüşüm (Evirme) Kuralları
Dönüşümde öznenin ve yüklemin yeri değişir. Dönüşen önermenin doğruluk değeri korunmaya çalışılır, ancak her önerme her biçimde dönüşmez.
| Önerme | Dönüşümü | Not |
|---|---|---|
| A: Bütün S P'dir | Bazı P S'dir (I) | Tümel olumlu, tikel olumluya döner. |
| E: Hiçbir S P değildir | Hiçbir P S değildir (E) | Simetriktir, aynı kalır. |
| I: Bazı S P'dir | Bazı P S'dir (I) | Simetriktir, aynı kalır. |
| O: Bazı S P değildir | Dönüşmez | Tikel olumsuz dönüşmez. |
- Örnek: 'Bütün kediler hayvandır' doğruysa 'Bazı hayvanlar kedidir' da doğrudur; ancak 'Bütün hayvanlar kedidir' sonucu çıkarılamaz.
Notun devamı (Klevero uygulamasında)
- Adım Adım Örnekler
- Sık Yapılan Hatalar
- Mini Özet Tablo
- Kontrol Soruları