Koşullu Önermeler ve Niceleyiciler

Konu Anlatımı

Bu derste ne öğreneceğiz?

Bu derste Koşullu Önermeler 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: Koşullu önermeyi hipotez ve hüküm ile kurarak doğruluk değerini bulur.
• Kazanım 2: Koşullu önermenin tersini, karşıtını ve ters-karşıtını ayrı ayrı yazar.
• Kazanım 3: Bir ifadenin kendisine denk olan eşdeğerini doğruluk tablosuyla sınar.
• Kazanım 4: Her ve bazı niceleyicilerini kullanarak önerme kurar.
• Kazanım 5: Niceleyicili önermelerin değlini alırken niceleyici dönüşümünü uygular.

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

Bu derste Önermeler ve Bileşik Önermeler konusunu hatırlayarak ilerliyoruz. İki konu arasındaki bağı kurmak, ayrı ayrı ezberlemekten daha kalıcı bir öğrenme sağlar.

• Önermeler ve Bileşik Önermeler — bu adımda öğrendiklerimiz bugünkü konunun dayanağı oluyor.

Koşullu Önerme ve İşaretleri

'p ise q' biçimindeki önermeye koşullu önerme denir ve p ⇒ q ile gösterilir. p bileşenine hipotez (öncül), q bileşenine hüküm (sonuç) adı verilir. Örneğin kar yağıyorsa okul tatildir cümlesinde hipotez kar yağıyorsa, hüküm okul tatildir ifadesidir.

Koşullu önerme tek bir durum dışında doğrudur: hipotez doğru, hüküm yanlışken. Doğru bir öncülden yanlış bir sonuç çıkmayacağı için bu durum önermeyi bozar, diğer üç durumda sonuç doğrudur.

Tersi, Karşıtı ve Ters-Karşıtı

Bir koşullu önermeden üç farklı ifade türetilir. Bunları karıştırmamak, mantık sorularının büyük kısmını çözmek demektir.

• Tersi: bileşenler yer değiştirir, q ⇒ p olur.
• Karşıtı: her iki bileşen değillenir, ¬p ⇒ ¬q olur.
• Ters-karşıtı: hem yer değiştirir hem değillenir, ¬q ⇒ ¬p olur.

Bunlardan yalnızca ters-karşıt kendisiyle denktir; tersi ve karşıtı denk değildir. Örneğin 3'ün katıysa sayı çifttir ifadesinin ters-karşıtı sayı çiftse 3'ün katıdır ve bu ikisi aynı doğruluk tablosuna sahiptir.

Denk İfadeler

p ⇒ q ifadesi, ''değil p veya q'' biçimindeki bileşik önermeye denktir; sembolle ¬p ∨ q yazar. Bu eşdeğerlik, uzun zincirli ifadeleri kısaltırken ve soruda eşdeğer aranırken doğrudan kullanılır.

Niceleyiciler

Cümlenin içindeki her, bazı, hiçbir gibi ifadeler niceleyicidir. Her sözcüğü bir nesnenin tamamını, bazı sözcüğü en az birini kapsar. Niceleyicili önermenin değili alınırken hem niceleyici hem de yüklem değişir: ''her'' sözcüğü ''bazı''ya, ''bazı'' sözcüğü ''her''e döner.

Örneğin her doğal sayı tek değildir önermesinin değili, bazı doğal sayılar tek değildir biçiminde bulunur. Burada yalnızca değillenmesi gereken kısım yüklemler değil, kapsanan kümenin kendisidir.

Adım Adım Yöntem

Bir soruda önce ''ise'' bağlacını bulup hipotez ile hükmü ayırın, ardından denk ifadeyi kurun. Niceleyici sorularında önce niceleyiciyi işaretle, sonra değili alırken onu dönüştürmeyi unutma.

Sınav Odaklı Uygulama

Sınavda ''aşağıdakilerden hangisi denktir'' sorularında doğruluk tablosunu tek satır özetleyerek değil, dört durumu hızlıca kontrol ederek ele alın. ''Doğruysa'' ile başlayan cümlelerde hipotezi önce okumak, ters ile ters-karşıtı ayırt etmeyi kolaylaştırır.

Koşullu Önermelerde İlişki Analizi

