9. Sınıf Matematik Mantık Konu Anlatımı 2026

🧠 9. Sınıf Matematik – Mantık Konu Anlatımı

Mantık, matematiğin temel yapı taşlarından biridir. Bu konu anlatımında önerme kavramını, mantıksal bağlaçları, doğruluk tablolarını, niceleyicileri, bileşik önermelerin sadeleştirilmesini ve tanım-aksiyom-teorem-ispat kavramlarını detaylı örneklerle öğreneceksin.

📌 Önerme Nedir?

Önerme, doğru ya da yanlış olmak üzere kesin bir mantık değeri taşıyan ifadedir. Bir ifadenin önerme olabilmesi için ya doğru ya da yanlış olması gerekir; ikisi arasında bir değer alamaz.

Önerme Olan ve Olmayan İfadeler

İfade	Önerme mi?	Açıklama
“5, asal bir sayıdır.”	Evet (Doğru)	Kesin doğruluk değeri var
“Ankara, İtalya’nın başkentidir.”	Evet (Yanlış)	Yanlış olsa da kesin değer taşır
“Bu kitap güzel mi?”	Hayır	Soru cümlesi, doğruluk değeri yok
“Kapıyı kapat!”	Hayır	Emir cümlesi
“Keşke yağmur yağsa.”	Hayır	Dilek cümlesi
“x + 3 = 7”	Hayır	Açık önerme (x bilinmiyor)

⚠️ Önemli: Açık önermeler (içinde bilinmeyen değişken bulunan ifadeler) önerme değildir. Ancak değişkene değer verildiğinde önerme hâline gelir. → “x + 3 = 7” önerme değildir; ama “x = 4 için x + 3 = 7” doğru bir önermedir.

Önerme Gösterimi

Önermeler genellikle küçük harflerle (p, q, r, s) gösterilir.

p: “Dünya yuvarlaktır.” → Doğruluk değeri: D (1)
q: “3 + 2 = 6” → Doğruluk değeri: Y (0)

🔗 Mantıksal Bağlaçlar ve Bileşik Önermeler

Basit önermelerin mantıksal bağlaçlarla birleştirilmesiyle bileşik önermeler oluşur. 9. sınıf müfredatında 5 temel mantıksal bağlaç yer alır.

1. Değilleme (Olumsuzlama) — ~p veya p’

Bir önermenin doğruluk değerini tersine çevirir. Doğru olan yanlış, yanlış olan doğru olur.

p	~p
D	Y
Y	D

📝 Örnek: p: “Hava güneşlidir.” (D) → ~p: “Hava güneşli değildir.” (Y)

2. Konjunksiyon (Ve Bağlacı) — p ∧ q

“Ve” bağlacıyla oluşturulur. Bileşik önermenin doğru olması için her iki önermenin de doğru olması gerekir.

p	q	p ∧ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	Y

📝 Örnek: p: “5 tek sayıdır.” (D) ∧ q: “6 çift sayıdır.” (D) → p ∧ q: D
p: “5 tek sayıdır.” (D) ∧ q: “3 çift sayıdır.” (Y) → p ∧ q: Y

💡 Hatırlatma: Konjunksiyon = “Hepsi doğruysa doğru”. Tek bir yanlış bile sonucu yanlış yapar.

3. Disjunksiyon (Veya Bağlacı) — p ∨ q

“Veya” bağlacıyla oluşturulur. Bileşik önermenin yanlış olması için her iki önermenin de yanlış olması gerekir.

p	q	p ∨ q
D	D	D
D	Y	D
Y	D	D
Y	Y	Y

📝 Örnek: p: “2 asal sayıdır.” (D) ∨ q: “4 tek sayıdır.” (Y) → p ∨ q: D
(En az biri doğru olduğu için sonuç doğru)

💡 Hatırlatma: Disjunksiyon = “En az biri doğruysa doğru”. İkisi de yanlışsa yanlış.

4. Koşullu Önerme (İse Bağlacı) — p → q

“İse” bağlacıyla oluşturulur. “p ise q” şeklinde okunur. p’ye öncül (hipotez), q’ya sonuç (hüküm) denir.

p	q	p → q
D	D	D
D	Y	Y
Y	D	D
Y	Y	D

⚠️ Kritik Kural: Koşullu önermede sadece “doğrudan yanlış çıkmaz”. Yani p doğru iken q yanlış olması durumunda sonuç yanlıştır. Diğer tüm durumlarda sonuç doğrudur. “Yanlıştan her şey çıkar” kuralını unutma!

