Eşdeğerlik nedir (Mantıkta) Test 1

🎓 Eşdeğerlik nedir (Mantıkta) Test 1 - Ders Notu

Bu ders notu, "Eşdeğerlik nedir (Mantıkta) Test 1" sınavında karşılaşabileceğin temel mantık kavramlarını, özellikle de önermelerin eşdeğerliğini anlamana yardımcı olmak için hazırlanmıştır. Konular, eşdeğerliğin tanımından başlayarak doğruluk tablolarına ve önemli mantık yasalarına kadar uzanmaktadır.

📌 Eşdeğerlik Kavramı (Mantıksal Eşdeğerlik)

Mantıkta eşdeğerlik, iki önermenin aynı doğruluk değerine sahip olması durumunu ifade eder. Yani, bir önerme doğruyken diğeri de doğru, bir önerme yanlışken diğeri de yanlış oluyorsa, bu iki önerme birbirine eşdeğerdir.

• Tanım: $P$ ve $Q$ gibi iki önerme, her durumda aynı doğruluk değerini alıyorsa eşdeğerdirler.
• Sembol: Eşdeğerlik genellikle "$\equiv$" veya "$\leftrightarrow$" sembolü ile gösterilir. Örneğin, $P \equiv Q$ veya $P \leftrightarrow Q$ şeklinde yazılır.
• Anlamı: İki eşdeğer önerme birbirinin yerine kullanılabilir ve mantıksal anlamda aynı şeyi ifade ederler.

💡 İpucu: Eşdeğerlik, "eşitlik"ten farklıdır. Eşitlik iki şeyin tamamen aynı olmasını gerektirirken, eşdeğerlik sadece doğruluk değerlerinin aynı olmasını gerektirir.

📌 Doğruluk Tabloları ve Eşdeğerlik Kontrolü

Doğruluk tabloları, bir önermenin veya önerme grubunun tüm olası doğruluk değerlerini sistematik olarak gösteren araçlardır. Eşdeğerliği kontrol etmek için en temel yöntemdir.

• Yapısı: Her bir basit önerme ($p, q, r$ vb.) için bir sütun ve her bir mantık bağlacı için ara sütunlar içerir. Son sütun, ana önermenin doğruluk değerlerini gösterir.
• Eşdeğerlik İçin Kullanımı: İki önermenin eşdeğer olup olmadığını anlamak için, her iki önermenin de doğruluk tablosunu oluştururuz. Eğer son sütunlardaki doğruluk değerleri (T/D ve F/Y) tamamen aynıysa, önermeler eşdeğerdir.
• Doğruluk Değerleri: "D" (Doğru) veya "T" (True); "Y" (Yanlış) veya "F" (False) ile gösterilir.

⚠️ Dikkat: $n$ tane basit önerme içeren bir ifade için $2^n$ satırlık bir doğruluk tablosu oluşturulur. Örneğin, 2 basit önerme ($p, q$) için $2^2 = 4$ satır, 3 basit önerme ($p, q, r$) için $2^3 = 8$ satır gerekir.

📌 Temel Mantık Bağlaçları ve Doğruluk Değerleri

Eşdeğerlik kavramını anlamak için temel mantık bağlaçlarının nasıl çalıştığını bilmek çok önemlidir.

• Değil (Olumsuzlama - $\neg$): Bir önermenin zıddıdır. $p$ doğru ise $\neg p$ yanlış; $p$ yanlış ise $\neg p$ doğrudur.
• Ve (Tümel Evetleme - $\land$): İki önermenin de doğru olması durumunda doğrudur, diğer tüm durumlarda yanlıştır. (Örn: "Hem ders çalışıyorum hem de müzik dinliyorum." İkisi de doğruysa ifade doğru olur.)
• Veya (Tikel Evetleme - $\lor$): En az bir önermenin doğru olması durumunda doğrudur. Her iki önerme de yanlışsa yanlıştır. (Örn: "Kahve veya çay içeceğim." İkisinden birini içersem veya ikisini de içersem ifade doğru olur.)
• İse (Koşullu Önerme - $\to$): Sadece ilk önerme doğru, ikinci önerme yanlış olduğunda yanlıştır. Diğer tüm durumlarda doğrudur. (Örn: "Yağmur yağarsa şemsiye alırım." Yağmur yağıp şemsiye almazsam yanlış olur, diğer durumlarda doğru kabul edilir.)
• Ancak ve Ancak (İki Yönlü Koşullu Önerme - $\leftrightarrow$): İki önermenin aynı doğruluk değerine sahip olması durumunda doğrudur. Farklı doğruluk değerlerine sahiplerse yanlıştır. (Bu bağlaç, zaten eşdeğerliğin kendisidir!)

📌 Önemli Eşdeğerlik Kuralları ve Yasaları

Doğruluk tabloları yerine bu yasaları kullanarak daha karmaşık önermelerin eşdeğerliğini hızlıca gösterebilir veya önermeleri sadeleştirebiliriz.

• De Morgan Yasaları:
  • $\neg(p \land q) \equiv \neg p \lor \neg q$
  • $\neg(p \lor q) \equiv \neg p \land \neg q$
• Dağılma Özelliği:
  • $p \land (q \lor r) \equiv (p \land q) \lor (p \land r)$
  • $p \lor (q \land r) \equiv (p \lor q) \land (p \lor r)$
• Değişme Özelliği:
  • $p \land q \equiv q \land p$
  • $p \lor q \equiv q \lor p$
• Birleşme Özelliği:
  • $(p \land q) \land r \equiv p \land (q \land r)$
  • $(p \lor q) \lor r \equiv p \lor (q \lor r)$
• Tekkuvvet (İdempotent) Yasaları:
  • $p \land p \equiv p$
  • $p \lor p \equiv p$
• Yutan (Domination) Yasaları:
  • $p \land 0 \equiv 0$ (0 yanlış bir önermeyi temsil eder)
  • $p \lor 1 \equiv 1$ (1 doğru bir önermeyi temsil eder)
• Birim (Identity) Yasaları:
  • $p \land 1 \equiv p$
  • $p \lor 0 \equiv p$
• Ters (Inverse) Yasaları:
  • $p \land \neg p \equiv 0$ (Çelişki)
  • $p \lor \neg p \equiv 1$ (Totoloji)
• Çift Olumsuzlama Kuralı:
  • $\neg(\neg p) \equiv p$
• Koşullu Önermenin Eşdeğerliği:
  • $p \to q \equiv \neg p \lor q$
• İki Yönlü Koşullu Önermenin Eşdeğerliği:
  • $p \leftrightarrow q \equiv (p \to q) \land (q \to p)$

📝 Not: Bu yasaları ezberlemek yerine, mantığını anlamak ve örneklerle pekiştirmek daha kalıcı öğrenmeyi sağlar. Özellikle De Morgan ve koşullu önerme eşdeğerliği sıkça kullanılır.