Coşullu önermelerde hipotez ve hüküm arasındaki ilişki, mantığın temel prensiplerini anlamak için kritik öneme sahiptir. Hipotez, önermenin doğru olup olmadığını belirleyen temel koşulu ifade ederken, hüküm ise bu koşula bağlı olarak elde edilen sonuçtur. Örneğin, 'kar yağıyorsa okul tatildir' cümlesinde hipotez 'kar yağıyorsa' ve hüküm 'okul tatildir' olarak ayrılır. Bu ayrım, mantık sorularında doğru çözümü bulmak için gerekli olan temel adımları oluşturur. Bu nedenle, hipotez ve hüküm arasındaki ilişkiyi doğru bir şekilde analiz etmek, koşullu önermelerin doğru anlaşılmasını sağlar.

Koşullu önermelerin doğru olup olmadığını anlamak için, hipotez ve hüküm arasındaki doğruluk durumlarını dikkatle incelemek gerekir. Hipotez doğru ve hüküm yanlış olduğunda önerme yanlıştır; diğer durumlarda ise önerme doğrudur. Bu durum, '3'ün katıysa sayı çifttir' gibi örneklerde de geçerlidir. Ayrıca, koşullu önermelerin doğru olup olmadığını anlamak için, hipotez ve hüküm arasındaki ilişkiyi doğru bir şekilde ifade etmek önemlidir. Bu, özellikle sınavlarda mantık sorularını çözerken büyük bir avantaj sağlar.

Günlük hayattan bir uygulama

Konuyu pekiştirmek için günlük hayattan bir uygulamaya bakmak gerekir. Aşağıdaki görev, Koşullu Önermeler 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 koşullu önermenin tersi, karşıtı ve ters-karşıtını ayrı ayrı yaz; üçünün de doğruluk tablosunu çıkararak hangisinin kendisine denk olduğunu göster.

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.

Hızlı hatırlatma

• Koşullu önermenin değerini bulmak için ¬p ∨ q eşitliğini kullan, tabloyu baştan kurmadan sonuca ulaş.
• 'İse' geçen sorularda önce hipotezi ve hükmü ayrı renkle işaretle, ardından türevleri yaz.
• Denklik sorularında dört durumu hızlıca deneyip tek yanlış satırı arayan ifadeyi ele.
• Niceleyicili cümlelerde önce niceleyiciyi çerçevele, değilde yalnızca onun dönüşümünü uygula.
• Ters-karşıtın denkliğini ezberle; soruda 'hangisi kendisine denktir' kalıbı neredeyse her yıl çıkar.

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: Koşullu Önermenin Değeri

Soru: p: 'Sayı 6'ya bölünür.' ve q: 'Sayı 3'e bölünür.' hipotezlerinde p ⇒ q önermesinin doğruluk değerini inceleyiniz.

1. Adım 1: 6'ya bölünen her pozitif sayı 3'e de bölünür; yani p doğru iken q hep doğrudur.
2. Adım 2: Bu durumda (D, D) sırası oluşur ve koşullu önerme bu durumda doğrudur.
3. Adım 3: Diğer durumlarda p yanlış olduğundan koşullu önerme yine doğrudur; tek yanlış durum olan (D, Y) gerçekleşmez.

Cevap: p ⇒ q önermesi her durumda doğrudur (totoloji)

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: Ters, Karşıt ve Ters-Karşıt

Soru: p ⇒ q önermesinin tersini, karşıtını ve ters-karşıtını yazıp hangisinin denk olduğunu gösteriniz.

1. Adım 1: Ters, bileşenlerin yer değiştirmesidir: q ⇒ p.
2. Adım 2: Karşıt, her iki bileşenin değillenmesidir: ¬p ⇒ ¬q.
3. Adım 3: Ters-karşıt, hem yer değiştirir hem değillenir: ¬q ⇒ ¬p.
4. Adım 4: Doğruluk tablosunda yalnızca ¬q ⇒ ¬p sütunu p ⇒ q ile aynı çıkar.

Cevap: Ters: q ⇒ p, karşıt: ¬p ⇒ ¬q, ters-karşıt: ¬q ⇒ ¬p ve denk olan ters-karşıttır

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

Hata yapmamak için önce hatanın nereden geldiğini bilmek gerekir. Aşağıdaki listede her hata için yanlış giden yol ve doğru yol birlikte verilmiştir.

