Sembolik Mantık (Önerme Eklemleri ve Doğruluk)

Sembolik mantık, AYT Felsefe Grubu testinin son ünitesi ve mantık başlığının matematikselleşmiş kapanışıdır. Test toplam 12 sorudan oluşur; bu ünite ortalama yılda 1 soruyla temsil edilir, ancak doğru çalışıldığında en kestirilebilir nokta atışı net üreten başlıklardan biridir. Sayısal kafa yapısı olan adaylara hızlı puan kapısıdır; çünkü konu büyük ölçüde tanımsal değil, kural tabanlıdır ve cevap tabloya bakılarak doğrudan okunur.

Konuya çoğu öğrenci ön yargılı yaklaşır: "sembolik" kelimesi soyut görünür, klasik mantığın kavramsal akışından farklı bir görsel sunar. Oysa sembolik mantık, klasik mantığın kurallarını harflerle ve işaretlerle yazıya dökmekten başka bir şey değildir. Önerme yerine p harfi, "ve" yerine ∧ işareti, "ise" yerine → oku konur. Beş işaret ve yedi-sekiz kural ezberlendiğinde, sınavda gelen her soru 30 saniyede çözülebilir hale gelir.

Bu Konuda İşlenecek Başlıklar

• Sembolik mantık nedir: Tanım, klasik mantıkla ilişki, tarihsel gelişim (Boole, Frege, Russell).
• Önerme eklemleri: Değil (~), ve (∧), veya (∨), ise (→), ancak ve ancak (↔) sembolleri ve doğal dil karşılıkları.
• Sembolleştirme: Doğal dildeki cümleyi sembolik ifadeye çevirme adımları.
• Doğruluk tabloları: Beş eklem için temel tablolar; bileşik formüllerin satır satır hesabı.
• Tutarlılık, geçerlilik, eşdeğerlik: Tablo üzerinden denetleme yöntemleri.
• Çözümleyici çizelge: Alt alta yazma ve çatal açma kuralları; tutarlılık-geçerlilik-eşdeğerlik testleri.
• Niceleme mantığı: Tümel niceleyici (∀), tikel niceleyici (∃), açık-kapalı önermeler, değilleme kuralları.
• Çok değerli mantık: Üç değerli mantık ve bulanık mantık.

Sembolik mantık, önermelerin içeriğine bakmaksızın, onları harfler, işaretler ve kurallarla sembolleştirerek inceleyen mantık alanıdır. Bir başka deyişle klasik mantığın matematiksel olarak biçimselleştirilmiş hâlidir. Klasik (Aristoteles) mantık, doğal dilin bütün belirsizlikleriyle ve örneklerin içeriğiyle çalışır; sembolik mantık ise içeriği bir kenara bırakıp yalnızca biçimle ilgilenir.

Sembolik mantığın doğuş gerekçesi pratiktir. Doğal dil çok anlamlıdır, belirsizlikler içerir, bağlamdan bağlama farklı yorumlanabilir. Örneğin "Ahmet ya işe gitti ya da uyudu" cümlesindeki "ya … ya da" Türkçede iki farklı anlama gelebilir: ikisinden en az biri (kapsayıcı veya) ya da tam olarak biri (dışlayıcı veya). Bu belirsizlikler önermeler arasındaki çıkarımları sıkça hatalı sonuçlara götürür. Sembolik mantık, her bir bağlacın anlamını tek bir sembole ve tek bir doğruluk tablosuna sabitleyerek bu belirsizliği ortadan kaldırır.

Sembolik Mantığın İki Bölümü

• İki değerli mantık: Bir önerme ya doğrudur (D, 1) ya yanlıştır (Y, 0). Üçüncü bir seçenek yoktur. AYT'de ağırlıklı işlenen ve sınavda en çok soru üreten alandır.
• Çok değerli mantık: Doğru-yanlış arasında ara değerler vardır (belirsiz, az doğru, çok doğru gibi). 2022 AYT sınavında doğrudan sorulmuştur; bu nedenle sona bırakılsa da göz ardı edilemez.

Tarihsel Çerçeve: Sembolik Mantığın Kurucuları

Modern sembolik mantığın temelleri 19. yüzyılın ortasında atılmıştır:

• George Boole (1854): "An Investigation of the Laws of Thought" adlı eseriyle düşünce yasalarını cebirsel işlemlere dönüştürmüş, bugün Boolean cebir denilen sistemi kurmuştur. Bilgisayar mantık devrelerinin teorik altyapısı bu kitaba dayanır.
• Gottlob Frege (1879): "Begriffsschrift" (Kavram Yazımı) adlı çalışmasıyla niceleyiciler (∀, ∃) ve önerme eklemleri için modern notasyonu önermiş, sembolik mantığı matematik temellendirme aracı olarak kullanmıştır.
• Bertrand Russell ve Alfred North Whitehead (1910-1913): Üç ciltlik Principia Mathematica ile matematiğin tamamını sembolik mantığın aksiyomlarından türetmeye girişmiş, sembolik mantığı 20. yüzyıl matematiksel düşüncesinin merkezine yerleştirmiştir.
• Claude Shannon (1937): Yüksek lisans tezinde Boolean cebirin elektrik anahtarlama devrelerine uygulanabileceğini göstermiş; bilgisayarın doğuşunu mümkün kılan bağlantıyı kurmuştur.

