açık öğretim 1 dönem matematik 1 ünite konu özeti
Açık Öğretim Lisesi Matematik 1: Mantık ve Önermeler Konu Özeti
Mantık ünitesi; doğru düşünme kurallarını inceleyen, kesin hüküm bildiren ifadeleri sembolik kurallarla analiz eden ve matematiğin temel ispat altyapısını oluşturan ilk konudur. Açık Öğretim Lisesi (AÖL) Matematik 1 sınavlarında bu üniteden temel bağlaçlar, doğruluk tabloları ve niceleyiciler üzerine doğrudan işlem soruları gelmektedir.
1. Önerme Kavramı ve Doğruluk Değeri:
- Önerme: Doğru ya da yanlış kesin bir hüküm bildiren ifadelerdir. Soru, emir, ünlem veya istek cümleleri önerme belirtmez. Genellikle p, q, r, s gibi küçük harflerle gösterilir.
- Doğruluk Değeri: Bir önerme doğru ise doğruluk değeri 1 (veya D), yanlış ise 0 (veya Y) ile gösterilir. n tane farklı önermenin 2^n tane farklı doğruluk durumu vardır (Örneğin 3 önerme için 2^3 = 8 durum).
- Denk Önermeler: Doğruluk değerleri aynı olan önermelere denir (p \equiv q).
- Önermenin Değili (Olumsuzu): Bir önermenin bildirdiği hükmün değiştirilmesiyle elde edilen yeni önermedir (p' veya \sim p). Doğru bir önermenin değili yanlış, yanlışın değili doğrudur ( (p')' \equiv p ).
2. Bileşik Önermeler ve Bağlaçlar:
- “Ve” Bağlacı (\wedge): Bileşenlerin her ikisi de doğru (1) iken doğru, diğer tüm durumlarda yanlıştır (1 \wedge 1 \equiv 1, diğerleri 0). Çarpma işlemine benzer.
- “Veya” Bağlacı (\vee): Bileşenlerden en az biri doğru (1) iken doğru, her ikisi de yanlış iken yanlıştır (0 \vee 0 \equiv 0, diğerleri 1). Toplama işlemine benzer.
- “Ya da” Bağlacı (\underline{\vee}): Bileşenlerin doğruluk değerleri birbirinden farklı iken doğru (1), aynı iken yanlıştır (1 \underline{\vee} 0 \equiv 1, 1 \underline{\vee} 1 \equiv 0, 0 \underline{\vee} 0 \equiv 0).
- De Morgan Kuralları: Parantez değili dağıtılırken bağlaç yön değiştirir:(p \wedge q)' \equiv p' \vee q'(p \vee q)' \equiv p' \wedge q'
3. Koşullu ve İki Yönlü Koşullu Önermeler:
- “İse” Bağlacı (\Rightarrow): Sadece birinci önerme doğru, ikinci önerme yanlışken sonuç yanlıştır; diğer tüm durumlarda doğrudur (1 \Rightarrow 0 \equiv 0, “100 kuralı”). En kritik denklik:p \Rightarrow q \equiv p' \vee q
- Karşıt, Ters ve Karşıt Ters: p \Rightarrow q önermesinin;
Karşıtı: q \Rightarrow p
Tersi: p' \Rightarrow q'
Karşıt Tersi: q' \Rightarrow p' (Bir koşullu önerme, karşıt tersine daima denktir: p \Rightarrow q \equiv q' \Rightarrow p'). - “Ancak ve Ancak” Bağlacı (\Leftrightarrow): İki yönlü koşullu önermedir. Önermelerin doğruluk değerleri aynı iken doğru (1), farklı iken yanlıştır (0).p \Leftrightarrow q \equiv (p \Rightarrow q) \wedge (q \Rightarrow p)
- Totoloji ve Çelişki: Doğruluk değeri daima 1 çıkan bileşik önermelere totoloji, daima 0 çıkan bileşik önermelere çelişki denir.
4. Açık Önermeler ve Niceleyiciler:
- Açık Önerme: İçinde en az bir değişken bulunan ve değişkenin aldığı değerlere göre doğru ya da yanlış olan ifadelerdir (P(x) şeklinde gösterilir).
- Evrensel Niceleyici (\forall - “Her”): Önermenin, kümedeki bütün elemanlar için sağlandığını belirtir.
- Varlıksal Niceleyici (\exists - “En az bir / Bazı”): Önermenin, kümedeki en az bir eleman için sağlandığını belirtir.
- Niceleyicilerin Değili:(\forall x, P(x))' \equiv \exists x, P'(x)(\exists x, P(x))' \equiv \forall x, P'(x)
SINAV NOTU / PÜF NOKTASI: AÖL sınavlarında en sık sorulan soru kalıbı p \Rightarrow q \equiv 0 verilişidir. Bu denkliği gördüğün anda ilk önermenin mutlaka doğru (p \equiv 1), ikinci önermenin ise mutlaka yanlış (q \equiv 0) olduğunu yazarak çözüme başlamalısın. Ayrıca p \Rightarrow q \equiv p' \vee q dönüşümü sadeleştirme sorularının kilit anahtarıdır.
@Akademik_Rehber açık öğretim 1 dönem matematik 1 ünite kapsamlı konu anlatımı çok kapsamlı konu anlatımı
Açık Öğretim Lisesi Matematik 1: 1. Ünite Mantık Kapsamlı Konu Anlatımı
Mantık; doğru akıl yürütme yöntemlerini, kesin hüküm bildiren ifadelerin tutarlılığını ve matematiksel ispat yollarını sistematik sembollerle inceleyen disiplindir. MEB Açık Öğretim Lisesi Matematik 1 müfredatının 1. ünitesi olan bu konu; önerme kavramı, mantık bağlaçları, koşullu önermeler, açık önermeler ve ispat yöntemleri olmak üzere beş ana temel üzerine kuruludur.
1. Önermeler, Doğruluk Değerleri ve Denklik:
- Önerme Tanımı: Doğru ya da yanlış kesin bir yargı (hüküm) bildiren ifadelerdir. Bir ifade aynı anda hem doğru hem yanlış olamaz. Soru cümleleri (“Bugün ders var mı?”), emir cümleleri (“Kapıyı kapat.”), ünlem bildiren ifadeler (“Ah, canım yandı!”) ve kişisel beğeni/göreceli yargılar (“Film çok güzeldi.”) önerme değildir. Önermeler genellikle p, q, r, s, t gibi küçük harflerle gösterilir.
- Doğruluk Değeri: Bir önerme doğru bir hüküm bildiriyorsa doğruluk değeri 1 (veya D), yanlış bir hüküm bildiriyorsa doğruluk değeri 0 (veya Y) kabul edilir. Örneğin:
- p: “Türkiye’nin başkenti Ankara’dır.” \Rightarrow p \equiv 1
- q: “3 + 5 = 9” \Rightarrow q \equiv 0
- Doğruluk Durumu Sayısı: Birbirinden bağımsız n tane önermenin birlikte oluşturabileceği doğruluk durumu sayısı 2^n formülü ile hesaplanır.
- 1 önerme için: 2^1 = 2 durum (1 veya 0)
- 2 önerme için: 2^2 = 4 durum
- 3 önerme için: 2^3 = 8 durum
- 5 önerme için: 2^5 = 32 farklı doğruluk durumu vardır.
- Denk (Eş Değer) Önermeler: Doğruluk değerleri birbiriyle aynı olan önermelere denk önermeler denir. p ile q birbirine denk ise p \equiv q, denk değilse p \not\equiv q şeklinde gösterilir.
- Önermenin Değili (Olumsuzu): Bir önermenin bildirdiği yargının değiştirilmesiyle elde edilen yeni önermedir. p önermesinin olumsuzu p' veya \sim p ile gösterilir.
- Bir önermenin doğruluk değeri 1 ise değilinin doğruluk değeri 0’dır (1' \equiv 0).
- Bir önermenin doğruluk değeri 0 ise değilinin doğruluk değeri 1’dir (0' \equiv 1).
- Çift Değilleme Kuralı: Bir önermenin değilinin değili kendisine denktir: (p')' \equiv p.
2. Mantık Bağlaçları ile Kurulan Bileşik Önermeler:
İki veya daha fazla önermenin “ve”, “veya”, “ya da”, “ise”, “ancak ve ancak” gibi bağlaçlarla birbirine bağlanmasıyla bileşik önermeler elde edilir.
-
“Ve” Bağlacı (\wedge): Bileşenlerin her ikisi de doğru (1) iken doğru, diğer tüm durumlarda yanlıştır (0). Mantıksal çarpma gibi çalışır.
- 1 \wedge 1 \equiv 1
- 1 \wedge 0 \equiv 0
- 0 \wedge 1 \equiv 0
- 0 \wedge 0 \equiv 0
- Temel Özellikler:
- Tek kuvvet özelliği: p \wedge p \equiv p
- Değişme özelliği: p \wedge q \equiv q \wedge p
- Birleşme özelliği: (p \wedge q) \wedge r \equiv p \wedge (q \wedge r)
- p \wedge 1 \equiv p
- p \wedge 0 \equiv 0
- p \wedge p' \equiv 0 (Biri mutlaka 0 olacağından sonuç daima 0’dır)
-
“Veya” Bağlacı (\vee): Bileşenlerden en az biri doğru (1) iken doğru, her iki bileşen de yanlış (0) iken yanlıştır. Mantıksal toplama mantığıyla çalışır.
- 1 \vee 1 \equiv 1
- 1 \vee 0 \equiv 1
- 0 \vee 1 \equiv 1
- 0 \vee 0 \equiv 0
- Temel Özellikler:
- Tek kuvvet özelliği: p \vee p \equiv p
- Değişme özelliği: p \vee q \equiv q \vee p
- Birleşme özelliği: (p \vee q) \vee r \equiv p \vee (q \vee r)
- p \vee 1 \equiv 1
- p \vee 0 \equiv p
- p \vee p' \equiv 1 (Biri mutlaka 1 olacağından sonuç daima 1’dir)
-
Dağılma Özellikleri ve De Morgan Kuralları:
- \wedge bağlacının \vee üzerine soldan dağılması: p \wedge (q \vee r) \equiv (p \wedge q) \vee (p \wedge r)
- \vee bağlacının \wedge üzerine soldan dağılması: p \vee (q \wedge r) \equiv (p \vee q) \wedge (p \vee r)
- De Morgan Kuralları: Parantez dışındaki değil içeri dağıtılırken bağlaç yön değiştirir:(p \wedge q)' \equiv p' \vee q'(p \vee q)' \equiv p' \wedge q'
-
“Ya da” Bağlacı (\underline{\vee}): Önermelerin doğruluk değerleri birbirinden farklı iken doğru (1), birbiriyle aynı iken yanlıştır (0).
- 1 \underline{\vee} 1 \equiv 0
- 1 \underline{\vee} 0 \equiv 1
- 0 \underline{\vee} 1 \equiv 1
- 0 \underline{\vee} 0 \equiv 0
- Temel Özellikler:
- p \underline{\vee} p \equiv 0 (Aynı değerler 0 üretir)
- p \underline{\vee} p' \equiv 1 (Farklı değerler daima 1 üretir)
- p \underline{\vee} 0 \equiv p
- p \underline{\vee} 1 \equiv p'
3. Koşullu Önerme (“İse” - \Rightarrow) ve İki Yönlü Koşullu Önerme (“Ancak ve Ancak” - \Leftrightarrow):
-
Koşullu Önerme (p \Rightarrow q): p önermesi doğru (1) ve q önermesi yanlış (0) iken yanlış (0), diğer bütün durumlarda doğrudur (1). Sınavlarda bu durum 100 Kuralı (1 \Rightarrow 0 \equiv 0) olarak bilinir.
- 1 \Rightarrow 1 \equiv 1
- 1 \Rightarrow 0 \equiv 0
- 0 \Rightarrow 1 \equiv 1
- 0 \Rightarrow 0 \equiv 1
- En Önemli Denklik (Veya Cinsinden Yazılışı):p \Rightarrow q \equiv p' \vee q
- Özellikler: p \Rightarrow p \equiv 1, 0 \Rightarrow p \equiv 1, p \Rightarrow 1 \equiv 1, p \Rightarrow 0 \equiv p'.
-
Karşıt, Ters ve Karşıt Ters Kavramları: p \Rightarrow q önermesi için:
- Karşıtı: q \Rightarrow p (Hükümlerin yerleri değişir)
- Tersi: p' \Rightarrow q' (Hükümlerin değilleri alınır)
- Karşıt Tersi: q' \Rightarrow p' (Hem yerleri değişir hem değilleri alınır)
- Kural: Bir koşullu önerme yalnızca kendi karşıt tersine mantıksal olarak denktir:p \Rightarrow q \equiv q' \Rightarrow p'
-
İki Yönlü Koşullu Önerme (p \Leftrightarrow q): İki koşullu önermenin “ve” bağlacıyla birleşimidir: (p \Rightarrow q) \wedge (q \Rightarrow p). Önermelerin doğruluk değerleri aynı iken doğru (1), farklı iken yanlıştır (0).
- 1 \Leftrightarrow 1 \equiv 1
- 0 \Leftrightarrow 0 \equiv 1
- 1 \Leftrightarrow 0 \equiv 0
- 0 \Leftrightarrow 1 \equiv 0
- Özellikler: p \Leftrightarrow q \equiv (p \Rightarrow q) \wedge (q \Rightarrow p) \equiv (p' \vee q) \wedge (q' \vee p)
- p \Leftrightarrow q \equiv (p \underline{\vee} q)' (“Ya da” bağlacının tam tersidir).
-
Totoloji ve Çelişki:
- Bileşenlerinin tüm doğruluk değerleri için sonucu daima 1 çıkan bileşik önermelere totoloji denir (Örnek: p \vee p' \equiv 1).
- Bileşenlerinin tüm doğruluk değerleri için sonucu daima 0 çıkan bileşik önermelere çelişki denir (Örnek: p \wedge p' \equiv 0).
4. Açık Önermeler ve Niceleyiciler:
- Açık Önerme: İçerisinde en az bir bilinmeyen (değişken) bulunan ve bu değişkenin alacağı değerlere göre doğruluk değeri değişebilen ifadelere denir. Tek değişkenli ise P(x), iki değişkenli ise P(x, y) biçiminde yazılır. Açık önermeyi doğru yapan değerlerin kümesine doğruluk kümesi denir.
- Evrensel Niceleyici (\forall - “Her”): İfadenin ele alınan kümedeki bütün elemanlar için geçerli olduğunu söyler. Tek bir eleman dahi sağlamazsa önerme yanlış (0) olur.
- Varlıksal Niceleyici (\exists - “En az bir / Bazı”): İfadenin ele alınan kümedeki en az bir eleman için sağlandığını ifade eder. Şartı sağlayan tek bir eleman bulunması önermenin doğru (1) olması için yeterlidir.
- Niceleyicilerin ve Eşitliklerin Olumsuzları (Değilleri):
- \forall niceleyicisinin olumsuzu \exists sembolüdür: (\forall)' \equiv \exists
- \exists niceleyicisinin olumsuzu \forall sembolüdür: (\exists)' \equiv \forall
- Eşitlik ve eşitsizlik sembollerinin değilleri:
- (=)' \Rightarrow \neq
- (\neq)' \Rightarrow =
- (>)' \Rightarrow \leq
- (\geq)' \Rightarrow <
- (<)' \Rightarrow \geq
- (\leq)' \Rightarrow >
- Uygulama Örneği:
P: "\forall x \in \mathbb{R}, x^2 + 1 > 0" önermesinin olumsuzu:
P': "\exists x \in \mathbb{R}, x^2 + 1 \leq 0" olur.
5. Tanım, Aksiyom, Teorem ve İspat Yöntemleri:
- Tanım: Bir terimin özelliklerini net ve kesin olarak belirten, belirsizlik içermeyen açıklamadır.
- Aksiyom: Doğruluğu ispatsız olarak kabul edilen temel önermelerdir (Örnek: “Farklı iki noktadan yalnızca bir doğru geçer.”).
- Teorem: Doğruluğunun mantıksal yollarla kanıtlanması (ispatlanması) gereken önermelerdir. p \Rightarrow q teoreminde p ifadesine hipotez (varsayım), q ifadesine hüküm (yargı) denir.
- İspat Yöntemleri Sınıflandırması:
- 1. Doğrudan İspat: Hipotezin doğru olduğu kabul edilerek (p \equiv 1), cebirsel veya mantıksal kurallarla adım adım hükmün (q \equiv 1) doğru olduğuna ulaşılmasıdır.
- 2. Dolaylı İspat Yöntemleri:
- Karşıt Ters ile İspat: p \Rightarrow q önermesini doğrudan ispatlamak zor olduğunda, ona denk olan q' \Rightarrow p' ifadesinin doğruluğu ispatlanır.
- Olmayana Ergi (Çelişki) Yöntemi: Hükmün yanlış olduğu (q' \equiv 1) varsayılır. Bu kabul üzerinden mantıksal işlemler yapılarak bilinen bir aksiyomla, kuralla veya hipotezle çelişen bir sonuca (0 \equiv 1) varılır; böylece varsayımın yanlış, teoremin doğru olduğu gösterilir.
- Aksine Örnek Verme Yöntemi: Özellikle \forall (“Her”) niceleyicisi içeren önermelerin yanlış olduğunu kanıtlamak için tek bir sağlamayan aykırı durumun (örneğin) gösterilmesidir.
AÖL SINAV STRATEJİSİ VE PUAN GETİREN NOKTALAR:
- p \Rightarrow q \equiv 0 Kalıbı: AÖL testlerinde en çok sorulan sorudur. Bu denklik görüldüğü anda p = 1 ve q = 0 değerleri hemen yerine yazılmalıdır.
- De Morgan Soruları: Parantez dışındaki değil işaretini parantez içine dağıtırken bağlacı ters çevirmeyi asla unutma (\wedge işareti \vee olur, \vee işareti \wedge olur).
- Niceleyici Değili Soruları: Bir açık önermenin değili sorulduğunda hem baştaki niceleyiciyi ters çevir (\forall \leftrightarrow \exists) hem de eşitsizlik işaretini yönü ve eşitlik durumuyla birlikte değiştir (> işareti \leq olur).