Sembolik Mantık: Semboller, Doğruluk ve Çıkarım

Bir cümle ne zaman sembolik önermeye dönüşür?

Önermeler mantığının başlangıç noktası, doğru ya da yanlış bir doğruluk değerine sahip olabilen bildirme cümlesidir. "Ankara Türkiye'nin başkentidir" bir önerme olarak ele alınabilir; çünkü doğru veya yanlış olarak değerlendirilebilir. Buna karşılık "Kapıyı kapat!" bir emir, "Bugün gelecek misin?" bir soru olduğu için bu biçimiyle doğru-yanlış değeri taşıyan önerme değildir.

Bir önermeye p, q veya r gibi semboller verilir. Örneğin:

• p: "Kütüphane açıktır."
• q: "Öğrenci içeri girer."

Bu atama, p harfinin her durumda aynı cümleyi temsil etmesini gerektirir. Aynı sembol bir yerde "Kütüphane açıktır", başka bir yerde "Sınav başlamıştır" anlamında kullanılamaz. Bu nokta, sembolik gösterimin tutarlı olmasının temel koşuludur.

Bir cümlede birden fazla yargı varsa cümle bileşik önermeye dönüşür. "Kütüphane açıktır ve öğrenci içeri girer" ifadesi p ∧ q biçiminde yazılır. Burada p ve q basit önermeler, ∧ ise onları birleştiren bağlaçtır. Sembolleştirme sırasında önce cümlenin en küçük anlamlı parçaları ayrılır, ardından bağlaçların yapısı belirlenir. Bağlacın yanlış seçilmesi, sonraki doğruluk tablosu sonucunu da değiştirir.

¬, ∧, ∨, → ve ↔ ifadelerinin doğruluk koşulları

Sembolik mantıkta temel bağlaçların anlamı, yalnızca Türkçe karşılıklarını bilmekle tamamlanmaz; hangi durumda doğru veya yanlış oldukları da bilinmelidir. Klasik iki değerli mantıkta her basit önerme D (doğru) ya da Y (yanlış) değerlerinden birini alır.

Olumsuzlama (¬p): p doğruysa ¬p yanlıştır; p yanlışsa ¬p doğrudur. Olumsuzlama tek bir önermenin doğruluk değerini tersine çevirir.

Tümel evetleme (p ∧ q): "p ve q" yalnızca p ile q'nun ikisi de doğru olduğunda doğrudur. İki öncülden biri bile yanlışsa bileşik önerme yanlıştır.

Tikel evetleme (p ∨ q): "p veya q" en az bir bileşen doğru olduğunda doğrudur. Buradaki mantıksal veya, günlük dildeki "yalnızca biri" anlamını zorunlu olarak taşımaz; p ve q'nun ikisi de doğru olduğunda da p ∨ q doğrudur.

Koşul (p → q): Bu ifade yalnızca p doğru ve q yanlış olduğunda yanlıştır. Diğer üç durumda doğrudur. Bu nedenle p → q, günlük dildeki neden-sonuç iddiasıyla birebir aynı değildir; klasik önermeler mantığında ön bileşenin doğru, ard bileşenin yanlış olduğu durum özel olarak yanlış kabul edilir.

Karşılıklı koşul (p ↔ q): p ve q aynı doğruluk değerine sahipse doğrudur. İkisi de doğru veya ikisi de yanlış olduğunda p ↔ q doğru; biri doğru, diğeri yanlış olduğunda yanlıştır.

İki basit önerme için dört olası değerlik satırı vardır: D-D, D-Y, Y-D ve Y-Y. Genel olarak n farklı basit önerme için satır sayısı $2^n$ olur. Bu nedenle üç değişkenli bir doğruluk tablosunda $2^3 = 8$ satır bulunur. Bu sayı, bütün olası doğruluk durumlarını eksiksiz incelemek için kullanılır.

Doğru önerme ile geçerli argüman arasındaki fark

