kleveroAYT Mantık
Niceleme Mantığında Sembolleştirme (AYT Mantık) – Genişletilmiş Not
Klevi Felsefe ve Değerler Köşesi · Klevero ekibi · yapay zekâ destekli · Güncellendi:
Kazanımlar
50Niceleme mantığında, önermeleri ve çıkarımları sembolleştirir.
Konu Özeti
Niceleme mantığı, önermelerin iç yapısını öznesi ve yüklemiyle ele alır ve kaç varlıktan söz edildiğini niceleyicilerle (∀, ∃) gösterir. Böylece 'bütün', 'bazı', 'hiçbir' gibi ifadelerin mantıksal anlamı kesinleşir. Sembolleştirme, AYT'de geçerli çıkarımları ayırt etmenin en güvenilir yoludur.
Temel Kavramlar
Niceleme mantığında her varlık bir birey değişkeni (x, y, z) ya da birey sabiti (a, b, c) ile gösterilir. Özellikler ise büyük harfli yüklemlerle (P, Q, R) ifade edilir.
| Sembol | Anlamı | Okunuşu |
|---|---|---|
| x, y, z | Birey değişkeni | Herhangi bir varlık |
| a, b, c | Birey sabiti | Belirli bir varlık (Ali, Ankara) |
| P, Q, R | Yüklem (özellik) | x'in taşıdığı özellik |
| ∀x | Tümel niceleyici | Her x için, bütün x'ler |
| ∃x | Tikel (varlık) niceleyici | En az bir x için, bazı x'ler |
| ∧, ∨, →, ↔, ~ | Bağlaçlar | ve, veya, ise, ancak ve ancak, değil |
Dikkat: 'Bazı' mantıkta 'en az bir' demektir; 'bazıları değil' anlamına gelmez. 'Bazı x P'dir' önermesi 'hepsi P olabilir' ihtimalini dışlamaz.
Önermeleri Sembolleştirme
Tekil önerme, belirli bir bireyin özelliğini yüklem ve sabitle gösterir. Örneğin 'Ali öğrencidir.' önermesi Ö(a) biçiminde yazılır; burada Ö: öğrenci olmak, a: Ali'dir.
Tümel ve tikel önermeler dört temel kalıpta toplanır:
| Önerme türü | Örnek | Sembolü |
|---|---|---|
| Tümel olumlu | Bütün insanlar ölümlüdür. | ∀x [İ(x) → Ö(x)] |
| Tümel olumsuz | Hiçbir kuş memeli değildir. | ∀x [K(x) → ~M(x)] |
| Tikel olumlu | Bazı öğrenciler çalışkandır. | ∃x [Ö(x) ∧ Ç(x)] |
| Tikel olumsuz | Bazı öğrenciler çalışkan değildir. | ∃x [Ö(x) ∧ ~Ç(x)] |
- Tümel niceleyici (∀) ile özne ve yüklem 'ise' (→) bağlacıyla bağlanır.
- Tikel niceleyici (∃) ile özne ve yüklem 've' (∧) bağlacıyla bağlanır.
- Sık hata: ∀x [Ö(x) ∧ Ç(x)] yazmak 'Her varlık hem öğrenci hem çalışkandır' demek olur; bu istenen anlam değildir.
- Sık hata: ∃x [Ö(x) → Ç(x)] yazmak da yanlıştır.
Niceleyicilerin Değillenmesi
~∀x P(x) ≡ ∃x ~P(x)
~∃x P(x) ≡ ∀x ~P(x)
Değilleme niceleyiciyi değiştirir ve yüklemi de değillenir. 'Bütün kuşlar uçar'ın değili 'Uçmayan en az bir kuş vardır'dır.
Notun devamı (Klevero uygulamasında)
- Adım Adım Örnekler
- Sık Yapılan Hatalar
- Mini Özet Tablo
- Kontrol Soruları