Mantık Bağlaçları ve Niceleyiciler

Konu Anlatımı

Bu derste ne öğreneceğiz?

Bu derste Mantık Bağlaçları ve Niceleyiciler konusunu önce kuralıyla, sonra sayı üstünde uygulamasıyla göreceğiz. Her adımda "neden böyle yapıyoruz" sorusunu cevaplamak asıl hedeftir; kuralı ezberleyip bırakmak işe yaramaz.

Dersten sonra şunları yapabiliyor olmanız gerekiyor:

• Kazanım 1: Bileşik önermeleri 've', 'veya' ve 'değil' bağlaçlarını doğru kullanarak oluşturur ve okur.
• Kazanım 2: İki veya üç önermenin doğruluk tablosunu eksiksiz çıkarır, satır sayısını gerekçesiyle açıklar.
• Kazanım 3: De Morgan kurallarını uygulayarak verilen bir bileşik önermenin eşdeğerini bulur.
• Kazanım 4: 'Her', 'bazı' ve 'hiçbir' niceleyicilerini günlük dilden resmi önerme diliyle karşılar.
• Kazanım 5: Niceleyicili önermelerin değilini alırken uygulanan iki kuralı doğru biçimde uygular.
• Kazanım 6: Totoloji ile çelişkiyi tanımlar, örneklerle karşılaştırır ve doğruluk tablosuyla sınar.

Ön bilgi: bundan önce gördüğümüz

Bu konuyu anlamanın ön koşulu Algoritma Temelli Problemler bilgisidir. Algoritma Temelli Problemler konusundaki temel kavramlar bu derste örneklerin üzerinde yeniden karşımıza çıkacak.

• Algoritma Temelli Problemler — ön bilgi: bu başlıktaki tanımları hatırlamamız gerekiyor.
• Koşullu Önermeler ve Niceleyiciler — bağlantı: bu derste yeniden karşımıza çıkacak konu.

Önermeleri Bağlaçlarla Birleştirme

Birden çok önermenin anlamını tek bir hüküm hâline getirmek için bağlaçlar kullanılır. Üç temel bağlaç vardır. Ve bağlacı, iki önermenin ikisinin de doğru olmasını ister; bu yüzden bilesik bir yanlış, tüm ifadeyi yanlış yapar. Veya bağlacı, iki önermeden en az birinin doğru olmasını yeterli görür; bu yüzden yalnızca iki önerme de yanlışken yanlış olur. Değil bağlacı ise tek bir önermenin doğruluk değerini tersine çevirir.

Bileşik önermelerde parantez önceliği geçerlidir. Bu nedenle p ∧ q ∨ r ifadesinde önce ve bağlacı hesaplanır, sonuç daha sonra veya ile r'ye bağlanır. Aynı bağlaç türünü kullanan ifadelerde öncelik farkı olmaz; ancak ve ile veya yan yana geldiğinde sıralama sonucu değiştirebilir.

• Ve bağlacı: p ∧ q doğrudur ⇔ p doğrudur ve q doğrudur.
• Veya bağlacı: p ∨ q yanlıştır ⇔ p yanlıştır ve q yanlıştır.
• Değil bağlacı: ¬p doğrudur ⇔ p yanlıştır.

Doğruluk Tablosu ve Denk Önerme

Bir bileşik önermenin bütün olası durumlarını gösteren tabloya doğruluk tablosu denir. n önerme bulunan bir tabloda 2ⁿ satır vardır. Doğruluk tablosu hazırlanırken önce temel önermelerin değerleri yazılır, sonra her satır için bileşenler tek tek hesaplanır. Bu yöntem, sonucun neden o değer olduğunu görünür kıldığı için sınav sorularında hem hızlı hem güvenilir bir yol sunar.

Doğruluk tablosunda tüm satırlarda doğru çıkan bileşik önermeye totoloji, tüm satırlarda yanlış çıkana çelişki adı verilir. İki bileşik önermenin doğruluk tabloları aynı ise onlara denk (eşdeğer) denir. p ∧ q ile q ∧ p bu bakımdan denktir; çünkü sıra, sonucu değiştirmez.