Bir önermenin doğru olması, bir argümanın geçerli olduğu anlamına gelmez. Önerme düzeyinde tek bir cümlenin doğruluk değeri sorulur. Argüman düzeyinde ise öncüller ile sonuç arasındaki zorunlu ilişki incelenir.

Bir argüman, öncüller ve sonuçtan oluşur. "Eğer ders çalışırsam sınavı geçerim. Ders çalıştım. O hâlde sınavı geçerim" biçimi şöyle gösterilir:

1. p → q
2. p
3. ∴ q

Bu yapı Modus Ponens olarak adlandırılır. Geçerlilik kararında bakılan ölçüt şudur: Öncüllerin hepsinin doğru, sonucun yanlış olduğu bir satır var mı? Böyle bir satır yoksa argüman geçerlidir. Varsa argüman geçersizdir.

Burada geçerlilik, öncüllerin gerçek hayatta doğru olup olmadığından bağımsız biçimsel bir ölçüttür. Geçerli bir argümanın öncüllerinden biri gerçekte yanlış olabilir; bu durumda argüman biçim bakımından geçerli olsa bile sağlam olduğu söylenmez. Sağlamlık için hem geçerlilik hem de öncüllerin gerçek/doğru olması gerekir. Mevcut içerikte kullanılan temel ayrım, özellikle "sonuç doğru çıktıysa akıl yürütme doğrudur" hatasını önlemek açısından önemlidir.

Bir başka geçerli biçim Modus Tollens'tir:

1. p → q
2. ¬q
3. ∴ ¬p

Buna karşılık "p → q, q, o hâlde p" biçimi geçerli değildir. Çünkü q'nun doğru olması p'nin tek neden veya zorunlu koşul olduğunu göstermez. Bu hata, sonucun doğrulanması olarak bilinen yanlış çıkarım biçimidir.

Çözümlü Örnekler: sembolleştirmeden doğruluk kararına

Örnek 1 — Bir bileşik önermenin değeri

Verilenler:

• p: "Hava güneşlidir." ve p = D
• q: "Yarın yağmur yağacaktır." ve q = Y
• İfade: p ∧ ¬q

Çözüm adımları:

1. q = Y olduğundan, ¬q = D olur.
2. p = D ve ¬q = D değerleri yerine yazılır.
3. D ∧ D, bağlacın koşuluna göre D'dir.

Sonuç: p ∧ ¬q doğrudur. Burada yalnızca p'nin doğru olması yeterli değildir; ∧ bağlacı nedeniyle ikinci bileşen olan ¬q'nun da doğru olması gerekir.

Örnek 2 — Argümanın doğruluk tablosuyla incelenmesi

Verilenler:

1. Eğer kütüphane açıksa öğrenci içeri girer. (p → q)
2. Kütüphane açıktır. (p)
3. O hâlde öğrenci içeri girer. (q)

Çözüm adımları:

1. İki değişken olduğu için dört satır oluşturulur: D-D, D-Y, Y-D, Y-Y.
2. İlk satırda p = D ve q = D ise p → q = D, ikinci öncül p = D ve sonuç q = D olur.
3. p = D, q = Y satırında p → q = Y olduğu için ilk öncül doğru değildir; bu satır argümanın karşı örneği olamaz.
4. p = Y olan iki satırda ikinci öncül, yani p, doğru değildir.
5. Öncüllerin ikisinin birden doğru olduğu tek satır p = D, q = D satırıdır ve bu satırda sonuç da doğrudur.

Sonuç: Öncüller doğruyken sonucun yanlış olduğu satır bulunmadığından argüman geçerlidir. Bu, Modus Ponens biçimidir.

Karşılaştırma:

1. p → q
2. q
3. ∴ p

Bu ikinci yapı için p = Y, q = D satırına bakılır. p → q, p = Y olduğu için D; q da D'dir, fakat sonuç p = Y'dir. Öncüller doğruyken sonuç yanlış olabildiği için bu yapı geçersizdir.

