Modern Mantık: Sembollerle Geçerli Akıl Yürütme Rehberi

Doğal cümleyi p, q ve r ile biçimsel dile çevirme

Modern mantıkta önce cümlenin mantıksal bakımdan bölünemeyen parçaları belirlenir. Bu parçalar genellikle p, q ve r gibi önerme harfleriyle gösterilir. Önerme harfi, doğru ya da yanlış olabilen bir cümlenin tamamını temsil eder. Soru, emir ve tek başına doğru-yanlış değeri taşımayan ifadeler bu bağlamda basit önerme olarak alınmaz.

Bağlaç seçimi, çevirinin en kritik aşamasıdır:

• Değil: $¬p$
• Ve: $p ∧ q$
• Veya: $p ∨ q$
• İse: $p → q$
• Ancak ve ancak: $p ↔ q$

Veya bağlacı, verilen içerikteki klasik iki değerli kullanım bakımından en az bir önermenin doğru olmasını ifade eder; iki önerme de doğruysa bileşik önerme yine doğrudur. İse bağlacında ise yalnızca öncül doğru, sonuç yanlış olduğunda bileşik önerme yanlıştır. Bu nedenle günlük dildeki nedensellik ile mantıksal koşul aynı kabul edilmemelidir: $p → q$, p'nin q'ya fiziksel olarak neden olduğunu değil, belirli bir doğruluk koşulunu gösterir.

Parantezler işlem sırasını açıklar. Örneğin $¬p ∨ q$ ile $¬(p ∨ q)$ aynı ifade değildir. İlkinde yalnızca p olumsuzlanır; ikincisinde p ile q'nun oluşturduğu bütün bileşik önerme olumsuzlanır. Doğal dilden sembollere geçerken önce cümleleri ayırmak, sonra bağlacı seçmek ve son olarak parantezleri yerleştirmek gerekir.

Bağlaçların doğruluk koşulları ve karar verme yöntemi

Bir bağlacın sembolünü bilmek yeterli değildir; hangi durumda doğru veya yanlış olduğuna da bakılmalıdır. İki değerli önermeler mantığında her temel önerme doğru ya da yanlıştır. İki temel önermeden oluşan bir bileşik ifade için dört olası doğruluk satırı bulunur: p ve q'nun ikisinin de doğru olduğu, yalnızca p'nin doğru olduğu, yalnızca q'nun doğru olduğu ve ikisinin de yanlış olduğu durumlar.

Başlıca karar kuralları şöyledir:

• $p ∧ q$ yalnızca p ve q birlikte doğruysa doğrudur.
• $p ∨ q$, p veya q'dan en az biri doğruysa doğrudur.
• $p → q$ yalnızca p doğru ve q yanlış olduğunda yanlıştır. Öncül yanlışsa, q'nun değerinden bağımsız olarak bu koşullu ifade doğru kabul edilir.
• $p ↔ q$, p ile q aynı doğruluk değerine sahipse doğrudur.
• $¬p$, p'nin doğruluk değerini tersine çevirir.

Bu kurallar, yalnızca iki değerli klasik önermeler mantığı çerçevesinde kullanılır. Belirsiz, eksik veya ikiden fazla doğruluk değeri öngören sistemlerde aynı değerlendirme doğrudan uygulanmayabilir. Ayrıca bir bağlacın doğruluk değerini belirlemek ile argümanın geçerliliğini belirlemek farklı işlemlerdir. Argüman sınanırken amaç, bütün öncüllerin doğru olduğu hâlde sonucun yanlış çıktığı bir satır bulunup bulunmadığını araştırmaktır.

Geçerlilik ile doğruluğu ayırarak argüman sınama

Bir argüman, bir veya daha fazla öncülden ve bunlardan çıkarıldığı ileri sürülen bir sonuçtan oluşur. Geçerli argümanda öncüllerin hepsinin doğru olduğu herhangi bir durumda sonuç yanlış olamaz. Bu tanım, öncüllerin gerçek hayatta gerçekten doğru olup olmadığından önce biçimsel yapıya bakar.

Örneğin şu yapı geçerli bir çıkarım biçimidir:

1. $p → q$
2. $p$
3. O hâlde $q$

Bu yapı modus ponens olarak bilinir. İlk iki satırın doğru olduğu durumda üçüncü satırın yanlış olması mümkün değildir. Buna karşılık şu yapı geçerli değildir:

1. $p → q$
2. $q$
3. O hâlde $p$

Burada q'nun doğru olması p'nin de doğru olduğunu zorunlu kılmaz. q, p dışında başka bir nedenle de doğru olabilir. Bu hata, sonucun onaylanması olarak adlandırılır.

