Günlük dilde birbirinin yerine kullanılsalar da, mantıkta "veya" (∨) ile "ya da" (⊕) bağlaçları farklı anlamlara gelir. Bu fark, önermelerin doğruluk değerlerini belirlerken çok önemlidir.
Veya bağlacı, kapsayıcı veya (inclusive or) olarak da bilinir. Bu bağlaçla birleştirilmiş iki önermeden en az biri doğru ise bileşik önerme doğru olur.
Matematiksel gösterimi: \( P \vee Q \)
Doğruluk Tablosu:
Örnek: "Yarın sinemaya veya tiyatroya gideceğim."
Bu cümlede, her iki yere de gitmek mümkündür. Sadece birine gitmek de cümleyi doğru yapar.
Ya da bağlacı, dışlayıcı veya (exclusive or - XOR) olarak bilinir. Bu bağlaçla birleştirilmiş iki önermeden yalnızca biri doğru ise bileşik önerme doğru olur. İkisi birden doğru veya ikisi birden yanlış ise sonuç yanlıştır.
Matematiksel gösterimi: \( P \oplus Q \)
Doğruluk Tablosu:
Örnek: "Yemek için çorba ya da salata alabilirsiniz."
Bu cümlede genellikle sadece bir seçenek seçilebileceği anlaşılır. İkisini birden almak genellikle kastedilmez.
Bu ayrım, özellikle bilgisayar bilimleri, matematik ve mantık problemlerini çözerken hayati öneme sahiptir.