📝 Örnek: “Yağmur yağarsa yerler ıslanır.”
p: Yağmur yağar (D), q: Yerler ıslanır (D) → p → q: D ✓
p: Yağmur yağar (D), q: Yerler ıslanmaz (Y) → p → q: Y ✗
p: Yağmur yağmaz (Y), q: Yerler ıslanır (D) → p → q: D ✓ (sprinkler ile ıslanabilir!)
p: Yağmur yağmaz (Y), q: Yerler ıslanmaz (Y) → p → q: D ✓

5. Çift Koşullu Önerme (Ancak ve Ancak İse) — p ↔ q

“Ancak ve ancak ise” bağlacıyla oluşturulur. İki önermenin doğruluk değerleri aynıysa doğru, farklıysa yanlıştır.

p	q	p ↔ q
D	D	D
D	Y	Y
Y	D	Y
Y	Y	D

💡 Hatırlatma: Çift koşullu = “Aynıysa doğru, farklıysa yanlış”. Buna eşdeğerlik de denir.

📊 Bağlaçlar Özet Tablosu

Bağlaç	Sembol	Okunuşu	Doğru Olma Koşulu
Değilleme	~p	p değil	p yanlışsa
Konjunksiyon	p ∧ q	p ve q	İkisi de doğruysa
Disjunksiyon	p ∨ q	p veya q	En az biri doğruysa
Koşullu	p → q	p ise q	D→Y hariç hep doğru
Çift koşullu	p ↔ q	p ancak ve ancak q ise	İkisi aynıysa

🔄 Koşullu Önermenin Tersi, Karşıtı ve Ters Karşıtı

Koşullu önerme p → q verildiğinde üç farklı önerme türetilebilir:

Tür	Gösterim	Açıklama	Örnek
Önerme	p → q	Orijinal	Yağmur yağarsa yerler ıslanır.
Tersi	q → p	Öncül ve sonuç yer değiştirir	Yerler ıslanırsa yağmur yağar.
Karşıtı	~p → ~q	Her iki önerme değillenir	Yağmur yağmazsa yerler ıslanmaz.
Ters karşıtı	~q → ~p	Yer değiştir + değille	Yerler ıslanmazsa yağmur yağmaz.

🔑 Önemli Eşdeğerlik: Bir koşullu önerme ile ters karşıtı her zaman eşdeğerdir. Yani p → q ≡ ~q → ~p (aynı doğruluk tablosuna sahiptir). Bu kural sınavlarda sıkça sorulur!

⚡ Tautoloji, Çelişki ve Bileşik Önerme Sadeleştirme

Tautoloji (Totoloji)

Bileşenleri ne olursa olsun her zaman doğru olan bileşik önermedir.

📝 Örnek: p ∨ ~p → Her zaman D (Bir şey ya doğrudur ya yanlıştır.)
“Bugün yağmur yağar ya da yağmaz.” → Her zaman doğru.

Çelişki

Bileşenleri ne olursa olsun her zaman yanlış olan bileşik önermedir.

📝 Örnek: p ∧ ~p → Her zaman Y (Bir şey aynı anda hem doğru hem yanlış olamaz.)
“Bugün yağmur yağar ve yağmaz.” → Her zaman yanlış.

Temel Sadeleştirme Kuralları

Kural	İfade	Sonuç
Çifte değilleme	~(~p)	p
Tautoloji (veya)	p ∨ ~p	D (her zaman doğru)
Çelişki (ve)	p ∧ ~p	Y (her zaman yanlış)
De Morgan 1	~(p ∧ q)	~p ∨ ~q
De Morgan 2	~(p ∨ q)	~p ∧ ~q
Koşullu dönüşüm	p → q	~p ∨ q
Etkisiz eleman (ve)	p ∧ D	p
Etkisiz eleman (veya)	p ∨ Y	p
Yutan eleman (ve)	p ∧ Y	Y
Yutan eleman (veya)	p ∨ D	D

📝 Sadeleştirme Örneği:
(p → q) ∧ (p ∧ ~q) ifadesini sadeleştirelim:
= (~p ∨ q) ∧ (p ∧ ~q) [koşullu dönüşüm]
Doğruluk tablosu ile kontrol: p=D, q=D → (Y∨D)∧(D∧Y) = D∧Y = Y
p=D, q=Y → (Y∨Y)∧(D∧D) = Y∧D = Y
p=Y, q=D → (D∨D)∧(Y∧Y) = D∧Y = Y
p=Y, q=Y → (D∨Y)∧(Y∧D) = D∧Y = Y
Sonuç: Her durumda Y → Bu bir çelişkidir.

🔢 Niceleyiciler: “Her” ve “Bazı”