Doğruluk tablosu ile sınamada pratik karar kuralı şudur: Önce öncüllerin tümünü $∧$ ile birleştirin. Ardından bu birleşimin sonuçla birlikte koşullu biçimini yazın. Örneğin öncüller p ve q, sonuç r ise $(p ∧ q) → r$ incelenir. Bu ifade yanlış çıkıyorsa, p ve q'nun doğru, r'nin yanlış olduğu bir karşı örnek bulunmuştur; dolayısıyla argüman geçersizdir. Böyle bir satır bulunamıyorsa, ilgili iki değerli sistem içinde argüman geçerlidir.

Yüklemler ve niceleyiciler: önermenin iç yapısını görmek

Önermeler mantığında bir cümle, iç yapısı incelenmeden tek birim olarak ele alınır. Ancak Bütün öğrenciler çalışkandır veya Bazı öğrenciler çalışkandır gibi cümlelerde kimlerden söz edildiği ve hangi özelliğin yüklendiği önemlidir. Bu noktada yüklemler mantığı devreye girer.

Bir nesnenin belirli bir özelliğe sahip olduğunu $P(x)$ ile, iki nesne arasındaki ilişkiyi ise $R(x,y)$ ile gösterebiliriz. Buradaki x ve y değişken, P veya R ise yüklem ya da ilişkiyi belirten semboldür. Niceleyiciler kapsamı belirtir:

• Tümel niceleyici: $∀x P(x)$, incelenen alandaki her x için P özelliğinin geçerli olduğunu söyler.
• Tikel niceleyici: $∃x P(x)$, en az bir x için P özelliğinin geçerli olduğunu söyler.

Niceleyicinin yorumlanabilmesi için değişkenin hangi evrenden seçildiği bilinmelidir. Standart semantikte $∀xP(x)$, evrendeki her nesne P özelliğini taşıyorsa doğrudur; evren boşsa da ifade doğru kabul edilir. Boş olmayan evren varsayımı ayrıca benimsenebilir. $∃x P(x)$ ise en az bir örnek gerektirir; tek bir nesne bile yeterlidir. Bu nedenle tümel bir cümleden tikel sonuç çıkarırken varlık varsayımı ayrıca dikkate alınmalıdır.

Niceleyicilerin yeri de anlamı değiştirir. $∀x∃y R(x,y)$, her x için ona bağlı olarak en az bir y bulunduğunu söyler. $∃y∀x R(x,y)$ ise bütün x'lerle ilişkili olan tek bir y'nin varlığını öne sürer. Bu iki ifade, niceleyicilerin sırası değiştirilerek eşdeğer kabul edilemez. Değilleme kuralları da önemlidir: $¬∀x P(x)$, en az bir x için P'nin yanlış olduğunu; $¬∃x P(x)$ ise hiçbir x'in P özelliğini taşımadığını ifade eder.

Aksiyom, çıkarım kuralı ve teorem arasındaki bağlantı

Modern mantığın matematiksel yönü yalnızca sembol kullanmaktan ibaret değildir. Biçimsel bir sistemde tanımsız terimler, tanımlar, aksiyomlar ve çıkarım kuralları belirlenir. Aksiyomlar sistem içinde başlangıçta kabul edilen ifadelerdir; çıkarım kuralları ise kabul edilmiş ifadelerden yeni ifadeler türetmeyi sağlar. Bu yolla elde edilen ve sistem içinde ispatlanan ifadelere teorem denir.

Bu ayrım, bir ifadenin neden doğru kabul edildiğini açıklamak için gereklidir. Bir ifade aksiyom olarak seçilmiş olabilir, bir çıkarım kuralıyla türetilmiş olabilir veya yalnızca sezgisel olarak makul görünebilir. Son seçenek, biçimsel ispat anlamına gelmez. Dolayısıyla matematiksel bir ispatta her satırın bir önceki satırlardan ve izin verilen kurallardan nasıl elde edildiği gösterilmelidir.

Modern mantığın matematik, bilgisayar bilimi, felsefe ve dilbilimle ilişkisi de bu biçimsellikten kaynaklanır. İspatların denetlenmesi, bilgisayar programlarındaki koşulların modellenmesi, veri tabanı sorgularının yapılandırılması ve doğal dil ifadelerinin mantıksal biçime dönüştürülmesi aynı temel fikri paylaşır: anlamlı bir sonuca ulaşmak için kullanılan yapı açıkça belirtilmelidir.

Sık yapılan hatalar ve karıştırılan sınır durumları

1. Koşullu önermeyi nedensellik sanmak: $p → q$, p'nin q'ya sebep olduğunu göstermez. Bu ifade yalnızca p doğru-q yanlış durumunu dışlar.

2. $p → q$ ile $q → p$'yi eşit görmek: Bir koşulun tersi, aynı ilişkinin ters yönde kurulmasıdır; genel olarak ilk ifadeyle eşdeğer değildir.

