💡 9. Sınıf Matematik: Matematiksel İspatlarda Mantık Bağlaçları ve Niceleyiciler Çözümlü Örnekler

Bu soruda temel mantık bağlaçlarının doğruluk tablolarını kullanacağız.

• 1. p ∧ q (p VE q): VE bağlacı her iki önerme de doğru olduğunda doğru olur. p doğru, q yanlış olduğu için p ∧ q yanlıştır. Doğruluk değeri: 0.
• 2. p ∨ q (p VEYA q): VEYA bağlacı en az bir önerme doğru olduğunda doğru olur. p doğru olduğu için p ∨ q doğrudur. Doğruluk değeri: 1.
• 3. p ⇒ q (p İSE q): İSE bağlacı, ilk önerme doğru iken ikinci önerme yanlış olduğunda yanlış olur. p doğru, q yanlış olduğu için p ⇒ q yanlıştır. Doğruluk değeri: 0.
• 4. q ⇒ p (q İSE p): q yanlış, p doğru olduğu için bu önerme doğrudur. Doğruluk değeri: 1.
• 5. p ⇔ q (p ANCAK VE ANCAK q): ANCAK VE ANCAK bağlacı, iki önermenin doğruluk değerleri aynı olduğunda doğru olur. p doğru, q yanlış olduğu için p ⇔ q yanlıştır. Doğruluk değeri: 0.

💡 Unutmayın: Doğruluk değerleri genellikle 1 (Doğru) ve 0 (Yanlış) ile gösterilir.

Niceleyiciler, bir kümedeki elemanların tamamı veya bir kısmı hakkında genelleme yapmamızı sağlar.

• 1. "Her pozitif tam sayı çifttir."
  Burada "Her" kelimesi kullanıldığı için ∀ (her) niceleyicisi kullanılır. Eğer bu ifadeyi bir A kümesi için yazarsak: ∀x ∈ A, x çifttir.
• 2. "Bazı üçgenlerin iki kenarı eşittir."
  Burada "Bazı" kelimesi kullanıldığı için ∃ (bazı) niceleyicisi kullanılır. Eğer bu ifadeyi T üçgenler kümesi için yazarsak: ∃T ∈ T, T ikizkenar üçgendir.
• 3. "Her tam sayının karesi pozitiftir."
  Yine "Her" kelimesi kullanıldığı için ∀ (her) niceleyicisi kullanılır. Z tam sayılar kümesi için: ∀x ∈ Z, x² > 0. (Ancak bu önerme yanlıştır, çünkü 0'ın karesi 0'dır ve pozitif değildir.)

👉 Niceleyiciler, matematiksel ifadeleri daha kısa ve net bir şekilde yazmamızı sağlar.

Öncelikle verilen önermelerin doğruluk değerlerini belirleyelim:

• p: "Bir dörtgenin iç açıları toplamı 360 derecedir." Bu ifade doğrudur. Dolayısıyla p ≡ 1.
• q: "Bir karenin tüm kenarları farklı uzunluktadır." Bu ifade yanlıştır, çünkü karenin tüm kenarları eşittir. Dolayısıyla q ≡ 0.
• ¬q: q'nun değili, yani q'nun tersi. q yanlış olduğu için ¬q doğrudur. Dolayısıyla ¬q ≡ 1.

Şimdi istenen önermelerin doğruluk değerlerini hesaplayalım:

• a) p ∧ ¬q: 1 ∧ 1. VE bağlacında her ikisi de doğru ise sonuç doğrudur. Doğruluk değeri: 1.
• b) ¬p ∨ q: ¬1 ∨ 0 ⇒ 0 ∨ 0. VEYA bağlacında her ikisi de yanlış ise sonuç yanlıştır. Doğruluk değeri: 0.
• c) p ⇒ ¬q: 1 ⇒ 1. İSE bağlacında ilk doğru, ikinci yanlış olmadıkça sonuç doğrudur. Burada 1 ⇒ 1 olduğu için sonuç doğrudur. Doğruluk değeri: 1.

✅ Mantık bağlaçlarının doğruluk tablolarını iyi bilmek, bu tür soruları çözmek için kritiktir.