Niceleyiciler, önermelerin geçerlilik kapsamını belirleyen ifadelerdir. Matematikte iki temel niceleyici vardır:

Evrensel Niceleyici (∀) — “Her”, “Tüm”, “Bütün”

Bir kümenin tüm elemanları için geçerli olan önermelerde kullanılır.

Gösterimi: ∀x, P(x) → “Her x için P(x) doğrudur.”
Doğru olması için: Kümedeki tüm elemanlar koşulu sağlamalıdır.
Yanlışlanması: Tek bir karşıt örnek bulmak yeterlidir.

📝 Örnekler:
• “Her asal sayı tektir.” → Yanlış (2 asal ve çifttir → karşıt örnek)
• “Her kare bir dikdörtgendir.” → Doğru (tüm kareler dikdörtgen tanımını sağlar)
• “Tüm pozitif tam sayıların karesi pozitiftir.” → Doğru

Varlık Niceleyicisi (∃) — “Bazı”, “En Az Bir”, “Bir … Vardır”

Bir kümenin en az bir elemanı için geçerli olan önermelerde kullanılır.

Gösterimi: ∃x, P(x) → “P(x)’i sağlayan en az bir x vardır.”
Doğru olması için: Koşulu sağlayan en az bir eleman bulunması yeterlidir.
Yanlışlanması: Hiçbir elemanın koşulu sağlamadığı gösterilmelidir.

📝 Örnekler:
• “Bazı asal sayılar çifttir.” → Doğru (2 çift ve asaldır)
• “Karesi negatif olan bir gerçel sayı vardır.” → Yanlış (hiçbir gerçel sayının karesi negatif olamaz)
• “En az bir tam sayının karesi 16’dır.” → Doğru (4² = 16)

Niceleyicilerin Değillenmesi

Orijinal	Değilleme	Örnek
∀x, P(x) “Her x için P doğru”	∃x, ~P(x) “P’yi sağlamayan en az bir x var”	“Her öğrenci çalışkandır” → “Çalışkan olmayan en az bir öğrenci vardır.”
∃x, P(x) “En az bir x için P doğru”	∀x, ~P(x) “Hiçbir x için P doğru değil”	“Bazı sayılar negatiftir” → “Hiçbir sayı negatif değildir.”

💡 Sınav İpucu: Niceleyici değillemesinde ∀ ↔ ∃ yer değiştirir ve önerme değillenir. “Her” → “En az bir … değildir”, “Bazı” → “Hiçbiri … değildir”. Bu kural sınavda sıkça karşına çıkar!

📐 Tanım, Aksiyom, Teorem ve İspat

Matematik, mantıksal bir yapı üzerine kuruludur. Bu yapının temel taşları tanım, aksiyom, teorem ve ispattır.

Kavram	Tanımı	Örnek
Tanım	Bir kavramın ne olduğunu kesin ve açık biçimde belirten ifadedir. İspatlanması gerekmez.	“Asal sayı, 1’den büyük ve yalnızca 1 ile kendisine bölünebilen doğal sayıdır.”
Aksiyom (Belit)	Doğruluğu apaçık kabul edilen, ispatlanmadan benimsenen temel önermedir.	“İki noktadan yalnız bir doğru geçer.” (Öklid aksiyomu)
Teorem	Aksiyomlardan ve daha önce ispatlanmış teoremlerden yola çıkılarak ispatlanan önermedir.	“Bir üçgenin iç açıları toplamı 180°’dir.” (Pisagor teoremi vb.)
İspat	Bir teoremin doğruluğunu mantıksal adımlarla gösterme sürecidir.	“√2’nin irrasyonel olduğunun ispatı” (olmayana ergi yöntemi ile)

Temel İspat Yöntemleri

Doğrudan ispat: Hipotezden başlayarak mantıksal adımlarla sonuca ulaşılır. En yaygın yöntemdir.
Olmayana ergi (Çelişkiyle ispat): Kanıtlanmak istenenin tersi varsayılır; bu varsayım bir çelişkiye götürülür, böylece orijinal önermenin doğruluğu gösterilir.
Karşıt örnekle çürütme: Bir önermenin yanlış olduğunu göstermek için tek bir karşıt örnek vermek yeterlidir.

📝 Örnek (Olmayana Ergi):
Teorem: √2 irrasyoneldir.
İspat: √2’nin rasyonel olduğunu varsayalım → √2 = a/b (a,b tam sayı, aralarında asal) → 2 = a²/b² → a² = 2b² → a çifttir → a = 2k → 4k² = 2b² → b² = 2k² → b de çifttir → Ama a ve b’nin aralarında asal olması gerekiyordu → Çelişki! → √2 irrasyoneldir. ✓

