🎓 Ya da bağlacı doğruluk tablosu Test 3 - Ders Notu
Bu ders notu, "Ya da bağlacı doğruluk tablosu Test 3" testinde karşılaşabileceğin temel mantık kavramlarını, özellikle de "ya da" bağlacının özelliklerini ve doğruluk tablosunu kolayca anlaman için hazırlandı. Testte başarılı olmak için bu konuları iyi kavramalısın.
📌 Temel Mantık Kavramları
Mantık, doğru ve yanlış önermelerle uğraşan bir bilim dalıdır. Önermeler ve onların doğruluk değerleri, mantığın temelini oluşturur.
- Önerme: Doğru (1) ya da yanlış (0) kesin bir hüküm bildiren ifadelere denir. Aynı anda hem doğru hem yanlış olamaz.
- Doğruluk Değeri: Bir önermenin doğru olması durumunda "1" (D), yanlış olması durumunda ise "0" (Y) ile gösterilir.
- Semboller: Önermeler genellikle küçük harflerle ($p, q, r, ...$) gösterilir.
📌 Mantık Bağlaçlarına Genel Bakış (Kısaca)
Önermeleri birbirine bağlamak için mantık bağlaçları kullanılır. "Ya da" bağlacını daha iyi anlamak için diğer temel bağlaçları da kısaca hatırlayalım:
- Ve ($\land$): Her iki önerme de doğruyken doğru, diğer durumlarda yanlıştır.
- Veya ($\lor$): En az bir önerme doğruyken doğru, her ikisi de yanlışken yanlıştır.
- Değil (~): Bir önermenin doğruluk değerini tersine çevirir. ($\neg p$ şeklinde de gösterilir.)
📌 "Ya da" Bağlacı ($\underline{\lor}$ veya $\oplus$)
"Ya da" bağlacı, günlük hayatta sıkça kullandığımız "ya o, ya bu" ifadesinin mantıktaki karşılığıdır. Seçeneklerden sadece birinin doğru olduğunu belirtir.
- Tanımı: İki önermeden sadece biri doğru iken doğru, her ikisi de aynı doğruluk değerine (ikisi de doğru veya ikisi de yanlış) sahipken yanlıştır.
- Sembolleri: $p \underline{\lor} q$ veya $p \oplus q$ şeklinde gösterilir.
- Günlük Hayat Örneği: "Bu akşam ya sinemaya giderim ya da evde film izlerim." (İkisini aynı anda yapmazsın, birini seçersin.)
💡 İpucu: "Ya da" bağlacını hatırlamanın en kolay yolu şudur: Girişler (önermeler) **farklıysa sonuç doğru (1)**, **aynıysa sonuç yanlış (0)** olur.
📌 "Ya da" Bağlacının Doğruluk Tablosu
Bir "ya da" önermesinin doğruluk değerlerini gösteren tabloya doğruluk tablosu denir. İşte $p \underline{\lor} q$ ifadesinin doğruluk tablosunun mantığı:
- $p$ doğru (1), $q$ doğru (1) ise, $p \underline{\lor} q$ yanlıştır (0) (çünkü ikisi de aynı).
- $p$ doğru (1), $q$ yanlış (0) ise, $p \underline{\lor} q$ doğrudur (1) (çünkü ikisi de farklı).
- $p$ yanlış (0), $q$ doğru (1) ise, $p \underline{\lor} q$ doğrudur (1) (çünkü ikisi de farklı).
- $p$ yanlış (0), $q$ yanlış (0) ise, $p \underline{\lor} q$ yanlıştır (0) (çünkü ikisi de aynı).
📌 "Ya da" Bağlacının Özellikleri ve Denklikleri
"Ya da" bağlacının bazı önemli özellikleri ve diğer bağlaçlarla olan denklikleri vardır. Bunları bilmek, karmaşık ifadeleri basitleştirmene yardımcı olur.
- Değişme Özelliği: $p \underline{\lor} q \equiv q \underline{\lor} p$ (Yerleri değişse de sonuç değişmez).
- Kendisiyle "Ya da": $p \underline{\lor} p \equiv 0$ (Bir önerme kendisiyle "ya da"landığında her zaman yanlış olur, çünkü doğruluk değerleri hep aynıdır).
- Değiliyle "Ya da": $p \underline{\lor} \neg p \equiv 1$ (Bir önerme değiliyle "ya da"landığında her zaman doğru olur, çünkü doğruluk değerleri hep farklıdır).
- 0 (Yanlış) ile "Ya da": $p \underline{\lor} 0 \equiv p$ (Bir önerme yanlış ile "ya da"landığında, önermenin kendi doğruluk değerini alır).
- 1 (Doğru) ile "Ya da": $p \underline{\lor} 1 \equiv \neg p$ (Bir önerme doğru ile "ya da"landığında, önermenin değilinin doğruluk değerini alır).
- Denkliği: $p \underline{\lor} q \equiv (p \land \neg q) \lor (\neg p \land q)$ (Bu, "ya da" bağlacının "ve" ve "veya" bağlaçları cinsinden yazılmış halidir. Yani, "p doğru ve q yanlış" VEYA "p yanlış ve q doğru" demektir.)
⚠️ Dikkat: "Veya" ($\lor$) bağlacı ile "Ya da" ($\underline{\lor}$) bağlacını karıştırmamaya özen göster! "Veya" bağlacında ikisi de doğruyken sonuç doğruyken, "Ya da" bağlacında ikisi de doğruyken sonuç yanlıştır.
📌 Karmaşık Önermelerin Doğruluk Değerleri
Birden fazla bağlaç içeren ifadelerin doğruluk değerini bulurken adım adım ilerlemek önemlidir.
- Adım Adım Çözüm: Önce parantez içindeki ifadelerin doğruluk değerlerini bul, sonra dışarıdaki bağlaçlara geç.
- Öncelik Sırası: Genellikle parantez içleri, sonra "değil" (~), ardından "ve" ($\land$), "veya" ($\lor$), "ya da" ($\underline{\lor}$), "ise" ($\implies$) ve en son "ancak ve ancak" ($\iff$) şeklinde bir öncelik sırası izlenir. Ancak parantezler her zaman önceliklidir.
- Tüm Durumlar: Eğer birden fazla önerme varsa ($p, q, r$), $2^n$ (n: önerme sayısı) kadar farklı doğruluk durumu olacağını unutma. Örneğin, iki önerme ($p, q$) için $2^2 = 4$ farklı durum vardır.
📝 Örnek Yaklaşım: $(\neg p \underline{\lor} q) \land r$ gibi bir ifadeyle karşılaştığında, önce $p$ ve $q$'nun tüm olası doğruluk değerleri için $\neg p \underline{\lor} q$ kısmını hesapla. Ardından bu sonucun $r$ ile "ve" bağlacına göre doğruluk değerini belirle.