Soruda bizden istenen, verilen önermenin mantıksal dengi OLMAYAN seçeneği bulmaktır. Öncelikle verilen önermenin doğruluk değerini ve yapısını inceleyelim: "Her tam sayının mutlak değeri pozitiftir." Bu önerme yanlıştır, çünkü 0 tam sayısının mutlak değeri 0'dır ve pozitif değildir. Bu önermenin yapısı "Her" ile başladığı için ∀ niceleyicisi ile ifade edilir. Şimdi seçenekleri inceleyelim:

• A) ∀x ∈ Z, |x| > 0
  Bu ifade, "Her tam sayının mutlak değeri pozitiftir." önermesinin sembolik gösterimidir. Bu önerme yanlıştır.
• B) Tüm tam sayılar için, mutlak değerleri sıfırdan büyüktür.
  Bu ifade, "Her" niceleyicisini kullanarak önermeyi kelimelerle ifade etmiştir. A seçeneği ile aynı anlama gelir ve yanlıştır.
• C) Eğer bir sayı tam sayı ise, mutlak değeri sıfırdan büyüktür.
  Bu ifade, "ise" bağlacı ile kurulmuş bir önermedir. Ancak bu önerme de yanlıştır (0 tam sayısı için).
• D) En az bir tam sayının mutlak değeri sıfırdan büyüktür.
  Bu ifade, "En az bir" veya "Bazı" anlamındaki ∃ niceleyicisi ile başlar. Yani ∃x ∈ Z, |x| > 0 anlamına gelir. Bu önerme doğrudur (örneğin 1'in mutlak değeri 1'dir ve pozitiftir).

Orijinal önerme (Her tam sayının mutlak değeri pozitiftir) yanlıştır. Seçenek A ve B ile aynı anlama gelir. Seçenek C de aynı önermeyi farklı bir yapı ile ifade etse de yanlış olduğu için mantıksal olarak denktir. Ancak D seçeneği "Bazı" niceleyicisi ile başladığı için orijinal önerme ile aynı doğruluk değerine sahip değildir (orijinal önerme yanlış iken D seçeneği doğrudur). Bu nedenle D seçeneği mantıksal olarak dengi değildir. ✅ Farklı niceleyiciler ve bağlaçlar kullanıldığında önermelerin doğruluk değerlerinin aynı olup olmadığını kontrol etmek önemlidir.

Bu günlük hayat örneği, mantıktaki "ise" (⇒) bağlacının kullanımını çok güzel açıklar.

• Öncelikle verilen önermelerin doğruluk değerlerini anlayalım:
• p önermesi, müşterinin yaptığı alışverişin miktarı ile ilgilidir.
• q önermesi ise müşteriye verilecek hediye ile ilgilidir.
• Kampanya koşulu "Eğer p ise q" şeklinde ifade edilmiştir. Bu, mantıkta p ⇒ q olarak gösterilir.
• Bu ifade, "Eğer müşteri 100 TL ve üzeri alışveriş yaparsa (p doğru ise), o zaman müşteriye bedava çikolata verilecektir (q doğru olur)." anlamına gelir.
• "ise" bağlacının en önemli özelliği, ilk önerme (p) doğru iken ikinci önermenin (q) yanlış olması durumunda önermenin yanlış olmasıdır. Yani, müşteri 100 TL ve üzeri alışveriş yapmasına rağmen (p doğru) çikolata verilmezse (q yanlış), bu kampanya koşulu ihlal edilmiş olur.
• Diğer durumlarda (p yanlış iken q doğru veya yanlış olması, ya da p doğru iken q doğru olması) kampanya koşulu sağlanmış sayılır.

👉 Günlük hayatta birçok kural ve sözleşme, mantıksal "ise" bağlacı ile ifade edilebilir.

Her seçeneği tek tek inceleyerek doğruluk değerlerini belirleyelim:

• A) ∀x ∈ R, x² ≥ 0
  Bu ifade, "Her reel sayının karesi sıfırdan büyük veya eşittir." anlamına gelir. Reel sayıların karesi hiçbir zaman negatif olamaz. Bu nedenle bu önerme doğrudur.
• B) ∃y ∈ Z, y < -5
  Bu ifade, "Öyle bir tam sayı vardır ki, bu sayı -5'ten küçüktür." anlamına gelir. Örneğin y = -6 tam sayısı bu koşulu sağlar (-6 < -5). Bu nedenle bu önerme doğrudur.
