Matematikte ve mantıkta "veya" bağlacı, iki önermeyi birleştirerek bileşik bir önerme oluşturmak için kullanılan mantıksal bir operatördür. Sembolü genellikle "∨" işaretidir.
p ∨ q bileşik önermesi, yalnızca p ve q önermelerinin her ikisi de yanlış olduğunda yanlış olur. Diğer tüm durumlarda (p doğru, q doğru veya her ikisi de doğru) bileşik önerme doğru olur.
Veya (∨) bağlacının tüm olası durumlarını gösteren doğruluk tablosu aşağıdaki gibidir:
| p | q | p ∨ q |
|---|---|---|
| D | D | D |
| D | Y | D |
| Y | D | D |
| Y | Y | Y |
Günlük hayatta kullandığımız "veya" kelimesi bazen "dışlayan veya" anlamına gelebilir (Örneğin: "Tatlı veya pasta yiyeceğim" derken genellikle sadece birini seçmeyi kastederiz). Ancak matematikteki "veya" bağlacı kapsayan veya anlamındadır. Yani, iki seçenekten en az biri doğru ise, bileşik önerme doğru kabul edilir. İkisinin aynı anda doğru olması da mümkündür.
Bu önerme şu durumlarda doğrudur:
Bu önerme sadece havanın ne güneşli ne de yağmurlu olduğu (örneğin, bulutlu ve kuru) bir günde yanlış olur.
p: \( x > 5 \)
q: \( x < 3 \)
p ∨ q: \( x > 5 \) veya \( x < 3 \)
Bu bileşik önerme, \( x \) değişkeni 5'ten büyük veya 3'ten küçük olduğu her durumda doğrudur. Örneğin, \( x = 6 \) veya \( x = 2 \) için doğru, \( x = 4 \) için ise yanlıştır.
