Mantık tabloları (Sayısal mantık) Test 1

🎓 Mantık tabloları (Sayısal mantık) Test 1 - Ders Notu

Bu ders notu, "Mantık tabloları (Sayısal mantık) Test 1" testinde karşılaşabileceğin temel kavramları ve problemleri anlamana yardımcı olmak için hazırlanmıştır. Mantık, doğru düşünmenin ve akıl yürütmenin kurallarını inceler.

📌 Önerme ve Doğruluk Değeri

Mantıkta "önerme", doğru ya da yanlış kesin bir hüküm bildiren cümlelerdir. Bir cümlenin önerme olabilmesi için kişiden kişiye değişmeyen, net bir doğruluk değeri taşıması gerekir.

• Önerme Nedir?
  • "Türkiye'nin başkenti Ankara'dır." (Doğru bir önerme)
  • "2 + 3 = 7." (Yanlış bir önerme)
• Önerme Olmayan Cümleler:
  • "Bugün hava ne kadar güzel!" (Öneri, duygu belirtir)
  • "Kapıyı kapatır mısın?" (Soru veya emir)
• Doğruluk Değeri: Bir önermenin doğru olması durumunda doğruluk değeri $1$ (D), yanlış olması durumunda ise $0$ (Y) ile gösterilir.

💡 İpucu: Bir önermenin doğruluk değeri ya $1$ ya da $0$'dır; ikisi birden olamaz.

📌 Mantık Bağlaçları ve İşlemleri

Birden fazla önermeyi birbirine bağlamak veya bir önermenin anlamını değiştirmek için mantık bağlaçları kullanılır. Her bağlacın kendine özgü bir doğruluk tablosu vardır.

📝 Değil (Olumsuzlama): $\neg$

Bir önermenin "değili" veya "olumsuzu", o önermenin doğruluk değerini tersine çevirir. Eğer bir önerme doğruysa değili yanlış, yanlışsa değili doğru olur.