Sembolik mantığın temel taşı önermelerin harflere indirgenmesidir. Her bir önerme yerine küçük harf konur: p, q, r, s. Bu harfler "değişken" değil, doğrudan bir önermenin sembolik karşılığıdır.

Önerme Sembollerinin Kullanımı

• "Yağmur yağıyor" → p
• "Yer ıslak" → q
• "Ayşe çalışkandır" → p
• "Ali sınavı kazanır" → q

Her önerme bir doğruluk değerine sahiptir: ya doğrudur (D, 1) ya yanlıştır (Y, 0). İki değerli mantıkta üçüncü bir seçenek bulunmaz.

Beş Önerme Eklemi

Önerme eklemleri (logical connectives), önermeleri birbirine bağlayan operatörlerdir. Sembolik mantıkta beş temel eklem kullanılır:

Eklem Önceliği ve Notasyon İncelikleri

Sembolik mantıkta da matematiksel ifadelerde olduğu gibi parantez kullanılır. Parantez, hangi eklemin diğerlerini kapsadığını (yani ana eklemi) gösterir.

• ~(p ∧ q): Burada ana eklem değildir; parantez içindeki "ve"yi tümüyle olumsuzlar.
• ~p ∧ q: Burada ana eklem "ve"dir; sadece p olumsuzlanmıştır.
• (p → q) ∧ (q → r): Ana eklem ortadaki "ve"dir; iki koşullu önermeyi birleştirir.

Sembolleştirme, doğal dildeki bir cümleyi mantık sembolleriyle yeniden yazmaktır. Sınavda gelen sorular çoğunlukla iki kalıpta gelir: ya bir cümle verilir ve "aşağıdakilerden hangisi sembolik karşılığıdır" diye sorulur, ya da bir sembolik ifade verilir ve hangi cümleye karşılık geldiği istenir. Her iki yönde de aynı mantık işler.

Sembolleştirme Adımları

1. Önermelerin ayrılması: Cümledeki her atomik (parçalanamaz) önerme bulunur ve her birine bir harf atanır (p, q, r, …).
2. Eklemlerin tespiti: Cümledeki bağlaçlar belirlenir ve her birinin mantıksal eklem karşılığı yazılır.
3. Olumsuzluğun işaretlenmesi: "değil, -mez, olmayan" görüldüğünde ilgili harfin önüne ~ konur.
4. Parantezle yapının korunması: Birden fazla eklem varsa, hangi eklemin önce hangi eklemin sonra geldiği parantezle gösterilir.
5. Tekrar okuma: Sembolik ifade geri çevrilerek orijinal cümleyi koruyup korumadığı kontrol edilir.

Çözümlü Örnekler

Örnek 1. "Kaan çalışkan değildir."
Çözüm: "Kaan çalışkandır" → p. "değildir" olumsuzlamadır. Sembolleştirme: ~p

Örnek 2. "Ceren tıp veya diş hekimi okuyacak."
Çözüm: "Ceren tıp okuyacak" → p, "Ceren diş hekimi okuyacak" → q. "veya" tikel evetlemedir. Sembolleştirme: p ∨ q

Örnek 3. "Kaan ve Ceren çok başarılıdır."
Çözüm: "Kaan başarılıdır" → p, "Ceren başarılıdır" → q. "ve" tümel evetlemedir. Sembolleştirme: p ∧ q

Örnek 4. "Kerem çalışırsa kazanır."
Çözüm: "Kerem çalışır" → p, "Kerem kazanır" → q. "-sa" eki koşullu önermeyi gösterir. Sembolleştirme: p → q

Örnek 5. "Kerem ancak ve ancak çalışırsa başarır."
Çözüm: "Kerem çalışır" → p, "Kerem başarır" → q. "ancak ve ancak" karşılıklı koşuldur. Sembolleştirme: p ↔ q

Örnek 6. "Eğer hava güzel olursa pikniğe gideriz, ancak yağmur yağarsa evde kalırız."
Çözüm: "Hava güzel olur" → p, "Pikniğe gideriz" → q, "Yağmur yağar" → r, "Evde kalırız" → s. İlk yarı koşullu (p → q), ikinci yarı koşullu (r → s); aralarındaki "ancak" tümel evetleme bağlacı olarak işler. Sembolleştirme: (p → q) ∧ (r → s)

Çıkarımların Sembolleştirilmesi

Bir çıkarım, öncüllerden sonuca giden bir akıl yürütmedir. Sembolleştirilirken öncüller virgülle, sonuç ise üç noktayla (∴ – "o halde") ayrılır.

Örnek: "Her bitkiyi sevmek gerekir. Çiçek bitkidir. O hâlde çiçeği sevmek gerekir."

• p: "Her bitkiyi sevmek gerekir"
• q: "Çiçek bitkidir"
• r: "Çiçeği sevmek gerekir"
• Sembolleştirme: p, q ∴ r

Sembolik mantıkta önermeler, içerdikleri eklem sayısına göre ikiye ayrılır.

Basit Önerme

Basit önerme, içinde herhangi bir eklem barındırmayan, tek bir önerme harfinden oluşan ifadedir. Atomik önerme olarak da bilinir.

• p — basit önerme
• q — basit önerme
• "Mantık formel bir bilimdir" → p (basit)