• C) p ⇔ ¬p
  Bu ifade, "Bir önerme ancak ve ancak o önermenin değili doğru ise doğrudur." anlamına gelir. Bir önerme ile onun değili aynı anda doğru olamaz. Bu nedenle bu önerme her zaman yanlıştır. Bu tür önermelere çelişki denir.
• D) (p ∨ q) ⇒ p
  Bu ifade, "Eğer p veya q doğru ise, o zaman p doğrudur." anlamına gelir. Bu önerme her zaman doğru değildir. Örneğin, p yanlış ve q doğru ise, (p ∨ q) doğru olur (0 ∨ 1 = 1), ancak p yanlış olur (0). Bu durumda 1 ⇒ 0 önermesi yanlış olur. Bu nedenle bu önerme yanlış olabilir. Ancak soruda "hangisi yanlıştır" denildiği için ve C seçeneği her zaman yanlış olan bir çelişki olduğu için, C seçeneği daha kesin bir cevaptır. D seçeneği ise koşullu olarak yanlış olabilir. Sorunun bağlamında, her zaman yanlış olan C seçeneği doğru cevaptır.

💡 Bir önermenin mantıksal olarak dengi olmayan veya doğruluk değeri her zaman yanlış çıkan önermeler, ispatlarda önemli rol oynar.

Öncelikle verilen önermeyi sembolik mantık diline çevirelim:

• Verilen önerme, "Herhangi iki çift sayının toplamı da çifttir." şeklindedir.
• Bu ifade, evrensel bir genelleme içerdiği için ∀ (her) niceleyicisi ile başlamalıdır.
• Önermede iki değişken söz konusudur (toplanan sayılar). Bu değişkenlere x ve y diyelim.
• p(x): "x bir çift sayıdır." önermesi verilmiş. Benzer şekilde p(y): "y bir çift sayıdır." diyebiliriz.
• İki sayının toplamının çift olması durumu ise şöyle ifade edilebilir: "x + y bir çift sayıdır." Bunu da p(x+y) olarak gösterebiliriz.
• Dolayısıyla, önermenin sembolik gösterimi şu şekilde olur:

\[ \forall x, \forall y, (p(x) \land p(y)) \Rightarrow p(x+y) \]

• Bu gösterim, "Her x ve her y için, eğer x çift ise VE y çift ise, o zaman x + y de çifttir." anlamına gelir.

Şimdi bu önermenin doğruluk değerini inceleyelim:

• Matematiksel olarak biliyoruz ki, iki çift sayının toplamı her zaman çifttir.
• Örneğin, x = 2k ve y = 2m (k, m tam sayı) ise, x + y = 2k + 2m = 2(k+m) olur. Bu da x+y'nin çift olduğunu gösterir.
• Bu nedenle, verilen önerme doğrudur.

💡 Matematiksel ifadeleri sembolik dile çevirmek, ispat yapmayı kolaylaştırır ve doğruluğunu kanıtlamayı sağlar.

Bu günlük hayat örneği, niceleyicilerin ve ilişkisel ifadelerin nasıl bir araya geldiğini gösterir.

• Önermemiz: "Herkesin bir arkadaşı vardır."
• Evren kümemiz: Sınıftaki öğrenciler.
• p(x): "x kişisi"
• q(x, y): "x kişisinin y kişisi arkadaşıdır."


• Önermenin yapısı "Herkesin..." şeklinde başladığı için ∀ (her) niceleyicisi ile başlamalıdır.
• Yani, "Her x kişisi için..." demeliyiz.
• Bu x kişisinin bir arkadaşı olmalı. Yani, öyle bir y kişisi olmalı ki, x'in arkadaşı olsun. Bu durum ∃ (bazı) niceleyicisi ile ifade edilir.
• Dolayısıyla, önermenin sembolik gösterimi şu şekildedir:

\[ \forall x, \exists y, q(x, y) \]

• Bu gösterim, "Her x kişisi için, öyle bir y kişisi vardır ki, x kişisinin y kişisi arkadaşıdır." anlamına gelir.

Bu önermenin doğruluğu, sınıftaki arkadaşlık ilişkilerine bağlıdır. Eğer sınıftaki her öğrencinin en az bir arkadaşı varsa, önerme doğrudur. Ancak eğer sınıfta hiç arkadaşı olmayan bir öğrenci varsa, önerme yanlış olur. 👉 Sosyal ilişkilerdeki genellemeler bile mantıksal yapılarla analiz edilebilir.

