🎓 Ya da bağlacı doğruluk tablosu Test 1 - Ders Notu
Bu ders notu, "ya da" bağlacının mantıktaki yerini, anlamını ve doğruluk tablosunu anlamana yardımcı olacak temel bilgileri içermektedir. Testteki soruları çözerken bu bilgilere başvurabilirsin.
📌 Önerme ve Doğruluk Değeri Nedir?
Mantıkta her şey önermelerle başlar. Bir önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir.
- Bir önerme ya doğrudur (D ya da 1 ile gösterilir) ya da yanlıştır (Y ya da 0 ile gösterilir).
- Bir önerme aynı anda hem doğru hem de yanlış olamaz.
- Örneğin, "Türkiye'nin başkenti Ankara'dır." doğru bir önermedir (1). "2 + 2 = 5" yanlış bir önermedir (0).
💡 İpucu: Önermeleri genellikle $p, q, r$ gibi küçük harflerle gösteririz.
📌 Mantık Bağlaçları ve "Ya da" Bağlacı
Mantık bağlaçları, basit önermeleri birleştirerek daha karmaşık bileşik önermeler oluşturmamızı sağlar.
- Mantıkta en sık kullanılan bağlaçlar "ve" ($\land$), "veya" ($\lor$), "ise" ($\Rightarrow$) ve "ancak ve ancak" ($\Leftrightarrow$)'tir.
- "Ya da" bağlacı, bu bağlaçlardan biridir ve matematikte $\veebar$ (veya $\Delta$) sembolü ile gösterilir.
- Örneğin, "$p$ ya da $q$" ifadesi $p \veebar q$ şeklinde yazılır.
📝 Örnek: "Bugün sinemaya ya da tiyatroya gideceğim." ifadesi, günlük dildeki "ya da" bağlacına güzel bir örnektir.
📌 "Ya da" Bağlacının Anlamı ve Özelliği
"Ya da" bağlacı, günlük dildeki "veya"dan farklı olarak, seçeneklerden sadece birinin doğru olmasını ifade eder. Buna "özel veya" veya "dışlayıcı veya" da denir.
- $p \veebar q$ bileşik önermesi, $p$ ve $q$ önermelerinden **sadece birinin doğru olması durumunda** doğru olur.
- Eğer $p$ ve $q$ önermelerinin her ikisi de doğruysa veya her ikisi de yanlışsa, $p \veebar q$ bileşik önermesi yanlış olur.
⚠️ Dikkat: "Veya" bağlacında (inclusive OR) her iki önerme de doğruyken bileşik önerme doğru olur. Ancak "ya da" bağlacında (exclusive OR) her iki önerme de doğruyken bileşik önerme yanlıştır. Bu temel farkı unutma!
📌 "Ya da" Bağlacının Doğruluk Tablosu
Doğruluk tablosu, bir bileşik önermenin tüm olası doğruluk değerlerini gösteren bir tablodur. İşte $p \veebar q$ için doğruluk tablosu:
- $p$ doğru (1), $q$ doğru (1) iken: $p \veebar q$ **yanlıştır (0)**. (İkisi birden doğru olamaz.)
- $p$ doğru (1), $q$ yanlış (0) iken: $p \veebar q$ **doğrudur (1)**. (Sadece biri doğru.)
- $p$ yanlış (0), $q$ doğru (1) iken: $p \veebar q$ **doğrudur (1)**. (Sadece biri doğru.)
- $p$ yanlış (0), $q$ yanlış (0) iken: $p \veebar q$ **yanlıştır (0)**. (İkisi de yanlış olamaz.)
💡 İpucu: "Ya da" bağlacının doğruluk tablosunu akılda tutmanın en kolay yolu şudur: Önermelerin doğruluk değerleri **farklıysa** sonuç doğru (1), **aynıysa** sonuç yanlış (0) olur.