• Ters ile ters-karşıtı karıştırmak: p ⇒ q'nun tersi q ⇒ p'dir; kendisine denk olan ise ¬q ⇒ ¬p ters-karşıtıdır.
• Karşıt önermeyi denk sanmak: ¬p ⇒ ¬q ifadesi p ⇒ q'ya denk değildir, yanlış sonuç verir.
• Niceleyiciyi değillendirirken unutmak: 'her' sözcüğü değilde 'bazı'ya dönmeli, yalnızca yüklem değiştirilmemelidir.
• Koşullu önermeyi nedensellik sanmak: p ⇒ q yalnızca doğruluk değerleriyle ilgilidir, zaman sırasını garanti etmez.
• Tek yanlış durumu ararken hükmü es geçmek: Koşullu önermeyi bozan durum yalnızca hipotez doğru, hüküm yanlışken oluşur.

Kısaca özet

Kısaca: Koşullu önerme p ⇒ q, yalnızca doğru öncülden yanlış sonuç çıktığında yanlıştır ve ¬p ∨ q ile denktir. Ters-karşıtı kendisine denkken tersi ve karşıtı denk değildir. Niceleyicili önermelerde değil alınırken her ile bazı sözcükleri yer değiştirir, yüklem de değillenir. Bu iki dönüşüm, mantık ünitesinin sınavda en çok sorulan iki kuralıdır.

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

• Koşullu önermeyi bozan tek durum, doğru öncülden yanlış sonuç çıkmasıdır.
• Bir koşullu önerme yalnızca ters-karşıtına denktir, tersine ve karşıtına denk değildir.
• Karşıt önerme, kendisine denk olan türevler arasında yer almaz.
• Niceleyicinin değili alınırken niceleyici ile yüklem birlikte değişir.
• Koşullu önermede ilk bileşen hipotez, ikinci bileşen hükümdür; yer değiştirme tersi oluşturur.
• İfade içindeki 'ise' bağlacını bulmak, sorunun hangi kalıpta olduğunu belirleyen ilk adımdır.

Kendin dene: üç soru

Bu üç soru konunun özetidir. Çözmeden önce her biri için hangi kuralı kullanıyorum diye düşün; cevap anahtarı sonda verilmiştir.

1. ¬(p ⇒ q) ifadesi aşağıdakilerden hangisine denktir? (Şıklar: ¬p ∨ q · p ∧ ¬q · p ∧ q · ¬p ∧ ¬q)
2. (¬p ∨ q) ifadesi aşağıdakilerden hangisine denktir? (Şıklar: p ⇒ q · p ∧ q · q ⇒ p · ¬(p ⇒ q))
3. p ⇒ q koşullu önermesi hangi durumda yanlıştır? (Şıklar: p D, q D · p D, q Y · p Y, q D · p Y, q Y)

Cevap anahtarı: 1) p ∧ ¬q — Koşullu önerme yalnızca (D, Y) durumunda yanlıştır; bu durumu sağlayan ifade p doğru, q yanlış olduğundan p ∧ ¬q olur.

2) p ⇒ q — Koşullu önermenin ¬p ∨ q biçimindeki eşdeğerliği vardır; iki ifadenin doğruluk tabloları birebir aynıdır.

3) p D, q Y — Doğru bir öncülden yanlış sonuç çıkmayacağı için yalnızca (D, Y) durumunda koşullu önerme yanlış olur.

İlgili konular

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

• Algoritma Temelli Problemler — aynı ünitede, bir sonraki adım.
• Mantık Bağlaçları ve Niceleyiciler — aynı ünitede, bir sonraki adım.
• 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.

Bu anlatım hakkında

Koşullu Önermeler ve Niceleyiciler başlığındaki her sayısal iddia elle doğrulanabilir biçimde yazıldı: soruda verilen değer, uygulanan kural ve bulunan sonuç yan yana durur. Metin özgün yazılmıştır, başka bir kaynaktan alıntı yapılmamıştır.

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 koşullu önermenin tersi, karşıtı ve ters-karşıtını ayrı ayrı yaz; üçünün de doğruluk tablosunu çıkararak hangisinin kendisine denk olduğunu göster. (20 puan)
• Gerçek hayattan iki cümle seç ve bu cümleleri 'her' ve 'bazı' niceleyicileriyle ifade et; ardından değerlerini al. (10 puan)
• Koşullu önermelerde hipotez ve hüküm arasındaki ilişkiyi iki farklı örnek cümleyle karşılaştırarak bu ilişkilerin doğru olup olmadığını nasıl tespit edebileceğinizi açıklayınız. Her örnek cümlede hip… (15 puan)