Matematikte ve mantıkta "ya da" bağlacı, iki önermeden en az birinin doğru olması durumunda sonucun doğru (1) olduğu bir mantık işlemidir. Günlük dildeki "veya" ifadesinden farklı olarak, her ikisinin de doğru olmasına izin verir.
P ve Q gibi iki önermemiz olsun. "P ya da Q" bileşik önermesi, aşağıdaki durumlarda doğrudur:
Sadece ve sadece her iki önerme de yanlış ise, "P ya da Q" önermesi yanlış olur.
Bir bileşik önermenin tüm olası durumlardaki doğruluk değerini gösteren tabloya doğruluk tablosu denir. "Ya da" bağlacının doğruluk tablosu şu şekildedir:
| P | Q | P ∨ Q (P ya da Q) |
|---|---|---|
| 1 (Doğru) | 1 (Doğru) | 1 (Doğru) |
| 1 (Doğru) | 0 (Yanlış) | 1 (Doğru) |
| 0 (Yanlış) | 1 (Doğru) | 1 (Doğru) |
| 0 (Yanlış) | 0 (Yanlış) | 0 (Yanlış) |
"Ya da" bağlacı matematikte ve programlamada genellikle ∨ sembolü ile gösterilir. Buna dışlayan olmayan veya (inclusive or) da denir.
Örneğin: \( P ∨ Q \) ifadesi, "P ya da Q" olarak okunur.
Günlük dilde bazen "ya da" kelimesi, sadece bir tanesinin seçilebileceği anlamında (dışlayan veya - exclusive or) kullanılır. Örneğin, "Yemekle birlikte çatal ya da kaşık kullanabilirsiniz" denildiğinde, genellikle sadece birini kullanmanız beklenir. Ancak matematikteki "∨" sembolü her zaman dışlayan olmayan anlamı taşır, yani her iki seçeneğin de doğru olmasına izin verir.