• Gösterim: $\neg p$ (p'nin değili)
• Doğruluk Tablosu:
  • $p=1$ ise $\neg p=0$
  • $p=0$ ise $\neg p=1$
• Örnek: "Bugün hava güneşli." ($p$) $\to$ "Bugün hava güneşli değil." ($\neg p$)

📝 Ve Bağlacı (Tümel Evetleme): $\land$

"Ve" bağlacı ile bağlanan bileşik önerme, ancak ve ancak her iki önerme de doğru olduğunda doğru olur. Diğer tüm durumlarda yanlıştır.

• Gösterim: $p \land q$ (p ve q)
• Doğruluk Tablosu:
  • $1 \land 1 = 1$
  • $1 \land 0 = 0$
  • $0 \land 1 = 0$
  • $0 \land 0 = 0$
• Örnek: "Hem ders çalıştım hem de ödevimi bitirdim." (İkisini de yaparsan doğru olur, birini bile yapmazsan yanlış.)

⚠️ Dikkat: Günlük hayatta "ve" dediğimizde, iki olayın da gerçekleşmesini bekleriz. Mantıkta da durum aynıdır.

📝 Veya Bağlacı (Tikel Evetleme): $\lor$

"Veya" bağlacı ile bağlanan bileşik önerme, en az bir önerme doğru olduğunda doğru olur. Sadece her iki önerme de yanlış olduğunda yanlıştır.

• Gösterim: $p \lor q$ (p veya q)
• Doğruluk Tablosu:
  • $1 \lor 1 = 1$
  • $1 \lor 0 = 1$
  • $0 \lor 1 = 1$
  • $0 \lor 0 = 0$
• Örnek: "Çay içtim veya kahve içtim." (Sadece birini içsen de, ikisini de içsen de doğru kabul edilir. Hiçbirini içmezsen yanlış.)

📝 Ya da Bağlacı (Tikel Ayrılma): $\underline{\lor}$

"Ya da" bağlacı ile bağlanan bileşik önerme, önermelerden sadece biri doğru olduğunda doğru olur. İki önermenin doğruluk değerleri aynı olduğunda (ikiside doğru veya ikisi de yanlış) yanlıştır.

• Gösterim: $p \underline{\lor} q$ (p ya da q)
• Doğruluk Tablosu:
  • $1 \underline{\lor} 1 = 0$
  • $1 \underline{\lor} 0 = 1$
  • $0 \underline{\lor} 1 = 1$
  • $0 \underline{\lor} 0 = 0$
• Örnek: "Bu akşam sinemaya ya da tiyatroya gideceğim." (İkisini birden yapamazsın, ikisini de yapmazsan da yanlış olur.)

💡 İpucu: "Ya da" bağlacı, "sadece biri" anlamına gelir. "Veya" bağlacından farkı budur.

📝 İse Bağlacı (Koşullu Önerme): $\implies$

"İse" bağlacı ile bağlanan bileşik önerme, sadece ilk önerme doğru iken ikinci önerme yanlış olduğunda yanlış olur. Diğer tüm durumlarda doğrudur.

• Gösterim: $p \implies q$ (p ise q)
• Doğruluk Tablosu:
  • $1 \implies 1 = 1$
  • $1 \implies 0 = 0$
  • $0 \implies 1 = 1$
  • $0 \implies 0 = 1$
• Örnek: "Yağmur yağarsa şemsiyemi alırım." (Yağmur yağdı ve sen şemsiyeni almadıysan bu ifade yanlış olur. Diğer tüm durumlar (yağmur yağmadı, şemsiye aldın/almadın; yağmur yağdı, şemsiye aldın) doğrudur.)

⚠️ Dikkat: $p \implies q$ önermesi, $\neg p \lor q$ önermesine denktir. Bu denklik, karmaşık ifadeleri basitleştirmek için sıkça kullanılır.

📝 Ancak ve Ancak Bağlacı (Çift Koşullu Önerme): $\iff$

"Ancak ve ancak" bağlacı ile bağlanan bileşik önerme, her iki önermenin de doğruluk değerleri aynı olduğunda doğru olur. Doğruluk değerleri farklı olduğunda yanlıştır.

• Gösterim: $p \iff q$ (p ancak ve ancak q)
• Doğruluk Tablosu:
  • $1 \iff 1 = 1$
  • $1 \iff 0 = 0$
  • $0 \iff 1 = 0$
  • $0 \iff 0 = 1$
• Örnek: "Sınavı geçersin ancak ve ancak ders çalışırsın." (Hem sınavı geçip hem ders çalışırsan veya hem sınavı geçmeyip hem ders çalışmazsan bu ifade doğru olur.)

💡 İpucu: $p \iff q$ önermesi, $(p \implies q) \land (q \implies p)$ önermesine denktir.

📌 Mantık Tabloları (Doğruluk Tabloları) Oluşturma

Mantık tabloları, bir veya daha fazla önermenin tüm olası doğruluk değerleri kombinasyonları için bileşik önermenin nihai doğruluk değerini gösteren tablolardır.

• Adım 1: Kaç tane farklı temel önerme ($p, q, r, ...$) olduğunu belirle. Eğer $n$ tane önerme varsa, $2^n$ satır olacaktır. (Örn: 2 önerme için $2^2=4$ satır)
• Adım 2: Her bir temel önerme için sütunlar oluştur ve tüm olası doğruluk değerlerini sırayla yaz. (Örn: $p$ için $1,1,0,0$; $q$ için $1,0,1,0$)
• Adım 3: Bileşik önermede geçen parantez içindeki ifadelerden başlayarak, her bir ara işlem için ayrı bir sütun oluştur ve doğruluk değerlerini hesapla.
• Adım 4: Son olarak, bileşik önermenin tamamı için bir sütun oluştur ve nihai doğruluk değerlerini bul.

💡 İpucu: Tabloları oluştururken düzenli olmak ve her adımı dikkatlice takip etmek hata yapma olasılığını azaltır.

📌 Denk Önermeler, Totoloji ve Çelişki

Mantık tabloları sayesinde önermelerin özelliklerini ve birbirleriyle ilişkilerini anlayabiliriz.

• Denk Önermeler ($\equiv$): İki önermenin doğruluk değerleri tablosundaki tüm satırlarda aynı sonuçları veriyorsa, bu önermeler birbirine denktir. (Örn: $p \land q \equiv q \land p$)
• Totoloji: Bir bileşik önermenin doğruluk tablosundaki tüm sonuçları $1$ (doğru) ise, bu önermeye totoloji denir. (Örn: $p \lor \neg p$)
• Çelişki: Bir bileşik önermenin doğruluk tablosundaki tüm sonuçları $0$ (yanlış) ise, bu önermeye çelişki denir. (Örn: $p \land \neg p$)

⚠️ Dikkat: Totoloji ve çelişki kavramları, mantıksal argümanların geçerliliğini test etmede önemlidir.