En sık kullanılan denklik De Morgan kuralıdır. Değil alınan ifadede hem bağlaç türü hem de tüm bileşenler birlikte değişir: ¬(p ∨ q) ≡ ¬p ∧ ¬q ve ¬(p ∧ q) ≡ ¬p ∨ ¬q. Bu iki eşitlik doğruluk tablosunda sınanarak kanıtlanabilir.

• Denklik: Doğruluk tabloları aynı olan iki bileşik önermeye denk denir.
• Totoloji: Dört satırlık tabloda D D D D çıkan ifadedir.
• Çelişki: Dört satırlık tabloda Y Y Y Y çıkan ifadedir.

Niceleyiciler ve Günlük Dille İfade

Günlük dilde «her», «bütün», «tüm» gibi sözcükler bütün bir nesne kümesini kapsar; evrensel niceleyici denir ve matematikte ∀ simgesiyle gösterilir. «Bazı», «en az bir» gibi sözcükler ise yalnızca varlığı zorunlu kılan varoluşsal niceleyicidir ve ∃ simgesiyle gösterilir. «Hiçbir» sözcüğü, «bazı değil» anlamına geldiği için evrensel niceleyicinin olumsuz biçimi olarak ele alınır.

Niceleyicilerin Değil ile Dönüşümü

Niceleyicili bir önermenin değilini alırken iki dönüşüm birlikte yapılır. Birincisi niceleyici değişir: «her» yerine «bazı», «bazı» yerine «her» gelir. İkincisi yüklem olumsuzlaştırılır: olumlu fiilin yerine olumsuz biçimi, olumsuz fiilin yerine olumlu biçimi yazılır. Bu iki işlemden yalnızca birini yapmak yanlış sonuç verir.

Örneğin «Bütün öğrenciler sınaya girdi.» önermesinin değili, «Bazı öğrenciler sınaya girmedi.» olur. Buna karşılık «Bazı kitaplar okunmadı.» önermesinin değili, «Bütün kitaplar okundu.» olur. Karşıt durumda kalan yazımlar, örneğin «Hiçbir öğrenci sınaya girmedi.» ifadesi, doğrudan kullanılabilir bir ifadedir.

Örnek Soru ve Çözümü

Örnek: p: «Sınıftaki bütün öğrenciler projeyi teslim etti.» ve q: «Sınıfa yeni bir öğrenci katıldı.» önermeleri için (¬p) ∨ q bileşik önermesinin doğruluk değerini belirleyiniz.

Çözüm: ¬p önermesi, bütün öğrencilerin teslim etmediğini ifade eder. Projeyi teslim etmeyen en az bir öğrenci varsa ¬p doğrudur ve birleşim doğru olur. Yeni bir öğrenci katıldıysa q doğrudur ve yine birleşim doğrudur. İki durumun da yanlış olduğu tek ihtimal, bütün öğrencilerin teslim etmiş olması ve sınıfa yeni öğrenci katılmamış olmasıdır. Bu satırda (¬p) ∨ q yanlış olur. Bileşik önerme dört satırlık tablodan yalnızca birinde yanlış olduğu için üç satırda doğrudur.

Sık Yapılan Hatalar

Birinci hata, «ve» ile «veya» bağlaçlarının aynı güçte olduğu sanılmasıdır; oysa «veya» çok daha gevşektir. İkinci hata, değil alırken yalnızca yüklemi değiştirip niceleyiciyi olduğu gibi bırakmaktır. Üçüncü hata, doğruluk tablosunun satır sayısını gözleme yerine tahminle belirlemektir. Dördüncü hata, «hiçbir» ifadesini yanlışlıkla «bazı» ile aynı sanmaktır. Son olarak totoloji ile çelişkinin yerini karıştırmak sık görülür; çünkü ikisi de bağlantısız gibi görünse de biri daima doğru, diğeri daima yanlış sonuç verir.

Özet