Bileşik Önerme

Bileşik önerme, içinde en az bir eklem bulunduran önermedir. Eklem sayısı kaç olursa olsun, bir tane bile varsa önerme bileşik sayılır.

• p ∧ q — bileşik (∧ var)
• p → q — bileşik (→ var)
• p ↔ q — bileşik (↔ var)
• ~p ∨ q — bileşik (~ ve ∨ var)

Klasik ve Sembolik Mantık Arasındaki Önemli Fark

Klasik mantıkta olumsuz bir önerme basit sayılır, çünkü tek bir öznesi ve yüklemi vardır ("Ali çalışkan değildir" → tek özne, tek yüklem). Sembolik mantıkta ise olumsuzlama (~) bir eklem olarak kabul edildiğinden, önüne ~ alan her önerme bileşik sayılır.

Ana Eklem ve Ana Bileşen

Bir bileşik önermede birden fazla eklem varsa, bunlardan biri diğerlerini "kapsayan" yani önermenin bütününü etkileyen ana eklemdir. Ana eklem, bir önermenin köprüsüdür: önündeki ve arkasındaki ifadeleri birbirine bağlayan, en üst düzeydeki eklemdir.

Ana eklemin önündeki kısma ön bileşen, arkasındaki kısma art bileşen denir. Bu ikisini birlikte ana bileşen olarak da adlandırırız.

Ana Eklemi Bulma Örnekleri

• ~p: Ana eklem ~ (değilleme); ana bileşen p.
• ~(p ∧ q): Ana eklem ~ (parantezi tümüyle etkiliyor); ana bileşen (p ∧ q). ∧ ana eklem değildir; çünkü ~ tarafından kapsanıyor.
• (p ∧ q) → r: Ana eklem → (sağda ve solda iki ifadeyi birleştiriyor); ana bileşenler (p ∧ q) ve r.
• ~(p ∧ q) ∨ (q → p): Ana eklem ortadaki ∨; iki bileşik önermeyi birleştiriyor.

Doğruluk tablosu, bir önermenin ya da formülün, bileşenlerinin alabileceği bütün doğruluk değeri kombinasyonlarındaki sonucunu gösteren matristir. Bir formülde n tane farklı önerme harfi varsa, tablo 2ⁿ satır içerir. Tek harf için 2 satır, iki harf için 4 satır, üç harf için 8 satır vardır.

Standart Sıralama

İki harfli (p, q) bir formül için satır sırası geleneksel olarak şöyledir; ezberlenmesi soruları hızlandırır:

• p: D, D, Y, Y
• q: D, Y, D, Y

Üç harfli (p, q, r) tablolar için ise p ilk dört D-sonraki dört Y, q iki D-iki Y dönüşümlü, r ise sırayla D-Y dönüşümlü olur.

1. Değilleme (~p)

Önermenin doğruluk değerini tersine çevirir: doğruyu yanlış, yanlışı doğru yapar.

Çift değilleme (~~p) önermeyi kendisine eşitler: ~~p ≡ p. Bu, sembolik mantığın temel sadeleştirme kurallarından biridir.

2. Tümel Evetleme (p ∧ q)

Sadece her iki bileşen de doğruyken doğrudur; geri kalan tüm durumlarda yanlıştır.

3. Tikel Evetleme (p ∨ q)

En az bir bileşen doğruysa doğrudur; her ikisi de yanlışsa yanlıştır. Türkçe'deki "veya"nın kapsayıcı anlamına karşılık gelir.

4. Koşullu Önerme (p → q)

Sadece p doğru ve q yanlışken yanlıştır; diğer üç durumda doğrudur. Bu, sezgilere ters görünen ama kabul edilen tanımdır.

5. Karşılıklı Koşul (p ↔ q)

Her iki bileşen aynı doğruluk değerine sahipse doğrudur; farklıysa yanlıştır.

Beş ekleme ait tabloları öğrendikten sonra, doğruluk tablosu yöntemiyle önermelerin ve çıkarımların özelliklerini test edebiliriz. AYT'de en sık karşılaşılan dört denetleme türü vardır.

1. Bir Önermenin Tutarlılığı

Bir önerme, doğruluk tablosunda en az bir satırda doğru değer alıyorsa tutarlıdır. Hiç doğru değeri yoksa tutarsızdır.

• Sonuç sütunu en az bir D içeriyorsa: tutarlıdır.
• Sonuç sütunu tüm satırlarda Y ise: tutarsızdır (çelişki).

2. Birden Fazla Önermenin Birlikte Tutarlılığı

Birden fazla önerme aynı tabloda yan yana yazılır ve aynı satırda tüm önermelerin D değer aldığı en az bir durum varsa birlikte tutarlıdır. Aksi hâlde birlikte tutarsızdır.

3. Bir Önermenin Geçerliliği (Totoloji)

Bir önerme, doğruluk tablosunun her satırında D değer alıyorsa geçerlidir. Bu durumda önerme bir totoloji sayılır; mantıksal yapısı gereği her zaman doğru olan bir önermedir.

• Sonuç sütunu tamamen D ise: geçerli, totolojik.
• En az bir Y varsa: geçersiz.
• Sonuç sütunu tamamen Y ise: geçersiz ve tutarsız (çelişki).

Mantıksal İlişkiler Tablosu:

