AYT Mantık Konu Anlatımı: Felsefe Mantık + Matematik Mantık, Çıkmış Soru Tipleri

AYT Mantık, Felsefe ve Matematik derslerinin kesişim noktası. AYT'de mantık soruları Felsefe kısmından geliyor ama Matematik mantığı da biliyor olman gerekiyor.

Bu yazıda, AYT mantık konusunu iki başlıkta anlatıyorum:

1. Felsefe Mantık — Kavram, önerme, çıkarım, sofizm
2. Matematik Mantık — Doğruluk tabloları, mantıksal bağlaçlar, önermeler

AYT Mantık Kaç Soru Çıkıyor?

AYT Felsefe'de ortalama 2-3 soru mantık konusundan geliyor. AYT Matematik'te ise 1-2 soru mantıkla ilgili çıkabiliyor. Toplam 3-5 soru — yani önemli bir pay.

Felsefe Mantık

Mantık Nedir?

Mantık, doğru düşünme ve doğru çıkarım yapma kurallarını inceleyen bilim dalıdır.

Temel soru: "Doğru sonuçlara nasıl ulaşırız?"

Kavram

Kavram: Zihinde oluşturduğumuz soyut düşünce birimi.

Kavramın iki boyutu:

• İçerik: Kavramın neyi ifade ettiği (anlam)
• Kapsam: Kavramın ne kadar nesneyi kapsadığı

Örnek:

• "Hayvan" kavramı → Kapsam geniş (tüm hayvanları kapsar), içerik dar
• "Kedi" kavramı → Kapsam dar, içerik geniş

Kapsam-İçerik ters orantısı: Kapsam arttıkça içerik azalır, içerik arttıkça kapsam azalır.

Kavram Çeşitleri

1. Tekil Kavram: Tek bir nesneyi ifade eder.

• "İstanbul", "Dünya", "Kamp"

2. Kolektif Kavram: Bir topluluğu ifade eder.

• "Ordu", "orman", "toplum"

3. Evrensel Kavram: Bir türün tüm bireylerini kapsar.

• "İnsan", "hayvan", "ağaç"

Kavram Arasındaki İlişkiler

1. Eşdeğer Kavramlar: İçerik ve kapsam aynı.

• "Dünya" = "Mavi gezegen"

2. Alt-Üst Kavram: Bir kavram diğerinin alt kavramı.

• "Kedi" → "Hayvan" (kedi, hayvanın alt kavramı)

3. Çakışan Kavramlar: Kapsamları kısmen örtüşür.

• "Öğretmen" ve "kadın" → Bazı öğretmenler kadındır

4. Dışlayıcı Kavramlar: Kapsamları hiç örtüşmez.

• "Kedi" ve "köpek" → Hiç kedi köpek değildir

Önerme

Önerme: Doğru veya yanlış değerine sahip olan yargı bildiren cümle.

Önerme OLAN cümleler:

• "Güneş doğudan doğar." (Doğru)
• "2 + 2 = 5" (Yanlış)
• "İstanbul Fransa'dadır." (Yanlış)

Önerme OLMAYAN cümleler:

• "Kapıyı kapat." (Emir cümlesi — doğru/yanlış yok)
• "Ne güzel hava!" (Ünlem cümlesi — doğru/yanlış yok)
• "Sen misin?" (Soru cümlesi — doğru/yanlış yok)

Önerme Çeşitleri

1. Tekil Önerme: Tek bir nesne hakkında yargı.

• "Sokrates bir insandır."

2. Evrensel Önerme: Bir türün tüm bireyleri hakkında yargı.

• "Tüm insanlar ölümlüdür."

3. Kısmi Önerme: Bir türün bazı bireyleri hakkında yargı.

• "Bazı insanlar saçı siyahtır."

Çıkarım (Silogizm)

Çıkarım: Bir veya birden fazla önermeden yeni bir önermeye ulaşma işlemi.

Silogizm: İki önermeden (öncül) bir sonuç çıkarma.

Klasik silogizm yapısı:

1. Büyük öncül: Genel yargı
2. Küçük öncül: Özel yargı
3. Sonuç: Çıkarılan yargı

Örnek:

• Büyük öncül: Tüm insanlar ölümlüdür.
• Küçük öncül: Sokrates bir insandır.
• Sonuç: Sokrates ölümlüdür.

Silogizmin Geçerlilik Kuralları

1. Ortak terim (ortak kavram) olmalı: Büyük ve küçük öncülde ortak bir kavram olmalı.
2. Ortak terim en az bir öncülde evrensel olmalı: Ortak kavram en az bir öncülde tüm bireyleri kapsamalı.
3. Sonuçta evrensel olan terim öncüllerde de evrensel olmalı: Sonuçta "tüm" denilen bir kavram, öncüllerde de "tüm" olarak geçmeli.

Geçersiz silogizm örneği:

• Büyük öncül: Tüm kediler hayvandır.
• Küçük öncül: Tüm köpekler hayvandır.
• Sonuç: Tüm köpekler kedidir. ❌

Neden geçersiz? "Hayvan" ortak terim ama hiçbir öncülde evrensel olarak kullanılmıyor (ikisinde de evrensel ama sonuç yanlış).

Sofizm (Gizli Yanıltma)

Sofizm: Geçerli gibi görünen ama geçersiz olan çıkarım.

Sofizm çeşitleri:

1. Kavramsal Sofizm: Kavramların yanlış kullanılması.

• "Tüm insanlar ölümlüdür. Sokrates ölümlüdür. Dolayısıyla Sokrates insandır." → Yanlış! (Sonuç ters çıkarım)

2. Mantıksal Sofizm: Çıkarım kuralının ihlal edilmesi.

• "Bazı kediler siyahtır. Siyah olanlar hayvanlardır. Dolayısıyla bazı kediler hayvanlardır." → Geçerli ama mantıksal hata var.

3. Dilbilimsel Sofizm: Dilin çok anlamlılığından kaynaklanan yanıltma.

• "Her şey zamanla değişir. Bilgi bir şeydir. Dolayısıyla bilgi zamanla değişir." → "Şey" kavramı iki farklı anlamda kullanılmış.

Matematik Mantık

Doğruluk Değeri

Bir önermenin doğru (D) veya yanlış (Y) olması durumuna doğruluk değeri denir.

Örnek:

• p: "3 bir asal sayıdır." → D (Doğru)
• q: "5 bir çift sayıdır." → Y (Yanlış)

Mantıksal Bağlaçlar

1. VE (∧) — Konjonksiyon

p ∧ q: p VE q. Sadece ikisi de doğruysa doğru.

p	q	p ∧ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	Y

2. VEYA (∨) — Disjonksiyon

p ∨ q: p VEYA q. En az biri doğruysa doğru.

p	q	p ∨ q
D	D	D
D	Y	D
Y	D	D
Y	Y	Y

3. İmkansız VEYA (⊕) — Dışlayıcı VEYA

p ⊕ q: p VEYA q ama ikisi aynı anda doğru olamaz.

p	q	p ⊕ q
D	D	Y
D	Y	D
Y	D	D
Y	Y	Y

4. EĞER... İSE (→) — Koşul (İmplikasyon)

p → q: p İSE q. Sadece p doğru ve q yanlışsa yanlış.

p	q	p → q
D	D	D
D	Y	Y
Y	D	D
Y	Y	D

Önemli: p → q, "p ise q" demek. Sadece "doğru ise yanlış" durumunda yanlış olur.

5. İFF (↔) — İki Yönlü Koşul (Ekvivalans)

p ↔ q: p İFF q. İkisi aynı doğruluk değerine sahipse doğru.

p	q	p ↔ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	D

Değil (¬) — Negasyon

¬p: p'nin tersi. Doğruysa yanlış, yanlışsa doğru.

p	¬p
D	Y
Y	D

Mantıksal Eşdeğerlikler

1. De Morgan Kuralları:

• ¬(p ∧ q) ≡ ¬p ∨ ¬q
• ¬(p ∨ q) ≡ ¬p ∧ ¬q

2. İmplikasyonun Eşdeğeri:

• p → q ≡ ¬p ∨ q

3. Çift Negasyon:

• ¬(¬p) ≡ p

4. İki Yönlü Koşul:

• p ↔ q ≡ (p → q) ∧ (q → p)

Ters, Karşılıklı, Ters Karşılıklı

p → q önermesi için:

• Ters: ¬p → ¬q
• Karşılıklı (İntikali): q → p
• Ters Karşılıklı: ¬q → ¬p

Önemli: p → q ile ters karşılıklı (¬q → ¬p) mantıksal olarak eşdeğerdir.

Örnek:

• Orijinal: "Yağmur yağarsa, çimler sulanır." (p → q)
• Ters: "Yağmur yağmazsa, çimler sulanmaz." (¬p → ¬q) — Eşdeğer DEĞİL
• Karşılıklı: "Çimler sulanırsa, yağmur yağar." (q → p) — Eşdeğer DEĞİL
• Ters Karşılıklı: "Çimler sulanmazsa, yağmur yağmaz." (¬q → ¬p) — Eşdeğer

Doğruluk Tablosu Oluşturma

Adım 1: Önermeleri belirle.
Adım 2: Satır sayısı = 2ⁿ (n = önerme sayısı)
Adım 3: Bağlaçlara göre sütunları doldur.

Örnek: (p ∧ q) → ¬p doğruluk tablosu

p	q	p ∧ q	¬p	(p ∧ q) → ¬p
D	D	D	Y	Y
D	Y	Y	Y	D
Y	D	Y	D	D
Y	Y	Y	D	D

AYT'de Çıkan Soru Tipleri

Tip 1: Kavram Kapsam-İçerik

"Hayvan" ve "memeli" kavramları arasındaki ilişki nedir?