Önermeleri birleştiren «ve» iki doğruyu, «veya» tek doğruyu yeterli görür, «değil» ise doğruluk değerini tersine çevirir. n önermeli bir doğruluk tablosunda 2ⁿ satır bulunur; tüm satırlarda doğru çıkan ifadeye totoloji, tüm satırlarda yanlış çıkana çelişki denir. De Morgan kuralı değillemede bağlaçla birlikte tüm bileşenleri de değiştirir. Günlük dilde «her» evrensel, «bazı» varoluşsal niceleyicidir; «hiçbir» ise «bazı değil» anlamındadır. Niceleyicili bir önermenin değilinde niceleyici ile yüklem birlikte dönüştürülür.

Günlük hayattan bir uygulama

Konuyu pekiştirmek için günlük hayattan bir uygulamaya bakmak gerekir. Aşağıdaki görev, Mantık Bağlaçları ve Niceleyiciler bilgisini gerçek bir işin içinde kullandırmak için hazırlandı; çözerken hangi adımı nerede kullandığımızı not etmek faydalıdır.

Uygulama sorusu: Bir sınıfta önerme kurma etkinliği yapılıyor. Öğrencilerden «Sınıftaki bütün öğrenciler ödevini teslim etti ve bazı öğrenciler düzgün yazdı.» biçimindeki cümleyi resmi önerme diliyle yazmalarını ve bu önermenin doğruluk tablosundaki kaç satırda doğru olduğunu belirlemelerini isteyin. Yazdıkları ifadeyi ve ulaştıkları satır sayısını gerekçesiyle birlikte yazınız.

Bu görev için 20 puan dağıtılmıştır; puanlama anahtarı, cevabın hangi adımlarla gösterilmesi gerektiğini ayrıntılı biçimde söyler. Puanlamada işlem sırasının ve sonuç cümlenin ayrı ayrı sayıldığına dikkat et.

Bu konuyu çalışırken işinize yarayacak notlar

• Doğruluk tablosunu çizerken önce temel önermelerin sütunlarını yazın, bileşenlerin sütunlarını en sona ekleyin; sıralama böylece korunur.
• Bir önermenin değilini soruyorsanız önce metni olumsuz biçime çevirin, ardından bağlacı ve niceleyiciyi dönüştürmeyi unutmayın.
• Topoloji ya da çelişki şüphesinde hızlı denetim yapın: p ∧ ¬p ve p ∨ ¬p ifadeleri her zaman sırasıyla çelişki ve totolojidir.
• Doğruluk değeri sorularında «kesin olarak doğru» ve «kesin olarak yanlış» ifadelerine dikkat edin; kalan durumlar henüz belirlenmemiştir.
• Niceleyicili önermeleri yazarken yüklemin x'e bağlı olması gerektiğini unutmayın; «her x için x ders çalışır» yerine «her x için x ders çalışır» gibi kurulumlarda yüklem açık olmalıdır.

Adım adım çözülmüş örnekler

İki örnek üzerinde çalışacağız. İlk örnek kuralın temel kullanımını, ikinci örnek ise kuralın zorlayıcı bir durumunu gösterir. Adımları kendin yazmayı dene; ikinci adımda nerede durduğunu görmek, sınavda zaman kazanır.

Örnek 1: Bağlaçlarla Bileşik Önerme Kurma

Soru: p: «Ayşe bu ay kitap okudu.» ve q: «Ayşe bu ay spor yaptı.» önermeleri için p ∧ q, p ∨ q ve ¬p ifadelerini Türkçe olarak yazınız.

1. Adım 1: p önermesi Ayşe'nin bu ay kitap okuduğunu söyleyen bir yargıdır, bu yüzden tek başına bir önermedir.
2. Adım 2: «Ve» bağlacı iki yargıyı tek bir yargıya bağlar; metindeki karşılığı «... ve...» olur.
3. Adım 3: Bu nedenle p ∧ q ifadesi «Ayşe bu ay kitap okudu ve bu ay spor yaptı.» biçiminde yazılır.
4. Adım 4: «Veya» bağlacının karşılığı «... veya...» olduğundan p ∨ q «Ayşe bu ay kitap okudu veya bu ay spor yaptı.» olur.
5. Adım 5: Değil anlamı «değil» sözcüğüyle verilir ve önermenin olumlu biçimi başına getirilir: «Ayşe bu ay kitap okumadı.»