4. İki Önermenin Eşdeğerliği

İki formül, doğruluk tablosunda her satırda aynı doğruluk değerini alıyorsa eşdeğerdir. Sembol: ≡ ya da uzantısı (P ≡ Q ise P ↔ Q totolojisidir).

Çıkarımın Geçerliliği

Bir çıkarım iki yolla denetlenebilir:

Birinci yol — Tek formül kalıbı: Öncüller ∧ ile birleştirilir, sonuca → ile bağlanır. Yani çıkarım (öncül₁ ∧ öncül₂) → sonuç şeklinde tek formüle dönüştürülür. Bu formülün doğruluk tablosu hesaplanır:

• Tüm satırlar D ise: çıkarım geçerli.
• Tek bir satır bile Y ise: çıkarım geçersiz.

İkinci yol — Tutarlılık testi: Öncüller olduğu gibi, sonucun değili (~sonuç) yazılır. Tüm bunlar bir tabloda yan yana incelenir:

• Öncüller ile sonucun değili birlikte tutarsızsa: çıkarım geçerli.
• Birlikte tutarlıysa: çıkarım geçersiz.

Hatırlanması Gereken Beş Altın Kural

1. En az bir D varsa: önerme tutarlı; en az bir D yoksa: tutarsız.
2. Tüm yorumlar D ise: önerme geçerli ve totolojiktir.
3. En az bir Y varsa: önerme geçersiztir.
4. Tüm yorumlar aynıysa: iki önerme eşdeğerdir.
5. Geçerli her önerme tutarlıdır; ancak tutarlı her önerme geçerli değildir.

Bazı formüller, içerikleri farklı görünse de doğruluk tablolarında her satırda aynı değeri verirler. Bunlara mantıksal eşdeğer denir ve sınavda hem yorum sorularında hem de kısa yol yapma alıştırmalarında çok değerlidir.

De Morgan Kuralları

İskoç matematikçi Augustus De Morgan'ın (1806-1871) adıyla anılan iki temel eşdeğerliktir. Sembolik mantığın taşıyıcı kurallarındandır.

Koşullu Önermenin Eşdeğeri

Koşullu önerme (p → q), doğruluk tablosunda iki temel eşdeğerlik üretir:

• p → q ≡ ~p ∨ q (ise/veya dönüşümü)
• p → q ≡ ~q → ~p (karşıt-pozitif / contrapositive)

Karşıt-pozitif, Modus Tollens çıkarım biçiminin sembolik karşılığıdır. "Eğer yağmur yağarsa yer ıslanır" cümlesi mantıksal olarak "Yer ıslanmıyorsa yağmur yağmıyor" cümlesine eşittir. İki cümle aynı bilgiyi taşır.

Diğer Önemli Eşdeğerlikler

• Çift değilleme: ~~p ≡ p
• Karşılıklı koşul açılımı: p ↔ q ≡ (p → q) ∧ (q → p)
• Karşılıklı koşul ikinci açılım: p ↔ q ≡ (p ∧ q) ∨ (~p ∧ ~q)
• Dağılma kuralı: p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

Geçerli Çıkarım Biçimleri

Bazı çıkarım kalıpları, formülün hiçbir özel doğrulamasına gerek kalmadan tüm yorumlarda geçerlidir. Bunlar sınavda sıkça çeldirici olarak da kullanılır:

• Modus Ponens: p → q, p ∴ q (ön bileşen doğruysa art bileşen de doğrudur)
• Modus Tollens: p → q, ~q ∴ ~p (art bileşen yanlışsa ön bileşen de yanlıştır)
• Disjonksiyonel kıyas: p ∨ q, ~p ∴ q (en az biri doğru, biri yanlışsa diğeri doğru olmak zorundadır)
• Hipotetik kıyas: p → q, q → r ∴ p → r (zincirleme koşullu çıkarım)

Çözümlü Örnek: De Morgan Uygulaması

Soru: "Ali ve Ayşe sınava girmedi" cümlesi ile aşağıdakilerden hangisi eşdeğerdir?

p: "Ali sınava girdi", q: "Ayşe sınava girdi". Cümlenin sembolik karşılığı: ~(p ∧ q). De Morgan kuralı uygulandığında: ~p ∨ ~q, yani "Ali sınava girmedi ya da Ayşe sınava girmedi". Doğru cevap budur.

Doğruluk tablosu, eklem ve bileşen sayısı arttıkça hızla genişler. Üç bileşenli formül için 8 satır, dört bileşenli için 16 satır gerekir; işlem hatası kaçınılmaz olur. Bu sorunun çözümü için çözümleyici çizelge (semantic tableaux / truth tree) yöntemi geliştirilmiştir. Yöntem, formülü adım adım daha küçük parçalara bölerek çelişki arar; sonuca kısa yoldan ulaşır.

İki Temel Kural

Çözümleyici çizelgede iki ana uygulama kuralı vardır:

• Alt alta yazma: Bileşik önerme bileşenlerine ayrılır ve her bileşen alt alta yazılır. Çengelle birleştirilir. Anlamı: "iki bileşen de aynı yolda doğru olmalı" tür.
• Çatal açma: İki bileşen sol ve sağ olmak üzere ayrı dallara yazılır. Anlamı: "ya bu yol ya da öteki yol doğru" tur.