3. Veya bağlacını yalnızca bir seçeneğin doğru olması şeklinde yorumlamak: Klasik önermeler mantığında $p ∨ q$, en az birinin doğru olmasıdır; ikisinin birlikte doğru olduğu durum da kapsanır.

4. Geçerli argümanı doğru argümanla karıştırmak: Geçerlilik biçimsel ilişkidir. Öncüller gerçek dışı olsa bile biçim doğru kurulmuşsa argüman geçerli olabilir; buna karşılık doğru öncüller kötü bir çıkarım biçimini otomatik olarak geçerli yapmaz.

5. Niceleyiciyi kapsam belirtmeden kullanmak: Bir ifadenin tüm öğrenciler için mi, belirli bir sınıftaki öğrenciler için mi söylendiği belirtilmezse formülün yorumu eksik kalır.

6. Tikel niceleyicide varlık şartını unutmak: $∃x P(x)$ ifadesi en az bir örnek gerektirir. Tümel bir önermenin doğru olması, tek başına böyle bir örneğin varlığını garanti etmez.

7. Parantezleri atlamak: $¬(p ∧ q)$ ile $¬p ∧ q$ farklıdır. İlk ifade p ve q'nun birlikte doğru olmasını reddeder; ikinci ifade ise p'nin yanlış, q'nun doğru olmasını ister.

8. Doğruluk tablosunda yalnızca birkaç satıra bakmak: Geçersizliği göstermek için tek bir karşı örnek yeterlidir; geçerlilik iddiasında ise incelenen sistemde öncüllerin doğru olduğu tüm olasılıkların sonucu desteklediği gösterilmelidir.

Adım adım çözümlü örnekler

Örnek 1 — Koşullu önermenin doğruluk değeri

Verilenler:

• p: Hava güneşlidir.
• q: Pikniğe gidilecektir.
• İfade: $p → q$
• p doğru, q yanlış.

Çözüm adımları:

1. İfadenin ana bağlacını belirleyin: Ana bağlaç koşul bağlacıdır.
2. $p → q$ için yanlışlık koşulunu hatırlayın: Öncül p doğru, sonuç q yanlış olmalıdır.
3. Verilen değerleri yerine koyun: p doğru ve q yanlış olduğundan bu tam olarak yanlışlık durumudur.

Sonuç: $p → q$ yanlıştır. Burada yalnızca havanın güneşli olması ile pikniğe gidilmemesi birlikte değerlendirilmiştir; ifadenin yanlış çıkması, havanın gerçekten pikniğe gitmeye neden olduğunu kanıtlamaz.

Örnek 2 — Bir argümanın geçerliliğini karşı örnekle sınama

Verilenler:

1. Eğer bir sayı 4'ün katıysa çifttir: $p → q$
2. Sayı çifttir: $q$
3. O hâlde sayı 4'ün katıdır: $p$

Çözüm adımları:

1. Argümanın biçimini yazın: $p → q, q ∴ p$.
2. Geçerlilik testi için öncüllerin doğru, sonucun yanlış olabileceği bir durum arayın.
3. 6 sayısını ele alın. 6 çifttir; yani q doğrudur. Ancak 6, 4'ün katı değildir; yani p yanlıştır.
4. Bu durumda ilk öncülün kendisini dikkatle ayırmak gerekir. $p → q$, p'nin yanlış olduğu için 6 bakımından doğrudur. İkinci öncül q da doğrudur; fakat sonuç p yanlıştır.

Sonuç: Öncüller doğruyken sonuç yanlış olabildiği için argüman geçersizdir. Bu, q'nun doğru olmasından p'nin doğru olduğu sonucunu çıkarma hatasıdır.

Örnek 3 — Niceleyici sırasının anlamı

Verilenler:

• $R(x,y)$: x, y'den e-posta alır.
• Evren: Bir şirketin çalışanları.
• A: $∀x∃y R(x,y)$
• B: $∃y∀x R(x,y)$

Çözüm adımları:

1. A ifadesinde önce $∀x$ vardır: Her çalışan için bir y aranır.
2. A'daki y, x'e göre değişebilir. Her çalışanın farklı bir kişiden e-posta alması mümkündür.
3. B ifadesinde önce $∃y$ vardır: Tek bir y seçilir.
4. Sonra bu aynı y'nin bütün çalışanlar için koşulu sağlaması istenir.

Sonuç: A, her çalışanın en az bir göndericisi olduğunu; B ise herkesin aynı göndericiden e-posta aldığını ifade eder. Niceleyicilerin sırası değiştirildiğinde cümlenin kapsamı ve anlamı değiştiği için bu iki formül genel olarak eşdeğer değildir.