Mantık, TYT matematiğe hazırlanırken karşına çıkan temel konulardan biridir. Birçok öğrenci bu konuya "zaten biliyorum" diyerek hafif geçer; ama sınav günü birkaç soru yanlış yapar, çünkü kuralları değil mantığını öğrenmemiştir. Bu yazıda mantık konusunu sıfırdan, sınava odaklı ve doğruluk tablolarıyla birlikte ele alacağız.
Mantık Hangi Sınıfta, Hangi Ünitede İşlenir?
Mantık, 9. sınıf matematikte Türkiye Yüzyılı Maarif Modeli'nin 5. teması olan "Algoritma ve Bilişim" içinde işlenir. Konunun adı "Mantık Bağlaçları ve Niceleyiciler"dir. Okul takviminde 26. haftaya, yani 5-9 Nisan haftasına denk gelir. TYT'ye hazırlanıyorsan aynı bilgiler sınavda da işine yarar.
Bu yazının karşıladığı öğrenme çıktısı:
- 9.5.2 Algoritmik yapılar içerisindeki mantık bağlaçlarını ve niceleyicileri çözümleyebilme
Mantık Nedir?
Mantık; doğru düşünme, akıl yürütme ve çıkarım yapma kurallarını inceleyen bir matematik dalıdır. Günlük dilde "mantıklı olmak" dediğimizde kastettiğimiz şeyin matematiksel karşılığıdır.
TYT matematikte mantık konusu; önermeler, bağlaçlar (ve, veya, değil, koşul, denklik) ve doğruluk tablolarından oluşur. Çıkan soru sayısı yıldan yıla değişir. Kuralları iyi öğrenen öğrenci bu soruları kısa sürede çözer ve ciddi puan kazanır.
Matematikte Mantık Konusu
Mantık konusu, matematiğin en soyut alanlarından biri gibi görünse de TYT'de son derece belirli bir çerçevede sorulur. Kapsam şu başlıklardan oluşur:
- Önerme tanımı ve özellikleri
- Bağlaçlar: değil (¬), ve (∧), veya (∨), koşul (→), denklik (↔)
- Doğruluk tabloları
- Önermenin olumsuzlaması
- Bileşik önermelerin doğruluk değerleri
Bu konuları anlayan bir öğrenci, TYT mantık sorularını formül ezberlemeden çözebilir.
Önerme Nedir?
Mantık Önerme Tanımı
Önerme; doğru (D) ya da yanlış (Y) olduğu kesin biçimde söylenebilen ifadelerdir. Bir cümlenin önerme sayılabilmesi için iki şartı sağlaması gerekir:
- Kesin bir yargı bildirmelidir.
- Doğru ya da yanlış olduğu belirlenebilmelidir.
Örnekler
- "2 + 3 = 5" → Doğru önerme ✓
- "Türkiye'nin başkenti Ankara'dır." → Doğru önerme ✓
- "7 çift sayıdır." → Yanlış önerme ✓ (önerme olabilmesi için doğru olması gerekmez!)
- "Pencereyi kapat." → Önerme değil ✗ (emir cümlesi)
- "Bu cümle yanlıştır." → Önerme değil ✗ (doğruluğu belirlenemeyen paradoks)
Mantık Önermeler — Bileşik Önermeler
Birden fazla basit önermenin bağlaçlarla birleştirilmesiyle oluşan yapılara bileşik önerme denir. Örneğin:
- "Hava güneşlidir ve sıcaklık 30 derecedir." → İki önerme 've' bağlacıyla birleştirilmiş.
- "Ya sınıfı geçersin ya da tekrar sınava girersin." → İki önerme 'veya' bağlacıyla birleştirilmiş.
Her bileşik önermenin doğruluk değeri, onu oluşturan basit önermelerin doğruluk değerlerine ve kullanılan bağlaca göre belirlenir.
Mantık Kuralları
Doğruluk ve Yanlışlık
Her önermenin yalnızca iki olası değeri vardır: Doğru (D) veya Yanlış (Y). Bu ikili sistem mantığın temelidir. İki önerme olduğunda toplam 4 farklı durum, üç önerme olduğunda 8 farklı durum ortaya çıkar. Genel formül: 2ⁿ (n = önerme sayısı).
Değil (¬) — Olumsuzlama
Bir önermenin olumsuzlaması, o önermenin doğruluk değerini tersine çevirir. Doğru önermenin değili yanlış, yanlış önermenin değili doğrudur.
| p | ¬p (Değil) |
|---|---|
| D | Y |
| Y | D |
Ve (∧) ve Veya (∨) Bağlaçları
| p | q | p ∧ q (Ve) | p ∨ q (Veya) |
|---|---|---|---|
| D | D | D | D |
| D | Y | Y | D |
| Y | D | Y | D |
| Y | Y | Y | Y |
Kural: "Ve" bağlacında her ikisi de doğru olmalı. "Veya" bağlacında en az biri doğru olmalı.
Önermeler Tablosu — Doğruluk Tablosu
Doğruluk Tablosu Mantığı
Doğruluk tablosu; bir bileşik önermedeki tüm olası doğruluk kombinasyonlarını ve sonuçlarını gösteren sistemli bir tablodur. İki önerme için 4 satır, üç önerme için 8 satır oluşturulur.
Tabloyu oluştururken her zaman şu sırayı takip et: p sütununda ilk yarı D, ikinci yarı Y. q sütununda ise D-Y-D-Y şeklinde dönüşümlü yaz.
TYT Mantık Tablosu — Koşul (→) Bağlacı
TYT'de en çok yanılgıya neden olan bağlaç koşuldur (→). "p ise q" ya da "p → q" şeklinde yazılır. Koşul önermesi yalnızca p doğru, q yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.
| p | q | p → q (Koşul) |
|---|---|---|
| D | D | D |
| D | Y | Y |
| Y | D | D |
| Y | Y | D |
Hatırlatma: Yanlış bir önermeden her şey çıkar. Yani p yanlışsa, q ne olursa olsun koşul doğrudur. Bu kural sınavda sıkça kullanılır.
Denklik (↔) bağlacı ise iki önermenin aynı doğruluk değerine sahip olduğu durumlarda doğru olur:
| p | q | p ↔ q (Denklik) |
|---|---|---|
| D | D | D |
| D | Y | Y |
| Y | D | Y |
| Y | Y | D |
Niceleyiciler Nedir? Her (∀) ve Bazı (∃)
Niceleyici, bir ifadenin kaç eleman için doğru olduğunu söyleyen sözcüktür. İki niceleyici vardır: her (∀) ve bazı, yani en az bir (∃). "Her x için" demek istediğinde ∀x, "en az bir x için" demek istediğinde ∃x yazarsın.
Niceleyiciyi anlamak için önce açık önermeye bakalım. "x + 2 = 5" cümlesi tek başına önerme değildir. Çünkü x'i bilmeden doğru mu yanlış mı diyemezsin. Buna açık önerme denir; başına bir niceleyici koyduğunda cümle önermeye dönüşür.
- ∀x (her x için) → İfade, kümedeki bütün elemanlar için sağlanmalı. Tek bir karşı örnek önermeyi yanlış yapar.
- ∃x (en az bir x için) → İfadeyi sağlayan tek bir eleman bulman yeterli.
Mantık: "Sınıftaki herkes ödevini getirdi." dersen, ödevini unutan tek bir arkadaşın seni yanlış çıkarır. "Sınıfta ödevini getiren biri var." dersen, tek bir kişiyi göstermen yeter.
Niceleyicili Önermenin Olumsuzu Nasıl Yazılır?
Olumsuzlama yaparken hem niceleyici değişir hem de ifade değillenir. "Her" olan yere "en az bir", "en az bir" olan yere "her" gelir.
| Önerme | Olumsuzu |
|---|---|
| ∀x, p(x) (her x için p) | ∃x, ¬p(x) (en az bir x için p değil) |
| ∃x, p(x) (en az bir x için p) | ∀x, ¬p(x) (her x için p değil) |
Dikkat: "Her öğrenci servise biner." önermesinin olumsuzu "Hiçbir öğrenci servise binmez." değildir. Doğru olumsuz "Bazı öğrenciler servise binmez." olur. Çünkü ilk önermeyi yanlış yapmak için servise binmeyen tek bir öğrenci yeterlidir.
Niceleyici Örnekleri (9. sınıf düzeyi)
Örnek 1: Aşağıdaki önermelerin doğruluk değerini bul.
- ∀x ∈ ℝ, x² ≥ 0
- ∃x ∈ ℤ, x² = 2
- ∃x ∈ ℕ, x + 3 = 5
- ∀x ∈ ℕ, x > 0
Çözüm: Her birini ayrı ayrı inceleyelim.
- Bir reel sayının karesi hiçbir zaman negatif olmaz. Önerme doğrudur (D).
- Karesi 2 olan sayılar √2 ve −√2'dir. İkisi de tam sayı değildir. Önerme yanlıştır (Y).
- x = 2 doğal sayısı 2 + 3 = 5 eşitliğini sağlar. Tek örnek yeter; önerme doğrudur (D).
- 0 bir doğal sayıdır ve 0 > 0 sağlanmaz. Bu tek karşı örnek yeter; önerme yanlıştır (Y).
Örnek 2: "∀x ∈ ℕ, x + 1 > x" önermesinin olumsuzunu yaz ve doğruluk değerini bul.
Çözüm: "Her" yerine "en az bir" gelir, eşitsizlik değillenir. Olumsuzu "∃x ∈ ℕ, x + 1 ≤ x" olur. Hiçbir doğal sayı, kendisinin bir fazlasından büyük ya da ona eşit değildir. Yani olumsuz önerme yanlıştır. Asıl önerme doğru olduğu için değilinin yanlış çıkması da beklediğimiz sonuçtur.
Algoritmalarda Mantık Bağlaçları ve Niceleyiciler Nasıl Kullanılır?
Algoritma, bir işi adım adım yapmak için yazılan talimatlar listesidir. Algoritmalarda "EĞER … İSE" kararları ve "… OLDUĞU SÜRECE" döngüleri vardır. Bu kararların içindeki koşullar birer önermedir. Koşulları birleştiren VE, VEYA, DEĞİL ise bildiğin mantık bağlaçlarıdır.
Günlük hayattan: Telefonundaki alarm "Bugün hafta içi VE saat 07.00 ise çal" diye kurulmuş olsun. Cumartesi sabahı "hafta içi" önermesi yanlıştır. Bu yüzden "ve" bağlacı da yanlış olur ve alarm çalmaz.
| Algoritmadaki ifade | Mantıktaki karşılığı | Ne zaman doğru? |
|---|---|---|
| VE | p ∧ q | İki koşul da doğruysa |
| VEYA | p ∨ q | En az bir koşul doğruysa |
| DEĞİL | ¬p | Koşul yanlışsa |
| Listedeki her eleman için kontrol et | ∀ | Hiç karşı örnek çıkmazsa |
| Listede koşulu sağlayan bir eleman ara | ∃ | En az bir eleman koşulu sağlarsa |
Örnek: Sınıf Geçme Algoritması (9. sınıf düzeyi)
Hayali bir karne programında şu adımlar olsun:
- Not ortalamasını (N) ve devamsızlık gün sayısını (G) al.
- EĞER N ≥ 50 VE G ≤ 10 İSE "Geçti" yaz.
- DEĞİLSE "Kaldı" yaz.
Soru: N = 62 ve G = 12 olan öğrenci için program ne yazar?
Çözüm: p: "N ≥ 50", q: "G ≤ 10" olsun. 62 ≥ 50 olduğu için p doğrudur (D). 12 ≤ 10 sağlanmadığı için q yanlıştır (Y). p ∧ q = D ∧ Y = Y olur. Koşul yanlış olduğu için program "Kaldı" yazar.
DEĞİLSE kolu, koşulun değili doğru olduğunda çalışır. ¬(p ∧ q) ile ¬p ∨ ¬q denktir. Burada ¬p = Y, ¬q = D ve Y ∨ D = D çıkar. Yani öğrencinin kalma sebebi devamsızlıktır.
Örnek: Listede Niceleyici Kontrolü (9. sınıf düzeyi)
Bir algoritma, L = [3, 8, 5, 11] listesindeki sayıları soldan sağa tek tek kontrol ediyor. Aşağıdaki önermelerin doğruluk değerini algoritmanın bulacağı gibi bulalım.
- "Listedeki her sayı tektir." (∀)
- "Listede en az bir çift sayı vardır." (∃)
- "Listedeki her sayı 12'den küçüktür." (∀)
Çözüm: Algoritma elemanları sırayla dolaşır.
- 3 tek, 8 çift. İkinci adımda karşı örnek bulunur ve algoritma durur. Önerme yanlıştır.
- 3 çift değil, 8 çift. Bir örnek yeter ve algoritma durur. Önerme doğrudur.
- 3, 8, 5 ve 11 sayılarının hepsi 12'den küçüktür. Karşı örnek çıkmadığı için algoritma listenin sonuna kadar gider. Önerme doğrudur.
Mantık: "Her" önermesini doğrulamak için bütün listeyi dolaşmak gerekir; yanlışlamak için tek karşı örnek yeter. "En az bir" önermesinde durum tam tersidir. Bir örnek bulunca iş biter; yanlış demek için ise bütün listeyi dolaşırsın.
Bu tür soruları çözerek konuyu pekiştirmek istersen 9. sınıf matematik soruları sayfasında soru çözebilirsin.
Mantık Notları — Hızlı Özet
Sınav öncesi tekrar için kısa ve net özet:
- Önerme = Doğru ya da yanlış olduğu kesin söylenebilen ifade
- Emir, soru, duygu cümleleri önerme değildir
- ¬p → p'nin doğruluk değerini tersine çevirir
- p ∧ q (ve) → her ikisi de D ise D, aksi Y
- p ∨ q (veya) → en az biri D ise D; ikisi de Y ise Y
- p → q (koşul) → sadece D→Y durumunda Y
- p ↔ q (denklik) → ikisi aynı değerdeyse D, farklıysa Y
- n önerme için 2ⁿ satırlı doğruluk tablosu oluşturulur
- ∀ (her) önermesini tek karşı örnek, ∃ (en az bir) önermesini tek örnek belirler
Sık Yapılan Hatalar
Önerme Olmayan İfadeleri Önerme Sanmak
"Bugün hava çok güzel!" cümlesi bir duygu ifadesidir; kesin doğruluk değeri yoktur. TYT'de bu tür ifadeler sıklıkla tuzak olarak verilir. Soru "aşağıdakilerden hangisi önermedir?" şeklinde geldiğinde yargı bildiren, doğruluğu belirlenebilir cümleyi ara.
Doğruluk Tablosunda Satır Sayısını Yanlış Bulmak
Üç önerme varken 6 satır yazılır mı? Hayır. Her önerme 2 değer aldığından 2³ = 8 satır gerekir. Bu hatayı yapmamak için önerme sayısını bul, 2'nin o kuvvetini hesapla.
Mantık Kurallarını Ezberleyip Mantığını Anlamamak
Koşul bağlacının neden D→Y durumunda Y olduğunu düşünmeden ezberleyen öğrenciler, soruyu farklı biçimde gördüklerinde yanılır. Kuralın mantığı şudur: "Yağmur yağarsa şemsiye açarım" diyorsan ve yağmur yağmasına rağmen şemsiye açmadıysan, sözünü tutmamışsın demektir — yani yanlış. Diğer tüm durumlarda sözünü kırmamışsın.
Algoritmada VE ile VEYA Bağlacını Karıştırmak
Hafta sonu için bir koşul yazdığını düşün. "gün = Cumartesi VE gün = Pazar" yazarsan koşul hiçbir gün doğru olmaz. Çünkü bir gün aynı anda hem Cumartesi hem Pazar olamaz. Doğrusu "gün = Cumartesi VEYA gün = Pazar" olur.
TYT Mantık Konusunda Başarılar! Tabloları bu şekilde anlamlandırarak çalışırsan, sınav günü her soruyu rahatça çözebilirsin.