Beş Eklem İçin Çözümleyici Çizelge Kuralları

1. Tümel evetleme (p ∧ q): Alt alta yazma kuralı uygulanır.

  p ∧ q   [1]
    │
    p     [1'den türetildi]
    q

2. Tikel evetleme (p ∨ q): Çatal açma kuralı uygulanır.

       p ∨ q   [1]
        / \
       p   q   [1'den türetildi]

3. Koşullu önerme (p → q): Çatal açma; sol kola ~p, sağ kola q yazılır.

       p → q   [1]
        / \
      ~p   q   [1'den türetildi]

4. Karşılıklı koşul (p ↔ q): Çatal açma; sol kola "p ve q" (ikisi de doğru), sağ kola "~p ve ~q" (ikisi de yanlış) yazılır.

       p ↔ q   [1]
        / \
       p   ~p   [1'den türetildi]
       q   ~q

Olumsuzlanmış (Değilli) Eklemler

Bir eklemin önünde değilleme (~) varsa, o eklemin kuralı tersine döner.

• ~(p ∧ q): De Morgan'a göre ~p ∨ ~q olduğundan çatal açılır; sol kola ~p, sağ kola ~q yazılır.
• ~(p ∨ q): ~p ∧ ~q olduğundan alt alta yazma yapılır; ~p ve ~q yan yana eklenir.
• ~(p → q): p ∧ ~q olduğundan alt alta yazma yapılır; p ve ~q eklenir.
• ~(p ↔ q): Çatal açılır; sol kola "p, ~q", sağ kola "~p, q" yazılır.

Yol Kapanması ve Yol Açıklığı

Çözümleyici çizelgede her dal (yol), bağımsız bir doğruluk olasılığını temsil eder. Bir yol üzerinde aynı önermenin hem kendisi (p) hem de değili (~p) bulunuyorsa, o yol kapanır (genelde × ya da ⊥ ile gösterilir). Çelişki içermeyen yollar açık kalır.

Numaralandırma ve Öncelik

Çözümleyici çizelgede formül numaralandırılır (en üstte 1, sonraki adımlarda 2, 3, …). Hangi adımı önce çözmek gerektiği öncelik kuralıyla belirlenir:

1. Alt alta yazma kuralı önceliklidir. Çatal açma sonrası işler katlanır; önce alt alta yazma bitirilir.
2. Sol taraftan başla: Çatal açtıktan sonra sol kol önce, sonra sağ kol işlenir.
3. Yol kapandıysa o yolu kapat ve diğer yola geç.

Çözümleyici çizelge, doğruluk tablosunun yaptığı dört tür denetlemeyi de daha kısa yoldan yapar. Her test için izlenecek adımlar farklıdır, ancak temel bakış aynıdır: "bütün yollar kapanırsa formül çelişkili, en az bir yol açıksa formül tutarlı."

1. Bir Önermenin Tutarlılığı

Yöntem: Önerme olduğu gibi yazılır ve çözümlenir.

• En az bir açık yol kalırsa: önerme tutarlıdır.
• Tüm yollar kapanırsa: önerme tutarsızdır (çelişki).

2. Birden Fazla Önermenin Birlikte Tutarlılığı

Yöntem: Önermeler alt alta yazılır (sanki tek bir formülün parçalarıymış gibi) ve çözümlenir.

• En az bir açık yol varsa: birlikte tutarlı.
• Tüm yollar kapanırsa: birlikte tutarsız.

3. Bir Önermenin Geçerliliği

Yöntem: Önermenin değili alınır ve çözümlenir. (Mantık burada şudur: önerme her durumda doğruysa, değili her durumda yanlıştır; yani değili çelişkili olmalıdır.)

• Tüm yollar kapanırsa: önerme geçerlidir (totoloji).
• Bir açık yol varsa: önerme geçersizdir.

4. İki Önermenin Eşdeğerliği

Yöntem: Önermeler ↔ ile birleştirilir, sonucun değili alınır ve çözümlenir. (Yani ~(P ↔ Q) formülü çözümlenir.)

• Tüm yollar kapanırsa: önermeler eşdeğerdir.
• Açık yol varsa: eşdeğer değildirler.

5. Çıkarımın Geçerliliği

Yöntem: Öncüller olduğu gibi, sonucun değili ile birlikte alt alta yazılır ve çözümlenir.

• Tüm yollar kapanırsa: çıkarım geçerlidir.
• Açık yol varsa: çıkarım geçersizdir.

Çözümleyici Çizelge Test Tablosu

Çözümlü Örnek: ~p ∨ q Önermesinin Tutarlılığı

Adım 1: Önerme yazılır: ~p ∨ q

Adım 2: ∨ olduğu için çatal açılır; sol kola ~p, sağ kola q yazılır.

Adım 3: Her iki kolda da çelişki yok; iki yol da açık kalır.

Sonuç: Önerme tutarlıdır.

Çözümlü Örnek: Çıkarımın Geçerliliği

Çıkarım: p, p → q ∴ q (Modus Ponens)

Adım 1: Öncüller olduğu gibi, sonucun değili (~q) yazılır:
p
p → q
~q

Adım 2: p → q çatallanır; sol kola ~p, sağ kola q düşer.

Adım 3: Sol kolda hem p (öncülden) hem ~p bulunur → yol kapanır. Sağ kolda hem q (yeni gelen) hem ~q (sonucun değili) bulunur → yol kapanır.

Sonuç: Tüm yollar kapalı → çıkarım geçerlidir.

Önermeler mantığı, "Bütün insanlar ölümlüdür" gibi cümlelerin iç yapısını göremez; cümleyi tek bir p sembolüyle ifade eder. Oysa bu cümle aslında her insan için bir özellik (ölümlü olma) taşımaktadır. Niceleme mantığı (predicate logic / yüklem mantığı), önermelerin iç yapısını çözümleyerek özne, yüklem ve nicelik (ne kadar) bilgisini sembolleştirir.

Niceleme Mantığının İhtiyacı

Önermeler mantığı bağlaçları yakalar ama nicelikleri yakalayamaz. "Bütün insanlar ölümlüdür" ile "Bazı insanlar ölümlüdür" cümleleri önermeler mantığında ayrı sembollerle (p ve q) gösterilir; aralarındaki kavramsal bağ kaybolur. Niceleme mantığı, her ikisini de "insan", "ölümlü" ve "her/bazı" parçalarına ayırarak iç yapıyı korur.

İki Temel Niceleyici

• Tümel niceleyici (∀): Ters A şeklinde gösterilir. "Bütün, her, hepsi, hiçbiri" gibi tümel ifadeleri sembolleştirir.
• Tikel niceleyici (∃): Ters E şeklinde gösterilir. "Bazı, birtakım, birkaç, kimi, en az bir" gibi tikel ifadeleri sembolleştirir.

Bağlantı: Niceleyiciler ve Önerme Eklemleri

İki niceleyici, sembolik mantığın iki temel ekleminin sonsuza giden uzantısıdır:

• Tümel niceleyici (∀) tümel evetlemenin (∧) genişlemesidir. ∀x P(x) ifadesi "her x için P(x)" demektir; evrenin tüm elemanları için P doğru olmalıdır. ∧ kuralı: hepsi doğru olmalı.
• Tikel niceleyici (∃) tikel evetlemenin (∨) genişlemesidir. ∃x P(x) ifadesi "en az bir x için P(x)" demektir; evrende en az bir eleman P'yi sağlamalıdır. ∨ kuralı: en az biri doğru olmalı.

Niceleme Mantığının Temel Kavramları

• Değişken (x, y, z): Henüz belirsiz olan, evrenden alabileceği bütün değerlere açık sembol. "x bitkidir" cümlesindeki x değişkendir.
• Evren: Değişkenin yerine konulabilecek terimlerin oluşturduğu küme. "Çam ağacı, semizotu, masa" örnek bir evrendir.
• Açık önerme: İçinde değişken bulunduran ve henüz belirli bir doğruluk değeri taşımayan önerme. "x bitkidir" — açıktır.
• Kapalı önerme: Değişken yerine somut bir terim konmuş, doğruluk değeri belirlenmiş önerme. "Çam ağacı bitkidir" — kapalıdır.
• Niceleme: Açık önermenin başına bir niceleyici (∀ ya da ∃) konarak kapalı önerme hâline getirilmesi.
• Özelleme: Değişkenin yerine evrendeki elemanları yazarak doğruluk değerinin elde edilmesi.
• Gerçekleme: Özellemenin doğru çıktığı, yani önermeyi gerçekten doğrulayan eleman(lar).

Sembolleştirme Örnekleri

Örnek 1. "Her insan ölümlüdür."
"insan" → I(x), "ölümlüdür" → Ö(x). Sembolleştirme: ∀x (I(x) → Ö(x)) — "her x için, x insansa x ölümlüdür."

Örnek 2. "Bazı insanlar çalışkandır."
I(x), Ç(x). Sembolleştirme: ∃x (I(x) ∧ Ç(x)) — "en az bir x var ki x insandır ve x çalışkandır."

Örnek 3. "Bazı insanlar çalışkan değildir."
Sembolleştirme: ∃x (I(x) ∧ ~Ç(x))

Örnek 4. "Hiçbir kedi köpek değildir."
K(x), Kö(x). Sembolleştirme: ∀x (K(x) → ~Kö(x))

Aristoteles A-E-I-O Önermelerinin Niceleme Mantığındaki Karşılığı

Niceleme mantığında değilleme (~), niceleyiciye çarptığı anda onu ters niceleyiciye çevirir. Bu, niceleme mantığının en sık sınanan kuralıdır.

Temel Değilleme Kuralları

• ~∀x P(x) ≡ ∃x ~P(x): "Her x P değildir" = "Bazı x P değildir."
• ~∃x P(x) ≡ ∀x ~P(x): "Bazı x P değildir" = "Hiçbir x P değildir."

Mantık şu şekilde okunur: değil (∼) niceleyiciye çarptığında tipi değiştirir (∀ → ∃ ya da ∃ → ∀) ve içerideki yüklemin önüne kayar.

Çözümlü Örnekler

Örnek 1. "Bazı insanların sorumlu olduğu doğru değildir."
Sembolleştirme: ~∃x (İ(x) ∧ S(x)). Değil niceleyiciye dağıtıldığında ∃x ifadesi ∀x'e döner ve içerideki yüklemin önüne ~ kayar:
≡ ∀x ~(İ(x) ∧ S(x)) ≡ ∀x (İ(x) → ~S(x)) (De Morgan ve koşul açılımıyla).
Anlam: "Hiçbir insan sorumlu değildir."

Örnek 2. "Her insanın sorumlu olduğu doğru değildir."
Sembolleştirme: ~∀x (İ(x) → S(x)). Değil ∀x → ∃x'e döner:
≡ ∃x ~(İ(x) → S(x)) ≡ ∃x (İ(x) ∧ ~S(x)).
Anlam: "Bazı insanlar sorumlu değildir."

Önerme Türleri Niceleme Mantığında

Niceleme mantığı, önermeleri başka bir gözle de sınıflandırır:

• Tekil önerme: İçinde niceleyici yoktur. Örneğin "Ankara başkenttir" → tekildir.
• Genel önerme: İçinde niceleyici (∀ ya da ∃) vardır. Kendi içinde ikiye ayrılır:
  • Basit genel: Niceleyici var, önerme eklemi yok. "Bütün anneler güzeldir" → genel ve basit.
  • Bileşik genel: Hem niceleyici hem önerme eklemi var. "Hiçbir kedi köpek değildir" → genel ve bileşik (içinde değilleme var).

Tekil önermelerde de aynı ayrım vardır:

• Tekil basit: Niceleyici yok, eklem yok. "Onur akıllıdır."
• Tekil bileşik: Niceleyici yok ama eklem var. "Zeynep ve Yusuf kardeştir." (∧ var)

Niceleme Mantığında Çözümleyici Çizelge Kuralları

Çözümleyici çizelge niceleme mantığında da uygulanır; ek olarak iki kural devreye girer:

1. Tümel özelleme (∀ kuralı): ∀x P(x) varsa, evrenden bir eleman (a, b, …) seçilip P(a) yazılabilir. Bunu birden fazla kez yapmak da mümkündür.

2. Tikel özelleme (∃ kuralı): ∃x P(x) varsa, evrene yeni bir eleman (önceden kullanılmamış) atanır ve P(yeniEleman) yazılır.

3. Değilleme öncelikli işlem: Niceleyicinin önünde değil varsa, önce değil dağıtılarak niceleyici dönüştürülür.

İşlem Sırası

1. Tümel niceleyicinin değillemesini kaldır (~∀ → ∃~)
2. Tikel niceleyicinin değillemesini kaldır (~∃ → ∀~)
3. Alt alta yazma kurallarını uygula (∧, ~∨, ~→)
4. Çatal açma kurallarını uygula (∨, →, ↔, ~↔, ~∧)
5. Tikel niceleyicinin özellemesi yapılır (yeni eleman atanır)
6. En son tümel niceleyicinin özellemesi yapılır (var olan elemanlarla)

Çözümlü Örnek: Tikel-Tümel Tutarlılık Testi

Önerme: ∃x (G(x) ∧ ~G(x)) — "Öyle bir x vardır ki hem G(x) hem ~G(x)" — açıkça çelişkilidir.

Tikel özelleme: a için G(a) ve ~G(a). Aynı satırda hem G(a) hem ~G(a) → yol kapanır. Tek yol kapalı → tutarsız.

Klasik (Aristoteles) mantık ve sembolik mantığın iki değerli versiyonu, bir önermenin sadece doğru ya da yanlış olabileceğini varsayar. Bu varsayım, üçüncü halin imkânsızlığı ilkesinin kabulüdür. Ancak 20. yüzyılda bu ikilik sorgulanmaya başlanmış; gerçek dünyadaki belirsizlik durumlarını yakalayan çok değerli mantık sistemleri geliştirilmiştir.

Çok Değerli Mantığın Temel Tezi

Bir önerme yalnızca tam doğru ya da tam yanlış olmak zorunda değildir. Hayatta pek çok durum kısmen doğru, kısmen yanlıştır. "Bu adam uzun boyludur" cümlesi 1.85 m boyu için belirsiz, 1.95 m için "çok doğru", 1.65 m için "yanlış" olabilir. Klasik iki değerlilik bu gri tonları görmezden gelir.

Çok değerli mantık, bu nedenle Aristoteles'in kurduğu üçüncü halin imkânsızlığı ilkesini reddeder; doğru ve yanlış arasında ara değerler olabileceğini kabul eder.

Üç Değerli Mantık

İlk büyük çok değerli mantık örneğidir; Polonyalı mantıkçı Jan Łukasiewicz (1920'ler) tarafından geliştirilmiştir. Üçüncü değer olarak "belirsiz" eklenir.

• Doğru (D, 1)
• Yanlış (Y, 0)
• Belirsiz (B, ½)

Üç değerli mantıkta doğruluk tablosunun satır sayısı 3ⁿ formülüyle bulunur. Tek bileşen için 3 satır, iki bileşen için 9 satır gerekir. İki değerli mantığın 4 satırı yerine 9 satıra çıkıldığı için işlem yükü artar; ancak gerçek dünya verisini daha iyi yakalar.

Bulanık Mantık (Fuzzy Logic)

Üç değerli mantığın çok daha gelişmiş hâlidir; Azerbaycan asıllı Amerikalı bilgi bilimci Lotfi Zadeh tarafından 1965'te ortaya konmuştur. Bulanık mantıkta bir önerme 0 ile 1 arasında herhangi bir değer alabilir; doğruluğun dereceleri vardır.

• 1.00 = tam doğru
• 0.85 = çok doğru
• 0.60 = oldukça doğru
• 0.50 = belirsiz
• 0.30 = oldukça yanlış
• 0.00 = tam yanlış

Bulanık mantık şu temel önermeleri savunur:

• Doğru-yanlış arasında sonsuz sayıda ara değer vardır.
• Hayattaki kavramların büyük bölümü kesin değil derecelidir (uzun, sıcak, hızlı, akıllı vb.).
• Klasik mantığın ikiliği gerçek hayatın karmaşıklığını yakalayamaz.
• Gerçek dünyada doğru-yanlış, beyaz-siyah arasındaki ayrım net değildir.

Bulanık Mantığın Pratik Uygulamaları

Bulanık mantık günümüzde kuram olarak kalmamış, mühendislik uygulamalarında geniş yer bulmuştur:

• Çamaşır makineleri: Yük miktarına göre su ve deterjan miktarını otomatik ayarlama.
• Klimalar: Oda sıcaklığı, nem ve insan sayısına göre fan hızını dinamik kontrol etme.
• Otomatik şanzıman: Sürüş tarzına göre vites geçişlerini optimize etme.
• Tıbbi tanı sistemleri: Belirti şiddetini derecelendirerek hastalık olasılıklarını hesaplama.
• Yapay zekâ kontrol sistemleri: Robotik, görüntü tanıma, doğal dil işleme.

Sembolik Mantık Bölümleri Karşılaştırma

Sembolik mantık ünitesi, AYT Felsefe Grubu testinde 2022'den itibaren her yıl en fazla 1 soruyla yer almaktadır. Soru kalıpları belirli bir patern izler.

En Sık Karşılaşılan Soru Kalıpları

Çözümlü AYT Tipi Örnek 1: Sembolleştirme

Soru: "Eğer Ahmet sınavı kazanırsa burs alır." (p: Ahmet sınavı kazanır, q: Ahmet burs alır) Sembolik karşılığı?

Çözüm: "Eğer … se" → koşullu önerme (→). Sıra: önce ön bileşen p, sonra art bileşen q. Cevap: p → q.

Çözümlü AYT Tipi Örnek 2: Doğruluk Değeri Hesabı

Soru: p doğru, q yanlışken (p → q) ∧ ~q kaçtır?

Çözüm: p D + q Y → (p → q) sadece bu durumda Y'dir. ~q ise D olur. (Y) ∧ (D) = Y (∧ için iki taraf da D olmalı).

Çözümlü AYT Tipi Örnek 3: Eşdeğerlik (De Morgan)

Soru: "Ne çay ne de kahve içtim" (p: çay içtim, q: kahve içtim).

Çözüm: "Ne … ne de" → ikisi de yanlış: ~p ∧ ~q. De Morgan eşdeğeri: ~(p ∨ q). Her iki form da kabul edilir.

Çözümlü AYT Tipi Örnek 4: Karşıt-Pozitif

Soru: "Bir öğrenci çalışıyorsa başarılı olur." Eşdeğeri?

Çözüm: p → q'nin karşıt-pozitifi ~q → ~p: "Başarılı olmuyorsa çalışmıyordur." Çeldirici tuzaklar: ~p → ~q ve q → p eşdeğer DEĞİLDİR.

Çözümlü AYT Tipi Örnek 5: Modus Tollens

Soru: "Yağmur yağarsa yer ıslanır. Yer ıslanmamış. O hâlde yağmur yağmamıştır." Çıkarım türü?

Çözüm: p → q, ~q ∴ ~p kalıbı = Modus Tollens; geçerli çıkarım.

Çözümlü AYT Tipi Örnek 6: Niceleme Mantığı

Soru: "Bazı çiçekler kırmızı değildir" (Ç: çiçek, K: kırmızı).

Çözüm: "Bazı" → ∃; "değil" → ~. Sembolleştirme: ∃x (Ç(x) ∧ ~K(x)). Bu, klasik mantığın O (tikel olumsuz) önermesinin niceleme karşılığıdır.

Çözümlü AYT Tipi Örnek 7: Çok Değerli Mantık

Soru: Aşağıdaki ifadelerden hangisi bulanık mantığın temel tezidir?

• A) Her önerme ya doğrudur ya yanlıştır
• B) Doğru ile yanlış arasında ara değerler vardır
• C) Her sonuç deneyimle doğrulanmalıdır
• D) Mantık yalnızca biçimle ilgilenir

Çözüm: Bulanık mantık doğru-yanlış arasında derece ifade eder. Cevap: B.

Genel Sınav Stratejisi

• Beş eklemin doğruluk tablosu sınavda en hızlı puan kapısı; ezbere bilinmelidir.
• Koşullu önerme yanlışlığı tek bir satırdır: p D + q Y → Y. Bu kural soruların yarısını çözer.
• De Morgan ve karşıt-pozitif kuralları "ne … ne de", "olmazsa olmaz" gibi ifadelerde hızlı tanınır.
• Çıkarım sorularında ad ezberlemek değil, kalıp tanımak önemlidir.
• Çok değerli mantıkta üç eşleştirme: Aristoteles → iki değerli, Łukasiewicz → üç değerli, Zadeh → bulanık.