Önermeler mantığından yüklemler mantığına geçiş

Önermeler mantığında bir cümle çoğunlukla bölünmez bir bütün olarak p veya q ile temsil edilir. Ancak "Bütün öğrenciler sınava girdi" ya da "Bazı öğrenciler kütüphanededir" gibi cümlelerde kişi, nesne ve bunların özellikleri arasındaki ilişkiyi göstermek gerekir. Bu noktada yüklemler mantığı daha ayrıntılı bir gösterim sağlar.

Örneğin Öğrenci(x), x'in öğrenci olduğunu; SınavaGirdi(x), x'in sınava girdiğini gösterebilir. "Bütün öğrenciler sınava girdi" ifadesi genel biçimde $∀x(Öğrenci(x) → SınavaGirdi(x))$ olarak yazılabilir. Buradaki ∀, tümel niceleyicidir ve ifade, ele alınan alandaki her x için koşulun sağlanmasını ister. "Bazı öğrenciler sınava girdi" ise $∃x(Öğrenci(x) ∧ SınavaGirdi(x))$ biçiminde gösterilebilir; ∃ en az bir nesnenin bulunduğunu belirtir.

Bu ayrım önemlidir: "Her öğrenci sınava girdi" ile "Bir öğrenci sınava girdi" aynı kapsamı taşımaz. İlkinde bütün öğrenciler için koşul aranır, ikincisinde tek bir örnek yeterlidir. Önermeler mantığı, bu iç yapıyı tek bir p sembolüyle gizleyebilir; yüklemler mantığı ise değişkenleri, özellikleri ve niceleyicileri açıkça gösterir. Bu nedenle sembolik mantık tek bir gösterimden ibaret değildir; incelenen yapıya göre önermeler mantığı veya yüklemler mantığı kullanılabilir.

Sık Yapılan Hatalar ve Karıştırılan Kavramlar

Mantıksal veya ile günlük dildeki dışlayıcı veya karıştırılır. p ∨ q, klasik önermeler mantığında p'nin veya q'nun ya da ikisinin doğru olduğu durumda doğrudur. "Sadece biri" anlamı kastediliyorsa ayrıca dışlayıcı veya yapısının tanımlanması gerekir.

Koşullu önermenin tersine çevrilmesi geçerli sanılır. p → q ile q → p aynı ifade değildir. "Ders çalışmak sınavı geçmek için yeterlidir" biçimindeki ilişki, sınavı geçen herkesin ders çalıştığını göstermez. Koşulun yönü korunmalıdır.

p → q ifadesinin yalnızca p ve q doğruyken doğru olduğu sanılır. Klasik doğruluk tablosunda bu koşul sadece p = D, q = Y satırında yanlıştır. p'nin yanlış olduğu satırlarda koşullu önerme doğru değer alır. Bu sonuç, günlük dildeki nedensellik beklentisiyle karıştırılmamalıdır.

Sonucun doğru olması argümanın geçerli olduğunu kanıtlamaz. Geçerlilik, sonucun gerçekten doğru çıkmasına değil, öncüller doğruyken sonucun yanlış olmasının mümkün olup olmamasına bakar. En hızlı kontrol, karşı örnek satırı aramaktır.

Geçerlilik ve tutarlılık aynı değildir. Tutarlılık, bir önerme kümesinin birlikte doğru olabileceği en az bir durum bulunmasıyla ilgilidir. Geçerlilik ise öncüller ile sonuç arasındaki çıkarım ilişkisidir. Bir argümanın geçerliliğini değerlendirirken yalnızca öncüllerin birbiriyle çelişip çelişmediğine bakmak yeterli değildir.

Doğal dildeki belirsizlik sembolleştirmede gizlenir. "Ali hızlı koşar ve kazanır" cümlesinde "kazanır"ın hangi yarışa ait olduğu açık değilse doğrudan sembol vermek sorunu çözmez. Önce kapsam ve anlam netleştirilmeli, sonra sembolik biçim kurulmalıdır.