Cevap: p ∧ q: Ayşe bu ay kitap okudu ve spor yaptı; p ∨ q: Ayşe bu ay kitap okudu veya spor yaptı; ¬p: Ayşe bu ay kitap okumadı

Bu örnekte adım sayısını not edin: kural her zaman aynı sayıda işlemle değil, kazanılması gereken bilgiye göre çözülür.

Örnek 2: Doğruluk Tablosunda Satır Sayısı

Soru: p, q ve r olmak üzere üç önermenin doğruluk tablosunda kaç satır bulunur ve p ∧ q bileşik önermesi bu tabloda kaç satırda doğrudur?

1. Adım 1: n önermenin doğruluk tablosunda 2ⁿ satır bulunduğu kuralı uygulanır.
2. Adım 2: Burada n = 3 olduğundan satır sayısı 2³ işlemiyle bulunur.
3. Adım 3: 2³ = 2 · 2 · 2 = 8 olduğundan tabloda 8 satır bulunur.
4. Adım 4: p ∧ q ifadesinin doğru olması için p ve q'nun ikisinin de doğru olması gerekir.
5. Adım 5: p ve q doğruyken r için iki değerden her biri o satırı doğru yapar; bu yüzden 2 satır bulunur.

Cevap: Tabloda 8 satır bulunur, p ∧ q bileşik önermesi 2 satırda doğrudur

Kavram karşılaştırma tablosu

Bu derste geçen terimler birbirine yakın durur ve sınavda karıştırılır. Aşağıdaki tabloda her terimin anlamı ve sık karıştırılan karşılığı yan yana verilmiştir.

Kural, formül ve ölçü tablosu

Aşağıdaki tablo bu konudaki kuralları tek bakışta toplar. Karar verirken önce bu tabloya bakmak, kuralı hatırlamakta işe yarar.

Sık Yapılan Hatalar

Bu konudaki tipik hataları gözden geçirmek, tekrar hata yapmayı en hızlı azaltan yoldur. Her hatanın gerekçesi yazılmıştır.

• «Veya» bağlacını «ve» gibi kullanmak: Öğrenciler sık olarak «Sınıfta kız ya da erkek öğrenci var.» cümlesini tek bir doğruyla yeterli sayan «veya» bağlacı yerine iki öğrencinin de bulunmasını gerektiren «ve» bağlacı gibi okur ve yanlış sonuç bulur.
• Değil alırken niceleyiciyi sabit bırakmak: «Bütün öğrenciler sınaya girdi.» cümlesinin değli yalnızca yüklem çevrilerek «Bütün öğrenciler sınaya girmedi.» biçiminde yazılır. Doğrusu niceleyicinin de «bazı»ya dönüştürüldüğü ifadedir.
• «Hiçbir» ifadesini «bazı» ile karıştırmak: «Hiçbir kitap sevilmedi.» ile «Bazı kitaplar sevilmedi.» cümlelerinin ikisi de doğru olabilir; oysa «hiçbir» ifadesi daha güçlü bir yargıdır ve sevilen bir kitap bulunmadığını kesin olarak bildirir.
• Doğruluk tablosunun satır sayısını tahmin etmek: Üç önerme içeren bir tablo için satır sayısı 2³ işlemiyle bulunur. Kafadan altı ya da yedi satır gibi değişken sayılar yazmak yerine 2ⁿ kuralı uygulanmalıdır.
• Totoloji ile çelişkiyi ters adlandırmak: Her koşulda sağlanan önerme totolojidir ve daima doğrudur. Hiçbir koşulda sağlanmayan önerme çelişkidir ve daima yanlıştır; bu ayrım sınavda sık karıştırılan bir konudur.
• Parantez önceliğini görmezden gelmek: p ∧ q ∨ r ifadesinde önce p ile q birleştirilir. Ifadenin başına parantez konulmadan önce bütün bağlaçların aynı güçte olduğu düşünülürse hatalı sonuç bulunur.

