Matematik · 9. sınıf
9. sınıf matematik Mantık ünitesinde önerme, bağlaç, koşullu önerme ve niceleyicilerle ispat dilini öğrenir, denkliği ve doğruluk tablosunu kullanırsınız.
Son güncelleme:
Bu ünitede siz önermeyi, yani doğru ya da yanlış kesin yargı bildiren cümleyi öğrenirsiniz. Doğruluk değeri 1 veya 0 ile gösterilir. İki önerme her durumda aynı değeri alıyorsa denktir. Önermenin değili p için ~p yazılır; p doğruysa değil yanlıştır. Bu tanımlar bileşik önermelere geçmeden önce netleşmelidir çünkü sonraki tüm işlemler basit önermelerin üzerine kurulur ve karışıklık buradan başlar.
Bileşik önerme ve, veya, ya da bağlaçlarıyla kurulur. Ve bağlacı her iki önerme doğruysa doğru, veya en az biri doğruysa doğru, ya da tam biri doğruysa doğru sonuç verir. De Morgan kuralları ~(p ∧ q) ≡ ~p ∨ ~q ve ~(p ∨ q) ≡ ~p ∧ ~q eşitliklerini doğruluk tablosuyla gösterir. Siz tabloyu satır satır doldurarak bu denkliği kendiniz doğrularsınız ve ezber yerine yapı görürsünüz.
Koşullu önerme p ⇒ q, p doğru q yanlışken yanlıştır; diğer üç durumda doğrudur. İki yönlü koşullu p ⇔ q ancak her iki yön de doğruysa doğrudur ve denklik anlamına gelir. Her ve bazı niceleyicileri evrensel ve varoluşsal niceliği ifade eder. Tanım, aksiyom, teorem ve ispat kavramları ise matematiğin dilini oluşturur; ispatta varsayımdan sonuca mantıksal adımlarla ilerlersiniz.
Önerme, değil ve bağlaçlar birbirine zincirlenir: önce basit önermeyi tanır, değili alırsınız, sonra ve veya ya da ile birleştirirsiniz. Koşullu önerme aslında ~p ∨ q denkliğine dayanır; bu yüzden De Morgan ve koşullu aynı tabloda karşılaşır. Niceleyiciler önermeleri kümeler üzerine taşır. Siz bu bağları koparmadan çalışırsanız soruda hangi bağlacın hangi satırı etkilediğini hemen görürsünüz ve tabloyu yanlış doldurmazsınız.
Tipik sorular doğruluk tablosu doldurma, iki bileşik önermenin denk olup olmadığını sorma, De Morgan uygulatma ve koşullu önermenin yanlış olduğu tek durumu buldurma şeklindedir. Ya da bağlacı ile veya bağlacı sık karıştırılır; soru kökünde tam biri doğru ifadesi aranır. Niceleyici sorularında her için karşı örnek, bazı için tek örnek yeterlidir. İspat soruları tanım-aksiyom-teorem ayrımını ister.
Soru kalıplarında metin içine gömülü günlük cümleler önermeye çevrilir, ardından bağlaç eklenir. Siz cümleyi p ve q diye kodlayıp tabloya oturtursanız şıklar netleşir. Denkliği göstermek için dört satırın hepsinin aynı olması gerekir; bir satır bile farklıysa denk değildir. Bu kontrolü alışkanlık edinmek hem ünite içi hem sonraki geometri ispatlarında işinize yarar.
Mantık 9. sınıfın ilk ünitesidir ve TYT matematik ile AYT geometri ispat dilinin temelini atar. Doğrudan çok sayıda soru gelmese de kümeler, fonksiyon, denklem ve eşitsizliklerde koşullu ifade ve niceleyici okuma becerisi gerekir. Siz buradaki doğruluk tablosu alışkanlığını kümelerde kesişim birleşim işlemlerine taşırsınız. İspat kavramı üçgende eşlik benzerlik ve analitik geometride teorem kanıtlarken tekrar karşınıza çıkar.
Sonraki kümeler ünitesinde her ve bazı niceleyicileri eleman belirtmede kullanılır. Fonksiyon tanımında her x için bir y vardır ifadesi tam bu ünitenin dilidir. Koşullu önerme eşitsizlik çözümlerinde eğer ise yapısını anlamanızı sağlar. Bu yüzden üniteyi yüzeysel geçmek sonraki konularda tanım ezberine düşmenize yol açar; kavramı içselleştirmek uzun vadede puan kazandırır.
Sınavda tablo soruları, denk önerme seçme ve niceleyici yorumlama orta zorlukta çıkar. Şıklar genellikle De Morgan unutulması veya ya da ile veya karıştırılması üzerine kuruludur. Siz bu ünitede kazandığınız kesin dil sayesinde sözel matematik problemlerinde öncül sonucu ayırmayı öğrenirsiniz. Böylece hem 9. sınıf yazılılarında hem lise boyunca ispat gerektiren her konuda avantajlı olursunuz.
Önce basit önerme, doğruluk değeri ve değil ile başlayın; her gün beş cümleyi önerme olup olmadığına göre ayırın. Ardından ve veya ya da bağlaçlarını ayrı ayrı tablolarla çalışın, sonra De Morgan kurallarını kendi tablonuzla kanıtlayın. Koşullu ve iki yönlü koşulluyu üçüncü basamakta ele alın. Niceleyicileri örnek cümlelerle pekiştirin. En sonda tanım aksiyom teorem ispat ayrımını kısa notlarla sabitleyin. Bu sıra karışıklığı önler.
Her bağlaç için dört satırlık tabloyu ezberlemeden doldurun; satırları p ve q nun 11 10 01 00 sırasıyla yazın. Koşullunun yalnızca 10 durumunda yanlış olduğunu kırmızıyla işaretleyin. Niceleyici çalışırken her için evrensel kümeden karşı örnek arayın, bazı için tek doğru örnek bulun. İspatta varsayımı yazıp her adımı gerekçelendirin. Siz bu yöntemi tekrarlarsanız tablo soruları otomatikleşir ve zaman kaybetmezsiniz.
Kendi cümlelerinizden önerme üretin, bağlaç ekleyin ve denkliğini kontrol edin. Yanlış yaptığınız tabloyu silmeyin, neden yanlış olduğunu yanına yazın. Ünite bitince kümeler konusuna geçmeden önce niceleyici ve koşullu önermeyi bir kez daha gözden geçirin. Böylece hem yazılıya hem sonraki üniteye hazırlıklı olursunuz. Düzenli kısa tekrar uzun oturumdan daha etkilidir.
En sık hata veya ile ya da bağlacını aynı sanmaktır; veya en az biri doğru, ya da tam biri doğru demektir. Koşullu önermede p yanlışken sonucun her zaman doğru olduğunu unutmak ikinci büyük hatadır. De Morgan da değili içeri dağıtırken bağlacı değiştirmeyi unutmakla yapılır. Niceleyicide her için tek örnek göstermek yanlıştır; karşı örnek gerekir. Siz bu dört noktayı kırmızı notla tutarsanız şık tuzağına düşmezsiniz.
Doğruluk tablosunda satır sırasını karıştırmak denkliği yanlış değerlendirmeye yol açar. İki yönlü koşulluyu tek yönlü gibi okumak da yaygındır. İspatta aksiyom ile teoremi karıştırmak tanım ezberini bozar. Önlem olarak her tabloda satırları sabit sırayla yazın, koşullunun yanlış olduğu tek satırı ezberleyin, niceleyici cümlelerini küme diliyle yeniden yazın. Hata yaptığınız soruyu aynı gün tekrar çözün.
Günlük dildeki eğer ise cümlelerini matematiksel koşulluya çevirirken varsayımı sonuçtan ayırmayı unutmayın. Değil işlemini yalnızca baştaki önermeye uygulayıp içeriği unutmak De Morgan hatasını büyütür. Siz her bileşik önermeyi parantezleyerek yazarsanız dağıtma hatası azalır. Çalışma defterinize yanlış yaptığınız üç örneği ve doğrusunu yan yana koyun; sınav öncesi yalnızca o sayfayı tarayın. Bu yöntem hataları kalıcı olarak keser.
MEB öğretim programındaki kazanım başlıkları — çalışma listesi olarak kullanabilirsin:
Aşağıdaki sorular Dubba editör ekibi tarafından bu ünite için hazırlandı. Cevabı görmeden önce kendin çözmeyi dene.
1. p ve q önermeleri için ~(p ∨ q) önermesinin denk olduğu ifade hangisidir?
Doğru cevap: A De Morgan kuralına göre birleşimin değili, değillerin kesişimidir; yani ~(p ∨ q) ≡ ~p ∧ ~q. En güçlü çeldirici ~p ∨ ~q, kesişim yerine birleşim bırakıldığı için yanlıştır ve kuralın bağlaç değişimini unutturur.
2. p ⇒ q koşullu önermesi hangi durumda yanlıştır?
Doğru cevap: B Koşullu önerme yalnızca öncül doğru sonuç yanlışken yanlıştır; diğer üç satır doğrudur. En güçlü çeldirici p yanlış q yanlış seçeneğidir çünkü öğrenciler yanlış varsayımdan yanlış sonuç çıkınca önermenin de yanlış olacağını sanır, oysa bu durumda koşullu doğrudur.
3. Aşağıdaki cümlelerden hangisi her niceleyicisi ile kurulmuş evrensel bir önermedir?
Doğru cevap: C Her doğal sayı ifadesi evrensel niceleyici kullanır ve tüm küme için iddia taşır. En güçlü çeldirici bazı tam sayılar çifttir cümlesidir çünkü varoluşsal niceleyici içerir ve her yerine bazı koyulduğu için evrensel önerme değildir.
4. p önermesi doğru, q önermesi yanlış olsun. Bu durumda p ∧ (~q) önermesinin doğruluk değeri ile ~p ∨ q önermesinin doğruluk değeri sırasıyla hangisidir?
Doğru cevap: D p doğru (1), q yanlış (0) olduğundan ~q doğrudur; p ∧ (~q) = 1 ∧ 1 = 1 olur. ~p yanlıştır, q yanlıştır; ~p ∨ q = 0 ∨ 0 = 0 olur. En güçlü çeldirici olan A şıkkı her iki bileşik önermeyi de doğru kabul eder; oysa ikinci önerme açıkça yanlıştır çünkü her iki bileşeni de yanlıştır.
5. p ⇔ q iki yönlü koşullu önermesi aşağıdakilerden hangisinde doğrudur?
Doğru cevap: E İki yönlü koşullu ancak her iki önerme de doğru veya her ikisi de yanlışken, yani aynı doğruluk değerine sahipken doğrudur. En güçlü çeldirici A şıkkıdır; bu durum tek yönlü koşullunun yanlış olduğu klasik durumdur, oysa çift yönlüde her iki yönde de tutarsızlık vardır ve önerme yanlıştır.
6. “Bazı doğal sayılar çift değildir.” cümlesi hangi niceleyici ile kurulmuş bir önermedir ve doğruluk değeri nedir?
Doğru cevap: C Cümle “bazı” (varoluşsal) niceleyici kullanır ve tek bir tek doğal sayı bile (örneğin 3) çift olmadığı için önerme doğrudur. En güçlü çeldirici A şıkkıdır çünkü “her” ifadesi cümlede geçmez; evrensel niceleyici olsaydı “bütün doğal sayılar çift değildir” gibi yanlış bir önerme ortaya çıkardı.
7. Aşağıdakilerden hangisi bir aksiyom örneğidir?
Doğru cevap: D Aksiyom ispatı yapılmadan doğru kabul edilen temel önermedir; “iki noktadan bir doğru geçer” Öklid’in postulatlarından biridir. En güçlü çeldirici A şıkkıdır çünkü ikizkenar üçgen özelliği bir teoremdir, kanıtlanabilir; aksiyom ise kanıtsız kabul edilir ve tanım-teorem-ispat zincirinin en başında yer alır.
8. p: “Ankara Türkiye’nin başkentidir.” önermesinin değilinin doğruluk değeri nedir?
Doğru cevap: E p doğru bir önermedir (doğruluk değeri 1); bir önermenin değilinin doğruluk değeri her zaman tersidir, dolayısıyla ~p yanlıştır ve değeri 0’dır. En güçlü çeldirici B şıkkıdır çünkü öğrenciler bazen değillemenin de doğru kalacağını sanır; oysa değilleme işlemi doğruluk değerini kesinlikle tersine çevirir ve p doğru olduğu için ~p yanlış olmak zorundadır.
Mantık notlarınızı DubbAI’ye yükleyip De Morgan, koşullu önerme ve niceleyici için doğruluk tablosu soruları ürettirin; her sorunun gerekçesini kendi tablonuzla karşılaştırın.
Defterindeki özeti yapıştır ya da föyünü PDF olarak yükle; ünitene özel çoktan seçmeli sorular saniyeler içinde. Ücretsiz Google girişiyle.
İlgili rehberler