9. Sınıf Matematik Mantık Konu Anlatımı: Önerme, Bağlaçlar ve Sadeleştirme


🧠 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ı ve bileşik önermelerin sadeleştirilmesini 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.

❌ 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

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

Teste Başla →


Beğendiniz mi? Arkadaşlarınızla Paylaşın!

0

0 Yorum

E-posta adresiniz yayınlanmayacak. Gerekli alanlar * ile işaretlenmişlerdir