1. bölüm
TYT & AYT - Mantık - 11.Sayfa
Lise • TYT • AYT
Mantık
De Morgan Kuralları ve Parantez Yönetimi
Sayfa 11 • Orta → İleri Seviye
1) Neden De Morgan?
Mantıkta bir bileşik önermeyi değillerken, bağlaçlar “yer değiştirir”.
Bu işlem hem doğruluk tablolarıyla hem de kurallarla ispatlanabilir.
TYT–AYT’de hızlı dönüşüm için De Morgan kuralları çok kullanılır.
Temel fikir
Parantezin dışına “¬” geldiğinde, içerideki bağlaç ∧ ↔ ∨ şeklinde değişir ve her önerme ayrı ayrı değillenir.
2) De Morgan Kuralı 1: ¬(p ∧ q)
“Ve” bağlacının değili, “veya”ya dönüşür.
Eşdeğerlik
Yani “p ve q değil” demek, “p değil veya q değil” ile aynı doğruluk değerini verir.
Hızlı kontrol
p ve q’nun ikisi birden doğru olmadıkça “p ∧ q” doğru olmaz. O halde değili, “en az birinin yanlış olması” durumunu yakalar.
3) De Morgan Kuralı 2: ¬(p ∨ q)
“Veya” bağlacının değili, “ve”ye dönüşür.
Eşdeğerlik
Yani “p veya q değil” demek, “p değil ve q değil” ile aynı doğruluk değerini verir.
Sık hata
Parantez yoksa yanlış yorum yapılır. “¬p ∨ q” ile “¬(p ∨ q)” aynı şey değildir.
4) Parantez ve İşlem Önceliği
Mantıkta da işlem önceliği önemlidir. Parantez yoksa ifadeyi standart öncelik sırasına göre okuruz.
| Öncelik | Bağlaç | Örnek Okuma |
|---|---|---|
| 1 | ¬ | Önce değilleme yapılır. |
| 2 | ∧ | Sonra “ve”. |
| 3 | ∨ | Sonra “veya”. |
| 4 | → | Koşullu önerme daha sonra değerlendirilir. |
| 5 | ↔ | En sonda iki yönlü koşul. |
Mini örnek
Bu ifade, önce ¬p, sonra q ∧ r ve en sonda “∨” şeklinde düşünülür.
Karışıyorsa parantezle açık yaz.
Sayfa Özeti
- De Morgan 1: ¬(p ∧ q) ⟺ ¬p ∨ ¬q
- De Morgan 2: ¬(p ∨ q) ⟺ ¬p ∧ ¬q
- Parantez yoksa işlem önceliğine göre okunur.
- En yaygın hata: parantezi unutup yanlış değilleme yapmak.
2. bölüm
TYT & AYT - Mantık - 12.Sayfa
Lise • TYT • AYT
Mantık
Mantıksal Denklem ve Eşdeğerlik
Sayfa 12 • İleri Seviye Başlangıcı
1) Mantıksal Eşdeğerlik Nedir?
İki mantık ifadesi tüm doğruluk durumlarında aynı sonucu veriyorsa, bu ifadelere
eşdeğer denir.
Gösterim
Bu, p ve q’nun eşdeğer olduğunu gösterir.
2) Önemli Eşdeğerlik Örneği
Koşullu önerme şu şekilde eşdeğerdir:
Bu dönüşüm, mantık sorularında çok sık kullanılır.
3) Doğruluk Tablosu ile Kanıt
| p | q | p → q | ¬p ∨ q |
|---|---|---|---|
| D | D | D | D |
| D | Y | Y | Y |
| Y | D | D | D |
| Y | Y | D | D |
Sonuç sütunları aynı olduğu için eşdeğerdir.
4) Diğer Önemli Eşdeğerlikler
TYT–AYT İpucu
Eşdeğerlikler, uzun doğruluk tabloları yerine hızlı çözüm sağlar.
Sayfa Özeti
- Eşdeğer ifadeler aynı doğruluk değerine sahiptir.
- p → q ≡ ¬p ∨ q
- Doğruluk tablosu ile kanıtlanır.
3. bölüm
TYT & AYT - Mantık - 13.Sayfa
Lise • TYT • AYT
Mantık
Mantıkta Özdeşlik (Identity) Yasaları
Sayfa 13 • İleri Seviye
1) Özdeşlik Yasaları Nedir?
Özdeşlik yasaları, mantık ifadelerini sadeleştirmeye yarayan temel kurallardır.
Bu yasalar sayesinde karmaşık mantık ifadeleri daha basit hale getirilebilir.
Amaç
Mantık ifadelerini daha kısa ve anlaşılır hale getirmek.
2) "Ve" İçin Özdeşlik Yasası
Bir önerme kendisi ile "ve" yapılırsa sonuç değişmez:
Çünkü p doğruysa sonuç doğru, yanlışsa sonuç yanlış olur.
3) "Veya" İçin Özdeşlik Yasası
Bir önerme kendisi ile "veya" yapılırsa yine değişmez:
4) Çift Değilleme Yasası
Bir önermenin değili tekrar değillenirse, orijinal önerme elde edilir.
Bu kural, sadeleştirme işlemlerinde çok kullanılır.
5) Doğru ve Yanlış ile Özdeşlik
TYT–AYT İpucu
Özdeşlik yasaları, mantık ifadelerini hızlı sadeleştirmek için kullanılır.
Sayfa Özeti
- p ∧ p ≡ p
- p ∨ p ≡ p
- ¬¬p ≡ p
- Özdeşlik yasaları sadeleştirme sağlar
4. bölüm
TYT & AYT - Mantık - 14.Sayfa
Lise • TYT • AYT
Mantık
Dağılma (Distributive) Yasaları
Sayfa 14 • İleri Seviye
1) Dağılma Yasası Nedir?
Dağılma yasası, mantıkta bir bağlacın diğer bağlaç üzerine dağıtılmasını ifade eder.
Bu yasa, matematikteki çarpmanın toplama üzerine dağılması ile benzerlik gösterir.
Amaç
Mantık ifadelerini yeniden düzenlemek ve sadeleştirmek.
2) "Ve" Bağlacının Dağılması
"Ve", "veya" üzerine dağılabilir:
Bu ifade matematikteki şu kurala benzer:
a × (b + c) = (a × b) + (a × c)
3) "Veya" Bağlacının Dağılması
"Veya", "ve" üzerine dağılabilir:
4) Örnek Sadeleştirme
Verilen ifade:
Sonuç:
TYT–AYT İpucu
Dağılma yasaları, mantık ifadelerini sadeleştirmede sık kullanılır.
Sayfa Özeti
- Ve ve veya bağlaçları dağıtılabilir.
- Sadeleştirme için kullanılır.
- Matematiksel dağılım ile benzerlik gösterir.
5. bölüm
TYT & AYT - Mantık - 15.Sayfa
Lise • TYT • AYT
Mantık
Soğurma (Absorption) Yasaları
Sayfa 15 • İleri Seviye
1) Soğurma Yasası Nedir?
Soğurma yasası, mantık ifadelerinde gereksiz kısımları ortadan kaldırarak ifadeyi sadeleştiren önemli bir yasadır.
Bu yasa sayesinde daha karmaşık görünen ifadeler çok daha basit hale getirilebilir.
Amaç
Gereksiz mantık bileşenlerini ortadan kaldırmak.
2) Birinci Soğurma Yasası
Bu yasa şu şekilde ifade edilir:
Çünkü p doğruysa ifade zaten doğrudur. p yanlışsa, ikinci kısım da yanlış olur.
3) İkinci Soğurma Yasası
Bu yasa şu şekilde ifade edilir:
4) Örnek Sadeleştirme
Verilen ifade:
Sonuç:
5) Mantıksal Anlam
Bir ifade, kendisini içeren daha karmaşık bir ifadeyi soğurur ve sade hale getirir.
Önemli sonuç:
Daha basit ifade her zaman tercih edilir.
TYT–AYT İpucu
Soğurma yasası, özellikle sadeleştirme sorularında çok sık kullanılır.
Sayfa Özeti
- p ∨ (p ∧ q) ≡ p
- p ∧ (p ∨ q) ≡ p
- Soğurma yasası sadeleştirme sağlar
6. bölüm
TYT & AYT - Mantık - 16.Sayfa
Lise • TYT • AYT
Mantık
Önerme Fonksiyonları ve Açık Önermeler
Sayfa 16 • İleri Seviye
1) Açık Önerme Nedir?
İçinde değişken bulunan ve doğruluk değeri değişkene bağlı olan ifadelere
açık önerme denir.
Örnek
Bu ifade, x değerine bağlıdır.
2) Önerme Fonksiyonu
Açık önermeler genellikle şu şekilde gösterilir:
Bu ifade, x’e bağlı bir önerme fonksiyonudur.
3) Örnek Önerme Fonksiyonu
Önerme fonksiyonu:
x = 5 için doğru olur.
x = 1 için yanlış olur.
4) Doğruluk Kümesi
Önerme fonksiyonunu doğru yapan değerlerin kümesine doğruluk kümesi denir.
Örnek:
P(x): x > 3
Doğruluk kümesi:
{4, 5, 6, ...}
5) Sayı Doğrusu Yorumu
Doğruluk kümesi, sayı doğrusunda belirli bir aralığı temsil edebilir.
x > 3 → 3’ten büyük tüm sayılar
TYT–AYT İpucu
Açık önermeler, eşitsizlik ve kümeler konusuyla bağlantılıdır.
Sayfa Özeti
- Açık önerme değişkene bağlıdır
- P(x) şeklinde gösterilir
- Doğruluk kümesi vardır
7. bölüm
TYT & AYT - Mantık - 17.Sayfa
Lise • TYT • AYT
Mantık
Niceleyiciler (∀ ve ∃)
Sayfa 17 • İleri Seviye
1) Niceleyici Nedir?
Açık önermelerin tüm elemanlar veya bazı elemanlar için doğru olup olmadığını belirten sembollere
niceleyici denir.
Niceleyiciler, mantıkta genelleme ve varlık belirtmek için kullanılır.
2) Her Niceleyicisi (∀)
"Her" anlamına gelir.
Anlamı:
Tüm x değerleri için P(x) doğrudur.
3) Var Niceleyicisi (∃)
"En az bir tane vardır" anlamına gelir.
Anlamı:
En az bir x için P(x) doğrudur.
4) Örnekler
∀x (x > 0)
Tüm x sayıları pozitiftir.
∃x (x = 0)
En az bir x sıfıra eşittir.
5) Niceleyicilerin Değili
TYT–AYT İpucu
Niceleyiciler özellikle ileri seviye mantık sorularında kullanılır.
Sayfa Özeti
- ∀ → her
- ∃ → en az bir tane
- Niceleyicilerin değili vardır
8. bölüm
TYT & AYT - Mantık - 18.Sayfa
Lise • TYT • AYT
Mantık
Mantıkta İspat Yöntemleri: Doğrudan ve Karşıt Ters İspat
Sayfa 18 • İleri Seviye
1) Mantıkta İspat Nedir?
Mantıkta ispat, bir önermenin doğru olduğunu mantıksal kurallar kullanarak göstermektir.
Özellikle koşullu önermelerde ispat yöntemleri çok önemlidir.
Amaç: Bir önermenin doğruluğunu kesin olarak kanıtlamak.
2) Doğrudan İspat
Doğrudan ispatta, başlangıç önermesinden başlanır ve sonuç elde edilir.
Genel yapı:
Önce p doğru kabul edilir, sonra q’nun doğru olduğu gösterilir.
3) Karşıt Ters İspat
Bu yöntemde şu eşdeğerlik kullanılır:
Yani q’nun değili alınır ve p’nun değili elde edilir.
4) Neden Karşıt Ters Kullanılır?
Çünkü bazı durumlarda doğrudan ispat zor olabilir.
Karşıt ters, daha kolay çözüm sağlar.
5) Örnek
Verilen önerme:
Eğer x çift ise, x² çifttir.
Bu önerme doğrudan veya karşıt ters ile ispatlanabilir.
TYT–AYT İpucu
Karşıt ters ispat, en güçlü ispat yöntemlerinden biridir.
Sayfa Özeti
- Doğrudan ispat vardır
- Karşıt ters ispat vardır
- p → q ≡ ¬q → ¬p
9. bölüm
TYT & AYT - Mantık - 19.Sayfa
Lise • TYT • AYT
Mantık
Mantıkta Denk Önermeler ve İspat Soruları
Sayfa 19 • İleri Seviye
1) Denk Önermeler Nedir?
İki mantık ifadesi tüm durumlarda aynı doğruluk değerini veriyorsa, bu ifadelere
denk önermeler denir.
Gösterim:
2) En Önemli Denk Önermeler
3) Denk Olduğu Nasıl Gösterilir?
- Doğruluk tablosu kullanılır
- Her satır karşılaştırılır
- Sonuçlar aynıysa denk kabul edilir
4) Örnek Denk Önermeler
Verilen:
p → q
Denk ifade:
¬p ∨ q
5) Neden Önemlidir?
Denk önermeler, mantık ifadelerini sadeleştirmeyi sağlar.
TYT–AYT İpucu
Denk önermeler, sınavlarda çok sık sorulur.
Sayfa Özeti
- Denk önermeler aynı sonucu verir
- Doğruluk tablosu ile gösterilir
- Sadeleştirme için kullanılır
10. bölüm
TYT & AYT - Mantık - 20.Sayfa
Lise • TYT • AYT • Mantık
Genel Tekrar ve Sınav Stratejileri
Mantık Konusunun Tam Özeti
Sayfa 20 • Final Sayfası
1) Mantığın Temel Yapısı
Önerme: Doğru veya yanlış olabilen ifadelerdir.
Doğruluk değerleri: D veya Y
Bileşik önermeler bağlaçlarla oluşturulur.
2) En Önemli Mantık Bağlaçları
→ Değilleme
→ Ve
→ Veya
→ Koşullu önerme
→ Ancak ve ancak
3) En Kritik Eşdeğerlikler
p → q ≡ ¬p ∨ q
¬(p ∧ q) ≡ ¬p ∨ ¬q
¬(p ∨ q) ≡ ¬p ∧ ¬q
4) TYT–AYT Sınav Stratejisi
Doğruluk tablosu sorularını dikkatli çöz
Eşdeğerlikleri ezberle
Sadeleştirme kurallarını kullan
Mantık Konusu Tamamlandı
Bu bölümde önerme kavramı, mantık bağlaçları, doğruluk tabloları, eşdeğerlikler,
niceleyiciler ve ispat yöntemleri öğrenildi.
Mantık, matematiğin temelini oluşturur ve diğer konuların anlaşılmasını kolaylaştırır.
Artık mantık sorularını sistemli şekilde çözebilirsin.