Bu dersten akılda kalması gerekenler

Kısaca: Önermeler «ve», «veya» ve «değil» bağlaçlarıyla birleştirilir. Ve bağlacı iki doğruyu, veya bağlacı tek doğruyu yeterli görür, değil ise doğruluk değerini tersine çevirir. n önermeli tabloda 2ⁿ satır bulunur; tüm satırlarda doğru çıkan ifadeye totoloji, yanlış çıkana çelişki denir. De Morgan kuralı değillemede bağlaçla birlikte tüm bileşenleri de dönüştürür. «Her» evrensel, «bazı» varoluşsal niceleyicidir; «hiçbir» ise «bazı değil» anlamındadır.

Derste gördüğümüz ana fikirler şunlar:

• Bir yanlış önerme, «ve» ile bağlandığı tüm ifadeyi yanlış yapar; buna karşılık «veya»da tek doğru yeterlidir.
• Doğruluk tablosunun satır sayısı 2ⁿ kuralıyla bulunur; iki önermede 4, üç önermede 8 satır bulunur.
• Tüm satırlarda doğru çıkan bileşik önerme totoloji, tüm satırlarda yanlış çıkan bileşik önerme çelişkidir.
• De Morgan kuralında değil alınan ifadenin bağlacı değişir ve tüm bileşenler aynı anda değillenir.
• «Her» evrensel, «bazı» varoluşsal niceleyicidir; «hiçbir» ifadesi «bazı... değil» anlamına gelir.
• Niceleyicili önermenin değilinde hem niceleyici hem de yüklem birlikte değiştirilir; tek başına birini değiştirmek yanlıştır.

Kontrol soruları

Kendi kendine dene: çözümü sen yaz, sonra anahtarla karşılaştır. Doğru yaptığın soruların altını çizmek, sınav öncesi hızlı tekrar sağlar.

1. ¬(p ∧ q) ∨ ¬(p ∨ q) ifadesi doğruluk tablosunda kaç satırda doğrudur? (Şıklar: 4 satır · 1 satır · 2 satır · 3 satır)
2. «Bütün ağaçlar çiçek açar.» önermesinin değli hangisidir? (Şıklar: Bazı ağaçlar çiçek açmaz. · Bütün ağaçlar çiçek açmaz. · Hiçbir ağaç çiçek açmaz. · Bazı ağaçlar çiçek açar.)
3. p ∧ q bileşik önermesi doğru olduğuna göre p ve q önermelerinin doğruluk değerleri nasıl olmalıdır? (Şıklar: p ve q'nun ikisi de doğrudur. · p ve q'nun ikisi de yanlıştır. · Biri doğru, diğeri yanlıştır. · Yalnızca p doğru olmalıdır.)

Cevap anahtarı: 1) 4 satır — p ve q'nun ikisinin de doğru olduğu satırda ilk bileşen yanlış, ikinci bileşen doğru olur. Her iki bileşenin de doğru olduğu satırda sonuç yine doğrudur; böylece dört satırın tamamında ifade doğrudur.

2) Bazı ağaçlar çiçek açmaz. — Evrensel niceleyicili bir önermenin değilinde niceleyici «bazı» olur ve yüklem olumsuzlaşır. Böylece çiçek açmayan en az bir ağaç bulunduğu ifade edilir.

3) p ve q'nun ikisi de doğrudur. — «Ve» bağlacı iki önermenin ikisini de doğru gerektirdiği için p ∧ q doğru olduğunda iki önerme de doğru olmak zorundadır. Tek bir yanlış bileşen bütün ifadeyi yanlış yapar.

İlgili konular

Bu konuyu öğrenmek şu başlıkları da kolaylaştırır. Aynı üniteden ve sonraki üniteden ikişer konu seçtik:

• Mantık Bağlaçları ve Niceleyicilerin Algoritmik Problemlerde Kullanımı — aynı ünitede, bir sonraki adım.
• Kümelerde Temel Kavramlar — sonraki ünitenin başlangıcı; konuyu genişletir.
• Küme İşlemleri ve Kartezyen Çarpım — sonraki ünitenin başlangıcı; konuyu genişletir.
• İşlem Özellikleri ve Cebirsel İfadeleme — sonraki ünitenin başlangıcı; konuyu genişletir.

