Modern mantık test çöz AYT Test 1

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

Bu ders notu, "Modern mantık test çöz AYT Test 1" testinde karşılaşabileceğiniz temel modern mantık konularını, özellikle de önerme mantığını, sade ve anlaşılır bir dille özetlemektedir. Amacımız, karmaşık görünen bu konuları kolayca kavramanızı sağlamaktır.

📌 Önerme ve Önerme Değişkenleri

Modern mantık, dilin karmaşıklığından arındırılmış, sembollerle ifade edilen bir mantık türüdür. Temel yapı taşı önermelerdir.

• Önerme: Doğru ya da yanlış kesin bir değer alabilen yargı bildiren cümlelerdir. Emir, soru, ünlem cümleleri önerme değildir.
• Önerme Değişkenleri: Önermeleri temsil etmek için kullanılan sembollerdir. Genellikle $p, q, r, s$ gibi küçük harflerle gösterilir. Örneğin, "Hava güzeldir" önermesini $p$ ile gösterebiliriz.
• Basit Önerme: Tek bir yargı bildiren önermelerdir. (Örn: "Yağmur yağıyor.")
• Bileşik Önerme: Birden fazla basit önermenin mantık bağlaçlarıyla birleşmesiyle oluşan önermelerdir. (Örn: "Yağmur yağıyor ve hava soğuk.")

💡 İpucu: Bir cümlenin önerme olup olmadığını anlamak için "Bu cümle doğru mu, yanlış mı?" sorusunu sorun. Cevap verebiliyorsanız önermedir.

📌 Mantık Bağlaçları ve Sembolleri

Bileşik önermeler oluşturmak için kullanılan özel sembollerdir. Her bir bağlacın kendine özgü bir doğruluk değeri tablosu vardır.

• Değilleme (Olumsuzlama): Bir önermenin zıddını ifade eder. Sembolü $\sim$ (tilde) veya $'$ (üst çizgi) şeklindedir.
  • Örnek: $p$: "Güneş parlıyor." $\sim p$: "Güneş parlamıyor."
• Tümel Evetleme (VE Bağlacı): İki önermenin de doğru olması durumunda doğru olan bağlaçtır. Sembolü $\land$ (şapka) şeklindedir.
  • Örnek: $p \land q$: "Hava güneşli VE sıcak."
  • ⚠️ Dikkat: Her iki önerme de doğru değilse, bileşik önerme yanlıştır.
• Tikel Evetleme (VEYA Bağlacı): En az bir önermenin doğru olması durumunda doğru olan bağlaçtır. Sembolü $\lor$ (ters şapka) şeklindedir.
  • Örnek: $p \lor q$: "Çay VEYA kahve içeceğim."
  • ⚠️ Dikkat: Her iki önerme de yanlışsa, bileşik önerme yanlıştır.
• Koşul (İSE Bağlacı): Birinci önermenin doğru, ikinci önermenin yanlış olduğu tek durumda yanlış olan bağlaçtır. Sembolü $\to$ (ok) şeklindedir.
  • Örnek: $p \to q$: "YAĞMUR YAĞARSA, yerler ıslanır."
  • 💡 İpucu: "Doğru ise Yanlış" durumu (D $\to$ Y) her zaman yanlıştır. Diğer tüm durumlarda doğrudur.
• Karşılıklı Koşul (ANCAK VE ANCAK Bağlacı): İki önermenin de aynı doğruluk değerine sahip olması durumunda doğru olan bağlaçtır. Sembolü $\leftrightarrow$ (çift yönlü ok) şeklindedir.
  • Örnek: $p \leftrightarrow q$: "Sınavı geçtim ANCAK VE ANCAK çok çalıştım."
  • ⚠️ Dikkat: Önermelerin doğruluk değerleri farklıysa (D $\leftrightarrow$ Y veya Y $\leftrightarrow$ D), bileşik önerme yanlıştır.

📌 Doğruluk Çizelgeleri (Doğruluk Tabloları)

Bir veya daha fazla önermenin tüm olası doğruluk değerlerini ve bu önermelerden oluşan bileşik önermelerin sonuçlarını gösteren tablolardır.

• Olası Durum Sayısı: $n$ tane önerme değişkeni için $2^n$ kadar farklı doğruluk durumu vardır.
  • Örnek: 1 önerme ($p$) için $2^1 = 2$ durum (D, Y).
  • Örnek: 2 önerme ($p, q$) için $2^2 = 4$ durum (DD, DY, YD, YY).
• Çizelge Oluşturma Adımları:
  • Önerme değişkenlerini sütunlara yazın.
  • Tüm olası doğruluk değerlerini listeleyin (D ve Y kombinasyonları).
  • Bağlaçların işlem sırasına göre (parantez içleri önce), her bir bileşik önermenin doğruluk değerini hesaplayın.

📝 Örnek (Tümel Evetleme $p \land q$ için):

$p$	$q$	$p \land q$
D	D	D
D	Y	Y
Y	D	Y
Y	Y	Y

📌 Totoloji, Çelişki ve Geçerlilik

Doğruluk çizelgeleri sayesinde bir önermenin veya çıkarımın mantıksal yapısını analiz edebiliriz.

• Totoloji: Bir önermenin tüm olası doğruluk değerleri "DOĞRU" ise, o önerme totolojidir. Mantıksal olarak her zaman doğru olan ifadelerdir.
  • Örnek: $p \lor \sim p$ (Bir şey ya doğrudur ya da yanlıştır.)
• Çelişki: Bir önermenin tüm olası doğruluk değerleri "YANLIŞ" ise, o önerme çelişkidir. Mantıksal olarak her zaman yanlış olan ifadelerdir.
  • Örnek: $p \land \sim p$ (Bir şey hem doğru hem yanlış olamaz.)
• Geçerlilik: Bir çıkarımın öncülleri doğru olduğunda sonucun da zorunlu olarak doğru olması durumudur. Bir çıkarımın geçerli olması için, öncüllerin doğru olup sonucun yanlış olduğu bir durumun olmaması gerekir.
  • Bir çıkarımın geçerli olup olmadığını anlamak için, öncüllerin tümel evetlemesi ile sonucun koşullu önermesi bir totoloji oluşturuyorsa, çıkarım geçerlidir. Yani $(Ö_1 \land Ö_2 \land ... \land Ö_n) \to S$ totoloji ise çıkarım geçerlidir.

💡 İpucu: Totoloji ve çelişki, önermenin kendi iç tutarlılığıyla, geçerlilik ise bir çıkarımın (akıl yürütmenin) mantıksal doğruluğuyla ilgilidir.