Mantıkta, "veya" bağlacı, iki önermeyi birleştirerek bileşik bir önerme oluşturmamızı sağlar. Bu bağlacın sembolü ∨'dir. "p veya q" ifadesi p ∨ q şeklinde gösterilir.
"Veya" bağlacı, günlük dildeki "ya da" ifadesinden biraz farklıdır. Mantıkta p ∨ q önermesi, aşağıdaki durumlardan en az birinin doğru olması halinde doğru kabul edilir:
Bu bileşik önerme, sadece her iki önermenin de yanlış olduğu durumda yanlıştır.
"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
p ∨ q önermesi: "Bugün hava güneşli veya yağmurlu." anlamına gelir.
Bu önerme ne zaman doğrudur?
Gördüğünüz gibi, mantıktaki "veya" bağlacı, iki seçenekten birinin veya her ikisinin birden doğru olmasına izin verir. Bu nedenle buna dahili veya (inclusive or) da denir.