Öncelikle verilen önermelerin doğruluk değerlerini ve değillerini belirleyelim:

• p: "En büyük tam sayı 7'dir." Bu ifade yanlıştır. Dolayısıyla p ≡ 0.
• q: "Her tam sayının küpü kendisinden büyüktür." Bu ifade de yanlıştır. Örneğin 0'ın küpü 0'dır (0 < 0 değil), 1'in küpü 1'dir (1 < 1 değil), -1'in küpü -1'dir (-1 < -1 değil). Dolayısıyla q ≡ 0.
• ¬q: q'nun değili. q yanlış olduğu için ¬q doğrudur. Dolayısıyla ¬q ≡ 1.

Şimdi istenen önermelerin doğruluk değerlerini hesaplayalım:

• 1. p ∨ ¬q: 0 ∨ 1. VEYA bağlacında en az bir önerme doğru ise sonuç doğrudur. Doğruluk değeri: 1.
• 2. ¬p ∧ q: ¬0 ∧ 0 ⇒ 1 ∧ 0. VE bağlacında her iki önerme de doğru ise sonuç doğrudur. Burada biri yanlış olduğu için sonuç yanlıştır. Doğruluk değeri: 0.
• 3. p ⇒ q: 0 ⇒ 0. İSE bağlacında ilk önerme doğru iken ikinci önerme yanlış olmadıkça sonuç doğrudur. Burada ilk önerme (p) yanlış olduğu için önerme doğrudur. Doğruluk değeri: 1.

✅ Mantık bağlaçlarının tüm doğruluk durumlarını içeren tabloları ezberlemek faydalıdır.

Soruda verilen ifadeyi adım adım sembolik mantık diline çevirelim:

• İfade "Herhangi bir öğrenci için..." diye başladığı için evrensel niceleyici ∀ (her) kullanılır.
• Bu niceleyici, öğrenci sınıfı E kümesi üzerinde tanımlanır: ∀x ∈ E
• İfadenin devamı "eğer o öğrenci matematik dersinden geçerse, o zaman matematik öğretmeni mutludur." şeklindedir. Bu bir koşullu önermedir ve "ise" (⇒) bağlacı ile ifade edilir.
• Koşullu önermenin ilk kısmı (hipotez): "o öğrenci matematik dersinden geçer." Bu, verilen p(x) önermesidir.
• Koşullu önermenin ikinci kısmı (hüküm): "o zaman matematik öğretmeni mutludur." Bu, verilen q(x) önermesidir.
• Ancak burada dikkat edilmesi gereken bir nokta var: "Matematik öğretmeni mutludur." ifadesi, öğrencinin geçip geçmediğinden bağımsız olarak genel bir durum gibi görünüyor. Eğer öğretmenin mutluluğu her öğrenci için aynı ise (yani, bir öğrenci geçse de geçmese de öğretmen hep mutluysa), o zaman q(x) yerine sadece q diyebiliriz.
• Eğer öğretmenin mutluluğu, o öğrencinin durumuna bağlı değilse (yani genel olarak öğretmenin mutlu olup olmadığı), o zaman ifade şöyle olur:

\[ \forall x \in E, (p(x) \Rightarrow q) \]

• Bu gösterim, "Her x öğrencisi için, eğer x matematik dersinden geçerse, o zaman (genel olarak) matematik öğretmeni mutludur." anlamına gelir.
• Eğer öğretmenin mutluluğu, geçen öğrenciye bağlı ise (yani sadece o öğrenci geçtiğinde mutlu oluyorsa), o zaman q önermesi de x'e bağlı olmalıdır ve q(x) olarak yazılmalıdır. Bu durumda gösterim:

\[ \forall x \in E, (p(x) \Rightarrow q(x)) \]

• Sorunun ifadesine göre, öğretmenin mutluluğu genel bir durum gibi algılandığı için ilk gösterim daha uygun görünmektedir.

👉 Bu tür ifadelerde, önermelerin hangi değişkenlere bağlı olduğunu dikkatlice belirlemek, doğru sembolik gösterimi elde etmemizi sağlar.