💡 Sınav İpucu: Tanım ve aksiyom ispatlanmaz. Teorem ise mutlaka ispatlanmalıdır. “Aşağıdakilerden hangisi ispat gerektirmez?” tarzı sorularda tanım ve aksiyom doğru cevaptır.

❌ Sık Yapılan Hatalar

Hata: Açık önermeleri (x + 3 = 7 gibi) önerme sanmak → Doğrusu: Değişken içeren ifadeler önerme değildir.
Hata: Koşullu önermede “yanlıştan doğru çıkmaz” sanmak → Doğrusu: Yalnızca D→Y durumunda sonuç yanlıştır. Y→D ve Y→Y durumlarında sonuç doğrudur.
Hata: Konjunksiyon ve disjunksiyonu karıştırmak → Doğrusu: ∧ (ve) → hepsi doğru olmalı; ∨ (veya) → en az biri doğru olmalı.
Hata: Tersi ile ters karşıtını karıştırmak → Doğrusu: Tersi (q→p) orijinalle eşdeğer değildir; ters karşıtı (~q→~p) eşdeğerdir.
Hata: De Morgan kurallarında bağlacı değiştirmeyi unutmak → Doğrusu: ~(p∧q) = ~p ∨ ~q (ve, veya’ya dönüşür!).

🎯 Pratik Sorular

Soru 1: “x² = 9 olduğunda x kaçtır?” ifadesi bir önerme midir?

Cevap: Hayır. Bu bir soru cümlesidir. Soru cümleleri önerme değildir çünkü doğru/yanlış değeri taşımazlar. Ayrıca “x² = 9” tek başına da önerme değildir (açık önerme). Ancak “x = 3 için x² = 9” doğru bir önermedir.

Soru 2: p doğru, q yanlış ise (p → q) ∨ (q → p) ifadesinin doğruluk değeri nedir?

Cevap: p=D, q=Y olduğunda:
p → q = D → Y = Y
q → p = Y → D = D
(p→q) ∨ (q→p) = Y ∨ D = D (Doğru)

Soru 3: ~(p ∧ q) ifadesi De Morgan kuralına göre neye eşittir?

Cevap: De Morgan’ın birinci kuralına göre: ~(p ∧ q) = ~p ∨ ~q. “Ve”nin değillenmesi, her bir önermenin değillenmesinin “veya” ile birleşimidir. Bağlacın türü değişir: ∧ → ∨

Soru 4: “Hava sıcaksa denize giderim.” önermesinin ters karşıtını yazın.

Cevap: Önerme: p → q (“Hava sıcaksa denize giderim.”)
Ters karşıtı: ~q → ~p → “Denize gitmezsem hava sıcak değildir.”
Not: Ters karşıtı orijinalle her zaman eşdeğerdir.

Soru 5: p ∨ (~p ∧ q) ifadesini sadeleştirin.

Cevap: Dağılma özelliği ile:
p ∨ (~p ∧ q) = (p ∨ ~p) ∧ (p ∨ q) [veya’nın ve’ye dağılımı]
= D ∧ (p ∨ q) [p ∨ ~p = tautoloji = D]
= p ∨ q [D ile konjunksiyon etkisiz eleman]

📋 Hızlı Özet – Mantık

Önerme: Doğru ya da yanlış değeri taşıyan ifade (soru, emir, dilek ve açık önermeler önerme değildir)
Değilleme (~p): Doğruluk değerini tersine çevirir
Konjunksiyon (p ∧ q): İkisi de doğruysa doğru
Disjunksiyon (p ∨ q): En az biri doğruysa doğru
Koşullu (p → q): Sadece D→Y durumunda yanlış, geri kalan her zaman doğru
Çift koşullu (p ↔ q): Doğruluk değerleri aynıysa doğru
Ters karşıt (~q → ~p): Orijinal önermeyle her zaman eşdeğer
De Morgan: ~(p∧q) = ~p∨~q ve ~(p∨q) = ~p∧~q
Tautoloji: Her zaman doğru (örn: p∨~p) | Çelişki: Her zaman yanlış (örn: p∧~p)
Koşullu dönüşüm: p→q = ~p∨q
Niceleyiciler: ∀ (her/tüm) ve ∃ (bazı/en az bir); değillemede yer değiştirir
Tanım/Aksiyom: İspat gerektirmez | Teorem: İspatlanması zorunlu

📝 Konuyu anladın mı? Şimdi kendini test et!

Teste Başla →