Kaynak ve doğruluk notu

Bu konuda ölçü, birim ve kural iddiaları hesapla doğrulanmıştır. Mantık Bağlaçları ve Niceleyiciler için kullanılan her kural, konunun kendi örneklerinde gösterilerek verilmiştir; anlatım kendi ifadelerimizle yeniden düzenlenmiştir.

Ayrıca derste şu açık uçlu görevler yer alıyor; her biri puanlıdır ve kendi cevabını yazmanı ister:

• Bir sınıfta önerme kurma etkinliği yapılıyor. Öğrencilerden «Sınıftaki bütün öğrenciler ödevini teslim etti ve bazı öğrenciler düzgün yazdı.» biçimindeki cümleyi resmi önerme diliyle yazmalarını ve b… (20 puan)
• De Morgan kurallarını kullanarak ¬(p ∨ q) ifadesinin denk başka bir yazımını bulunuz. Ardından bulduğunuz yazımın doğruluk tablosunu çıkararak her iki ifadenin aynı doğruluk değerlerini verdiğini sat… (20 puan)
• Bir okul panosuna asılan ilk metinde «Okulumuzda bütün öğrenciler projeyi teslim etti.» yazıyordu. Metin bir süre sonra «Hiçbir öğrenci projeyi teslim etmedi.» biçiminde değiştirildi. Yeni metin, esk… (10 puan)

İleri Örnek

Daha ileri bir uygulama:

Soru: p: «Bir sayı çifttir.» ve q: «Aynı sayı tek değildir.» önermeleri için p ∨ q bileşik önermesinin doğruluk değeri nedir?

1. Adım 1: p ve q önermeleri birbirini tümleyen nitelikleri anlatır: bir sayı ya çifttir ya tek değildir.
2. Adım 2: p doğru olduğunda q yanlış, p yanlış olduğunda q doğrudur.
3. Adım 3: Bu nedenle p ve q'dan en az biri her zaman doğrudur.
4. Adım 4: «Veya» bağlacı en az bir doğruyu yeterli gördüğü için p ∨ q her satırda doğru olur.
5. Adım 5: Bütün satırlarda doğru çıkan bileşik önerme totoloji olarak adlandırılır.

Sonuç/cevap: p ∨ q her zaman doğrudur, yani totolojidir

Kendini Dene

<strong>Soru: </strong>Bir sınıfta önerme kurma etkinliği yapılıyor. Öğrencilerden «Sınıftaki bütün öğrenciler ödevini teslim etti ve bazı öğrenciler düzgün yazdı.» biçimindeki cümleyi resmi önerme diliyle yazmalarını ve bu önermenin doğruluk tablosundaki kaç satırda doğru olduğunu belirlemelerini isteyin. Yazdıkları ifadeyi ve ulaştıkları satır sayısını gerekçesiyle birlikte yazınız.

<strong>Örnek cevap: </strong>Önce cümlenin iki yargı içerdiğini fark ederim. p: «Sınıftaki bütün öğrenciler ödevini teslim etti.» ve q: «Bazı öğrenciler düzgün yazdı.» diye iki önerme belirlerim. Cümledeki «ve» bağlacı nedeniyle bileşik önerme p ∧ q olur. p önermesi evrensel niceleyicili olduğundan ∀x, P(x) biçiminde, q önermesi ise varoluşsal niceleyicili olduğundan ∃x, Q(x) biçiminde yazılır. Doğruluk tablosunda iki temel önerme bulunduğu için 2² işlemiyle 4 satır hazırlarım. p ∧ q ifadesinin doğru olması için iki önermenin de doğru olması gerekir, oysa iki önerme aynı anda doğru olduğunda sonuç 1 satır olur. Ayrıca sınıfın büyüklüğü ya da düzgün yazan öğrenci sayısı verilmediği için sınıfın boş olup olmadığını da gözden geçirmem gerekir.