AYT mantık test çöz Test 1

? AYT mantık test çöz Test 1 - Ders Notu

Bu ders notu, AYT mantık testinin ilk bölümünde sıklıkla karşılaşılan önermeler, niceleyiciler, totoloji, çelişki ve aksiyom gibi temel mantık konularını kapsamaktadır.

? Önermeler ?

Önermeler, doğru ya da yanlış bir yargı bildiren ifadelerdir. Mantık işlemlerinin temelini oluştururlar.

• Basit Önerme: Tek bir yargı içerir.
• Bileşik Önerme: Birden fazla yargı içerir ve bağlaçlarla bağlanır.

⚠️ Dikkat: Her cümle bir önerme olmayabilir. Emir, soru, ünlem cümleleri önerme değildir.

? Mantık Bağlaçları ?

Mantık bağlaçları, önermeleri birbirine bağlayarak yeni önermeler oluşturmamızı sağlar.

• "ve" (∧): Her iki önerme de doğruysa sonuç doğrudur.
• "veya" (∨): Önermelerden en az biri doğruysa sonuç doğrudur.
• "değil" (¬): Önermenin doğruluk değerini tersine çevirir.
• "ise" (→): İlk önerme doğru, ikinci önerme yanlışsa sonuç yanlıştır. Diğer durumlarda doğrudur.
• "ancak ve ancak" (↔): Her iki önerme de aynı doğruluk değerine sahipse sonuç doğrudur.

? İpucu: "ise" bağlacında sonucun yanlış olduğu tek durumu (1 → 0 = 0) aklınızda tutun.

? Niceleyiciler (Her ve Bazı) ?

Niceleyiciler, bir kümenin elemanları hakkında genellemeler yapmamızı sağlar.

• "Her" (∀): Bir kümenin tüm elemanları için geçerli olduğunu belirtir.
• "Bazı" (∃): Bir kümenin en az bir elemanı için geçerli olduğunu belirtir.

⚠️ Dikkat: Niceleyicilerin olumsuzlanması önemlidir. "Her x için..." ifadesinin olumsuzlanması "Bazı x'ler için... değildir" şeklindedir.

? Totoloji ve Çelişki ?

Totoloji ve çelişki, önermelerin doğruluk değerleri ile ilgili özel durumlardır.

• Totoloji: Bir önerme her durumda doğru ise totolojidir.
• Çelişki: Bir önerme her durumda yanlış ise çelişkidir.

? İpucu: Doğruluk tablosu oluşturarak bir önermenin totoloji veya çelişki olup olmadığını kolayca belirleyebilirsiniz.

? Aksiyom ve Teorem ?

Aksiyom ve teorem, matematiksel ve mantıksal sistemlerin temel yapı taşlarıdır.

• Aksiyom: Doğruluğu apaçık kabul edilen ve ispat gerektirmeyen temel önermelerdir.
• Teorem: Aksiyomlardan veya daha önce ispatlanmış teoremlerden yola çıkarak ispatlanan önermelerdir.

⚠️ Dikkat: Aksiyomlar, bir sistemin temel varsayımlarıdır ve sistemin tutarlılığı için önemlidir.