Çözüm:

• "Hayvan" → Kapsam geniş, içerik dar
• "Memeli" → Kapsam dar, içerik geniş
• "Memeli", "hayvan"ın alt kavramıdır.

Cevap: Alt-üst kavram

Tip 2: Silogizm Geçerliliği

Aşağıdaki çıkarımlardan hangisi geçerlidir?

A) Tüm kediler hayvandır. Tüm köpekler hayvandır. Tüm köpekler kedidir.
B) Tüm insanlar ölümlüdür. Sokrates insandır. Sokrates ölümlüdür.
C) Bazı kediler siyahtır. Bazı siyah olanlar kedidir. Tüm kediler siyahtır.

Çözüm:

• A: Yanlış — ortak terim "hayvan" ama sonuç yanlış çıkarım
• B: Doğru — klasik geçerli silogizm
• C: Yanlış — "bazı" önermelerden "tüm" sonucu çıkaramayız

Cevap: B

Tip 3: Sofizm Tanıma

"Tüm insanlar düşünebilir. Tüm kediler düşünebilir. Dolayısıyla tüm kediler insandır." çıkarımındaki hata nedir?

Çözüm:

• "Düşünebilir" ortak terim ama iki öncülde de evrensel olarak kullanılmış
• Sonuç yanlış — ortak terim evrensel ama sonuçta yanlış çıkarım yapılmış
• Bu bir kavramsal sofizm

Cevap: Kavramsal sofizm

Tip 4: Doğruluk Tablosu

p → q önermesinin doğruluk değeri yanlış olursa, p ve q'nun doğruluk değerleri sırasıyla nedir?

Çözüm:

• p → q sadece D → Y durumunda yanlış olur
• p = D, q = Y

Cevap: Doğru, Yanlış

Tip 5: Mantıksal Eşdeğerlik

p → q önermesine eşdeğer olan hangisidir?

A) q → p
B) ¬q → ¬p
C) ¬p → ¬q
D) p ↔ q

Çözüm:

• p → q ≡ ¬q → ¬p (ters karşılıklı)

Cevap: B

Tip 6: De Morgan Kuralları

¬(p ∧ q) önermesine eşdeğer olan hangisidir?

A) ¬p ∧ ¬q
B) ¬p ∨ ¬q
C) p ∨ q
D) ¬p → ¬q

Çözüm:

• De Morgan: ¬(p ∧ q) ≡ ¬p ∨ ¬q

Cevap: B

Sık Yapılan Hatalar

Hata 1: Kavram kapsam-İçerik karıştırma

Kapsam arttıkça içerik azalır. "Hayvan" → kapsam geniş, içerik dar. "Kedi" → kapsam dar, içerik geniş.

Hata 2: Silogizmde ters çıkarım

"Tüm insanlar ölümlüdür. Sokrates ölümlüdür. Dolayısıyla Sokrates insandır." → Yanlış! Bu ters çıkarım.

Hata 3: İmplikasyonda yanlış yorum

p → q önermesinde, p yanlışsa sonuç her zaman doğru. "Eğer 2+2=5 ise, ben başbakanım." → Doğru (çünkü p yanlış).

Hata 4: De Morgan kuralını yanlış uygulama

¬(p ∧ q) ≡ ¬p ∨ ¬q (VE'den VEYA'ya geçer, değil işareti dağılır)
¬(p ∨ q) ≡ ¬p ∧ ¬q (VEYA'dan VE'ye geçer)

Hata 5: İki yönlü koşul ile tek yönlü koşul karıştırma

p → q ile q → p eşdeğer DEĞİL. Sadece p ↔ q durumunda eşdeğer.

DigiKamp ile Pratik Yap

DigiKamp'ın AI Ders Hocam özelliği, mantık konusunda takıldığın her adımda sana yardımcı olur. Adaptif Soru Seçimi ile zayıf olduğun alt konuları (örneğin silogizm veya doğruluk tabloları) tespit edip ekstra soru çözersin.

Konu anlatımı için: AYT Felsefe — Mantık

Diğer AYT Felsefe konularını da inceleyebilirsin:

• Psikoloji
• Estetik
• Etik

Özet

AYT Mantık, Felsefe ve Matematik'in kesişim noktası. Önemli noktalar:

• Kavram: Kapsam-İçerik ters orantılı
• Silogizm: Büyük öncül + küçük öncül → sonuç
• Sofizm: Geçerli gibi görünen ama geçersiz çıkarım
• Mantıksal bağlaçlar: VE, VEYA, EĞER...İSE, İFF, DEĞİL
• De Morgan: ¬(p ∧ q) ≡ ¬p ∨ ¬q
• İmplikasyon: p → q ≡ ¬q → ¬p (ters karşılıklı)
• Doğruluk tablosu: 2ⁿ satır (n = önerme sayısı)

Bu konuları pekiştirmek için AYT Felsefe — Mantık sayfamızda pratik yapabilirsin.